Proceedings Second Asia-Pacific Conference on Quality Software最新文献

筛选
英文 中文
Analysis and implementation method of program to detect inappropriate information leak 不适当信息泄漏检测程序的分析与实现方法
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.989996
Reishi Yokomori, Fumiaki Ohata, Y. Takata, H. Seki, Katsuro Inoue
{"title":"Analysis and implementation method of program to detect inappropriate information leak","authors":"Reishi Yokomori, Fumiaki Ohata, Y. Takata, H. Seki, Katsuro Inoue","doi":"10.1109/APAQS.2001.989996","DOIUrl":"https://doi.org/10.1109/APAQS.2001.989996","url":null,"abstract":"For a program which handles secret information, it is very important to prevent inappropriate information leaks from a program with secret data. D.E. Denning (1976) proposed a mechanism to certify the security of program by statically analyzing information flow, and S. Kuninobu et al. (2000) proposed a more practical analysis framework including recursive procedure handling, although no implementation has been yet made. We propose a method of security analysis implementation, and show a security analysis tool implemented for a procedural language. We extend Kuninobu's algorithm by devising various techniques for analysis of practical programs that have recursive calls and global variables. This method is validated by applying our tools to a simple credit card program, and we confirm that the validation of program security is very useful.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123412605","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A fast algorithm to compute maximum likelihood estimates for the hypergeometric software reliability model 一种计算超几何软件可靠性模型最大似然估计的快速算法
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990000
Frank Padberg
{"title":"A fast algorithm to compute maximum likelihood estimates for the hypergeometric software reliability model","authors":"Frank Padberg","doi":"10.1109/APAQS.2001.990000","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990000","url":null,"abstract":"We present a fast and exact algorithm to compute maximum likelihood estimates for the number of faults initially contained in a software, using the hypergeometric software reliability model. The algorithm is based on a rigorous mathematical analysis of the growth behavior of the likelihood function for the model. We also clarify the stochastic process underlying the model and prove a recursion formula which is central for most previous work on the hypergeometric software reliability model.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130001352","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Object-oriented program behavior analysis based on control patterns 基于控制模式的面向对象程序行为分析
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990005
C. Hwang, Shih-Kun Huang, Deng-Jyi Chen, David T. K. Chen
{"title":"Object-oriented program behavior analysis based on control patterns","authors":"C. Hwang, Shih-Kun Huang, Deng-Jyi Chen, David T. K. Chen","doi":"10.1109/APAQS.2001.990005","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990005","url":null,"abstract":"Code-patterns are statically recurring structures specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contrary to compilation assistance of code-patterns, control-patterns are dynamically recurring structures invoked during program execution time. It can be used for benchmarking OO-programs and underlying architecture like Java and Java-VM. We propose a run-time profiler based on control patterns and show that all run-time trace can be represented by a directed graph, a constrained output and a Boolean function. A transformed graph can be fed into a data-mining analyzer to find out the recurring structure representing run-time behaviors.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124607018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
A path to virtual software inspection 软件虚拟检测路径
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990032
L. Harjumaa, H. Hedberg, I. Tervonen
{"title":"A path to virtual software inspection","authors":"L. Harjumaa, H. Hedberg, I. Tervonen","doi":"10.1109/APAQS.2001.990032","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990032","url":null,"abstract":"A number of computer tools have been introduced to overcome the difficulties in traditional software inspection. Actual inspection tools are rarely used, however, as the current tool implementations have some critical inadequacies. The paper briefly summarizes the evolution of computer-supported software inspection and outlines the concept of virtual software inspection, which introduces two important aspects: flexibility and integration of the tools. Paying attention to these dimensions could result in more attractive and comprehensive tools for inspection collaboration.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133891541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Computing executable slices for concurrent logic programs 计算并发逻辑程序的可执行切片
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.989997
Jianjun Zhao, Jingde Cheng, K. Ushijima
{"title":"Computing executable slices for concurrent logic programs","authors":"Jianjun Zhao, Jingde Cheng, K. Ushijima","doi":"10.1109/APAQS.2001.989997","DOIUrl":"https://doi.org/10.1109/APAQS.2001.989997","url":null,"abstract":"Program slicing has many applications in software engineering activities. However, until recently, no slicing algorithm has been presented that can compute executable slices for concurrent logic programs. We present a dependence-graph based approach to computing executable slices for concurrent logic programs. The dependence-based representation used in the paper is called the Argument Dependence Net which can be used to explicitly represent various types of program dependences in a concurrent logic program. Based on the ADN, we can compute static executable slices for concurrent logic programs at argument level.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116104448","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Requirements management for the incremental development model 增量开发模型的需求管理
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990034
Qing Wang, Xufang Lai
{"title":"Requirements management for the incremental development model","authors":"Qing Wang, Xufang Lai","doi":"10.1109/APAQS.2001.990034","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990034","url":null,"abstract":"Requirements management is a crucial process in software engineering. Nowadays, information technology is applied in many fields of society. The change in requirements becomes an inevitable fact. However, good quality means conformance to customer requirements. A good and suitable software engineering model and efficient requirements management is required. The paper discusses the method of requirements management for the incremental development model, the goal of the management, the structure of data collection, and the metrics of the capability measurement.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116105320","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
DLOTOS: a LOTOS extension for clock synchronization in distributed systems DLOTOS:用于分布式系统时钟同步的LOTOS扩展
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990013
Wassem Hassan
{"title":"DLOTOS: a LOTOS extension for clock synchronization in distributed systems","authors":"Wassem Hassan","doi":"10.1109/APAQS.2001.990013","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990013","url":null,"abstract":"The paper introduces a solution to the clock synchronization and timing problem in a distributed system. We present a grammar extension to LOTOS called DLOTOS and give an example of implementing discrete clocks. The resulting extension supports distributed processing and Internet computing.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122725211","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Incremental quality network
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990002
S. Coronado, J. Jaén
{"title":"Incremental quality network","authors":"S. Coronado, J. Jaén","doi":"10.1109/APAQS.2001.990002","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990002","url":null,"abstract":"The effects of the late detection of a defect in a software life cycle could be modeled in the planning of software projects through a model we have called Incremental Quality Network (IQN). Late detection of defects is a common problem in software projects, and many improvements have been accomplished in detection techniques. But defects still occur, mainly because of the uncertainties in software projects, and the analysis of their impact is necessary in order to plan, prevent and understand the possible rework required. This paper presents a model to express, in project planning terms, the impact generated by the rework produced by late detection of a defect in a software development.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125075806","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Assurance of conceptual data model quality based on early measures 基于早期度量的概念数据模型质量保证
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990007
M. Genero, M. Piattini, C. Calero
{"title":"Assurance of conceptual data model quality based on early measures","authors":"M. Genero, M. Piattini, C. Calero","doi":"10.1109/APAQS.2001.990007","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990007","url":null,"abstract":"The increasing demand for quality information systems (IS), has become quality the most pressing challenge facing IS development organisations. In the IS development field it is generally accepted that the quality of an IS is highly dependent on decisions made early in its development. Given the relevant role that data itself plays in an IS, conceptual data models are a key artifact of the IS design: Therefore, in order to build \"better quality \" IS it is necessary to assess and to improve the quality of conceptual data models based on quantitative criteria. It is in this context where software measurement can help IS designers to make better decision during design activities. We focus this work on the empirical validation of the metrics proposed by Genero et al. for measuring the structural complexity of entity relationship diagrams (ERDs). Through a controlled experiment we will demonstrate that these metrics seem to be heavily correlated with three of the sub-factors that characterise the maintainability of an ERD, such as understandability, analysability and modifiability.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127285038","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Comparison of Chinese and Japanese in designing B2C Web pages toward impressional usability 中国和日本在B2C网页设计中的可用性比较
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990037
Jian Hu, Jiamin Zhao, K. Shima, Y. Takemura, Ken-ichi Matsumoto
{"title":"Comparison of Chinese and Japanese in designing B2C Web pages toward impressional usability","authors":"Jian Hu, Jiamin Zhao, K. Shima, Y. Takemura, Ken-ichi Matsumoto","doi":"10.1109/APAQS.2001.990037","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990037","url":null,"abstract":"The paper proposes a method to evaluate the relation between visitors' impressions and the design of a B2C Web page. We also compared the impressions of Japanese with those of Chinese to find whether there was a difference in impressions due to culture and nationality, etc. Two empirical studies based on self-report questionnaires were conducted in Japan and China. The studies measured the subjects' impressions of various B2C Web pages that showed eight design factors. The evaluation values for the impressions were collected in the questionnaires. The study in China was conducted using the same procedure as in Japan except that all experimental materials were translated into Chinese. Sign test of the study results shows a significant difference in visitors' impressions corresponding to changes in design factors. The paper concludes by showing the implication of the empirical results on the design of B2C Web pages intended for international use.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129577088","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信