发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
Formally modeling and verifying Ricart&Agrawala distributed mutual exclusion algorithm 正式建模和验证Ricart&Agrawala分布式互斥算法
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990041
K. Ogata, K. Futatsugi
{"title":"Formally modeling and verifying Ricart&Agrawala distributed mutual exclusion algorithm","authors":"K. Ogata, K. Futatsugi","doi":"10.1109/APAQS.2001.990041","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990041","url":null,"abstract":"One of the promising approaches to creating quality software is to formally model systems, describe the models in a formal specification language, and verify that the systems have some desirable properties based on the formal documents with an automatic model checker or an interactive theorem prover before the systems are implemented in a programming language. The more complicated the systems are, such as distributed systems, the more important the approach is. We have applied the approach to the Ricart&Agrawala distributed mutual exclusion algorithm (G. Ricart and A. K. Agrawala, 1981). We have modeled the algorithm as a UNITY computational model, described the model in CafeOBJ, and verified that the algorithm is actually mutually exclusive based on the CafeOBJ document with the help of the CafeOBJ system.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"36 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":"125621761","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}
引用次数: 10
Use of binary file comparison tools in software release management 在软件发布管理中使用二进制文件比较工具
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990049
V. Fanberg
{"title":"Use of binary file comparison tools in software release management","authors":"V. Fanberg","doi":"10.1109/APAQS.2001.990049","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990049","url":null,"abstract":"Software release management policy and technique can be significantly improved by providing configuration management personnel with the capability to independently verify that compiled modules are unchanged from the previous release. Typically, both compiling and linking processes embed various timestamps within binary compiled files, rendering conventional comparison tools useless for configuration management work. Being unable to perform such file matches wastes development effort by needlessly re-testing modules that have not changed at the object level, and risks not testing modules that have changed in some subtle way. The methodology of US Patent No 6236993 provides objective evidence that files containing embedded timestamps are identical without specifying the location, format or length of any specific timestamp within the file. The patented comparison method automatically recognizes and reconciles embedded tokens (e.g., timestamps) within binary compiled files.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"19 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":"114506316","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 tailored capability model for inspection process improvement 为检查过程改进量身定制的能力模型
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990030
I. Tervonen, J. Iisakka, L. Harjumaa
{"title":"A tailored capability model for inspection process improvement","authors":"I. Tervonen, J. Iisakka, L. Harjumaa","doi":"10.1109/APAQS.2001.990030","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990030","url":null,"abstract":"Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addressed inspection issues or looked for inspection-related improvement activities to a sufficient extent. The inspection-tailored capability model presented provides a method for evaluating inspection process capability and supports the location of weak points in a company's inspection process. The first experiments reported are promising, and the evaluation process discovered correctly focused improvement ideas which were also agreed on by the company concerned.","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":"131226100","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
Exception analysis for multithreaded Java programs 多线程Java程序的异常分析
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.989998
Sukyoung Ryu, K. Yi
{"title":"Exception analysis for multithreaded Java programs","authors":"Sukyoung Ryu, K. Yi","doi":"10.1109/APAQS.2001.989998","DOIUrl":"https://doi.org/10.1109/APAQS.2001.989998","url":null,"abstract":"This paper presents a static analysis that estimates uncaught exceptions in multithreaded Java programs. In Java, throwing exceptions across threads is deprecated because of the safely problem. Instead of restricting programmers' freedom, we extend the Java language to support multithreaded exception handling and propose a tool to detect uncaught exceptions in the input programs. Our analysis consists of two steps. The analysis firstly, estimates concurrently evaluated expressions of the multithreads in Java programs by the synchronization relation among the threads. Using this concurrency information, the program's exception flow is derived as set-constraints, whose least model is our analysis result. Both of these two steps are proved safe.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"70 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":"126754076","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
Stakeholder discovery and classification based on systems science principles 基于系统科学原理的利益相关者发现和分类
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990019
O. Preiss, A. Wegmann
{"title":"Stakeholder discovery and classification based on systems science principles","authors":"O. Preiss, A. Wegmann","doi":"10.1109/APAQS.2001.990019","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990019","url":null,"abstract":"It is the goal of the research work presented to elaborate on improvements to software development methods so that quality attributes can be handled more systematically. By quality attributes, we mean the large group of typically systemic properties of a software system, such as availability, security, etc., but also reusability, maintainability and many more. We define quality attributes as stakeholder-centric conditions on the behavior or structure of a system. The importance of the notion of a stakeholder cannot surprise, but the lack of a general theory on how to define and identify the relevant set of stakeholders does. Drawing from systems theory, we claim that four basic, generic types of stakeholders are sufficient to be able to derive a specialized set of stakeholders for any considered system and domain of inquiry. It is only when we understand the generic concepts and principles behind quality properties of systems, that we can properly derive methods and build tools to cope with them.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"33 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":"127046378","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}
引用次数: 46
An analysis of software correctness prediction methods 分析了软件正确性预测方法
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.989999
P. Kokol, V. Podgorelec, M. Zorman, M. Sprogar, M. Pighin
{"title":"An analysis of software correctness prediction methods","authors":"P. Kokol, V. Podgorelec, M. Zorman, M. Sprogar, M. Pighin","doi":"10.1109/APAQS.2001.989999","DOIUrl":"https://doi.org/10.1109/APAQS.2001.989999","url":null,"abstract":"Reliability is one of the most important aspects of software systems of any kind. Software development is a complex and complicated process in which software faults are inserted into the code by mistakes during the development process or maintenance. It has been shown that the pattern of the faults insertion phenomena is related to measurable attributes of the software. We introduce some methods for reliability prediction based on software metrics, present the results of using these methods in the particular industrial software environment for which we have a large database of modules in C language. Finally we compare the results and methods and give some directions and ideas for future work.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"1024 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":"116257146","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}
引用次数: 5
Optimal test profile in the context of software cybernetics 软件控制论背景下的最优测试轮廓
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990014
K. Cai
{"title":"Optimal test profile in the context of software cybernetics","authors":"K. Cai","doi":"10.1109/APAQS.2001.990014","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990014","url":null,"abstract":"Software cybernetics explores the interplay between software theory/engineering and control theory/engineering Following the idea of software cybernetics, the controlled Markov chains (CMC) approach to software testing treats software testing as a control problem. The software under test serves as a controlled object, and the (optimal) testing strategy determined by the theory of controlled Markov chains serves as a controller. The software under test and the corresponding (optimal) testing strategy constitute a closed-loop feedback system, and the software state transitions behave as a Markov chain. The paper analyzes the behavior of the corresponding optimal test profile determined by the CMC approach to software testing. It is shown that in some cases the optimal test profile is Markovian, whereas in some other cases the optimal test profile demonstrates a different scenario. The analyses presented in the paper deepen our understanding of the CMC approach to software testing and are related to software operational profile modeling.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"5 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":"125576536","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
Combining the animation and testing of abstract data types 结合了抽象数据类型的动画和测试
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990027
Tim Miller, P. Strooper
{"title":"Combining the animation and testing of abstract data types","authors":"Tim Miller, P. Strooper","doi":"10.1109/APAQS.2001.990027","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990027","url":null,"abstract":"A formal specification animator interprets and executes specifications to give them the appearance of liveliness. This can be used to identify errors in a specification because it provides concrete examples of the behaviour of the specification. By providing a suitable user interface, it allows users unfamiliar with specification languages and notations to interact with the specification. We exploit the similarities between animation and testing, and present a method that combines specification animation and software testing of abstract data types (ADTs). Tool support is provided by Peach, which supports the animation of a specification and the testing of an implementation of that specification. We demonstrate the use of our method and tool on a small example, and discuss its application to a larger example.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"12 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":"121921817","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}
引用次数: 4
QUIM: a framework for quantifying usability metrics in software quality models QUIM:在软件质量模型中量化可用性度量的框架
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990036
A. Seffah, N. Kececi, M. Donyaee
{"title":"QUIM: a framework for quantifying usability metrics in software quality models","authors":"A. Seffah, N. Kececi, M. Donyaee","doi":"10.1109/APAQS.2001.990036","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990036","url":null,"abstract":"The paper examines current approaches to usability metrics and proposes a new approach for quantifying software quality in use, based on modelling the dynamic relationships of the attributes that affect software usability. The Quality in Use Integrated Map (QUIM) is proposed for specifying and identifying quality in use components, which brings together different factors, criteria, metrics and data defined in different human computer interface and software engineering models. The Graphical Dynamic Quality Assessment (GDQA) model is used to analyse interaction of these components into a systematic structure. The paper first introduces a new classification scheme into a graphical logic based framework using QUIM components (factors, criteria metrics and data) to assess quality in use of interactive systems. Then we illustrate how QUIM and GDQA may be used to assess software usability using subjective measures of quality characteristics as defined in ISO/IEC 9126.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"49 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":"117022661","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}
引用次数: 58
The use of software quality metrics in the materiel release process experience report 在物料发布过程经验报告中使用软件质量度量
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990008
Michael Saboe
{"title":"The use of software quality metrics in the materiel release process experience report","authors":"Michael Saboe","doi":"10.1109/APAQS.2001.990008","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990008","url":null,"abstract":"The US Army's Tank-Automotive Research Development and Engineering Center's Next Generation Software Engineering Life Cycle Support Activity (NextGen) is responsible for determining the suitability of software for release to the field. Determining the software is suitable for materiel release includes ensuring the software is safe, operationally suitable, and logistically supportable. The-Next Generation Team incorporates a thorough and well-defined process for evaluating software for materiel release that includes a detailed review of all documentation, a walk-through of a representative sample of source code, and the automated collection of several source code metrics using AdaSTATT, a commercially available software metrics tool for Ada. The metrics collected include source lines of code, cyclomatic and essential complexity, Halstead measures, and a maintainability index. Taken together, these metrics provide a valuable indication of the overall maintainability and supportability of the software. The metrics are presented using a Kiviat analysis, which provides a graphical display of the state of a module with respect to predefined limit values.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"4 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":"132403173","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}
引用次数: 4
首页 上一页 下一页 尾页
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学术官方微信