Pub Date : 2000-10-30DOI: 10.1109/APAQ.2000.883804
Erik T. H. Fung
In this paper, we propose to develop prototypes of data flow diagrams using a logical framework, which is based on an extension of logic programming to perform abductive reasoning (abductive logic programming). Based on the framework, we discuss how to represent a data flow diagram in a declarative manner as a set of logical sentences and outline a proof procedure. Given the declarative representation of a data flow diagram, the proof procedure can be applied, which combines forward and backward chaining in a structured manner. Unlike the conventional logic programming, the computed answers are abducible atoms directly representing the outputs. When restricting to the use of pure Prolog, we provide the semantics of the outputs under the abductive logical framework and show the soundness and completeness of the proof procedure. We compare our approach with conventional backward chaining and finally discuss some further enhancements.
{"title":"Abductive approach to prototyping data flow diagrams","authors":"Erik T. H. Fung","doi":"10.1109/APAQ.2000.883804","DOIUrl":"https://doi.org/10.1109/APAQ.2000.883804","url":null,"abstract":"In this paper, we propose to develop prototypes of data flow diagrams using a logical framework, which is based on an extension of logic programming to perform abductive reasoning (abductive logic programming). Based on the framework, we discuss how to represent a data flow diagram in a declarative manner as a set of logical sentences and outline a proof procedure. Given the declarative representation of a data flow diagram, the proof procedure can be applied, which combines forward and backward chaining in a structured manner. Unlike the conventional logic programming, the computed answers are abducible atoms directly representing the outputs. When restricting to the use of pure Prolog, we provide the semantics of the outputs under the abductive logical framework and show the soundness and completeness of the proof procedure. We compare our approach with conventional backward chaining and finally discuss some further enhancements.","PeriodicalId":432680,"journal":{"name":"Proceedings First Asia-Pacific Conference on Quality Software","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127271737","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}
Pub Date : 2000-10-30DOI: 10.1109/APAQ.2000.883780
Ping Guo, Michael R. Lyu
The use of the statistical technique of mixture model analysis as a tool for early prediction of fault-prone program modules is investigated. The expectation-maximum likelihood (EM) algorithm is engaged to build the model. By only employing software size and complexity metrics, this technique can be used to develop a model for predicting software quality even without the prior knowledge of the number of faults in the modules. In addition, Akaike Information Criterion (AIC) is used to select the model number which is assumed to be the class number the program modules should be classified. The technique is successful in classifying software into fault-prone and non fault-prone modules with a relatively low error rate, providing a reliable indicator for software quality prediction.
研究了利用混合模型分析的统计技术对易故障程序模块进行早期预测的方法。采用期望-最大似然(EM)算法建立模型。通过仅使用软件大小和复杂性度量，该技术可以用于开发预测软件质量的模型，即使没有模块中故障数量的先验知识。此外，采用赤池信息准则(Akaike Information Criterion, AIC)选择模型号，假定模型号为程序模块应分类的类号。该技术成功地将软件划分为易故障模块和非易故障模块，错误率相对较低，为软件质量预测提供了可靠的指标。
{"title":"Software quality prediction using mixture models with EM algorithm","authors":"Ping Guo, Michael R. Lyu","doi":"10.1109/APAQ.2000.883780","DOIUrl":"https://doi.org/10.1109/APAQ.2000.883780","url":null,"abstract":"The use of the statistical technique of mixture model analysis as a tool for early prediction of fault-prone program modules is investigated. The expectation-maximum likelihood (EM) algorithm is engaged to build the model. By only employing software size and complexity metrics, this technique can be used to develop a model for predicting software quality even without the prior knowledge of the number of faults in the modules. In addition, Akaike Information Criterion (AIC) is used to select the model number which is assumed to be the class number the program modules should be classified. The technique is successful in classifying software into fault-prone and non fault-prone modules with a relatively low error rate, providing a reliable indicator for software quality prediction.","PeriodicalId":432680,"journal":{"name":"Proceedings First Asia-Pacific Conference on Quality Software","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122122089","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}
Dependency analysis is an important approach to testing, understanding, maintaining and transforming concurrent programs. However because the execution process of concurrent programs is unpredictable, there are many problems to be solved when carrying out dependency analysis. In this paper we propose some models for constructing concurrent program flow graph and concurrent program dependency graph for Ada programs, and based on these models, present a dependency analysis algorithm.
{"title":"An approach to analyzing dependency of concurrent programs","authors":"Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu, Jianping Zhang","doi":"10.1109/APAQ.2000.883776","DOIUrl":"https://doi.org/10.1109/APAQ.2000.883776","url":null,"abstract":"Dependency analysis is an important approach to testing, understanding, maintaining and transforming concurrent programs. However because the execution process of concurrent programs is unpredictable, there are many problems to be solved when carrying out dependency analysis. In this paper we propose some models for constructing concurrent program flow graph and concurrent program dependency graph for Ada programs, and based on these models, present a dependency analysis algorithm.","PeriodicalId":432680,"journal":{"name":"Proceedings First Asia-Pacific Conference on Quality Software","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126481091","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}
Pub Date : 2000-10-30DOI: 10.1109/APAQ.2000.883796
Yong Sun, Hongji Yang, A. Dix
Introduces a formalism which allows LOTOS specifications to be given in the form of transition diagrams (TDs). We argue that being able to use TDs as a design notation for LOTOS specifications would increase the quality of the software produced via a formal method, and ultimately this enhances LOTOS's acceptance by industry. The basis of our argument is that TDs are well-known and can be readily supported by tools. Thus, TDs are a user-friendly and effective tool for the design of LOTOS specifications. In order to support the design process, we define a simple language, called TDL (Transition Diagram Language), for expressing and manipulating TDs and as an intermediate language between TDs and LOTOS specifications. We provide a group of rules for translating TDs in TDL to basic LOTOS. We also enrich the basic LOTOS with some meta-combinators to facilitate the translation from TDs to LOTOS.
{"title":"TDL: a language for transition diagrams in the derivation of LOTOS specifications","authors":"Yong Sun, Hongji Yang, A. Dix","doi":"10.1109/APAQ.2000.883796","DOIUrl":"https://doi.org/10.1109/APAQ.2000.883796","url":null,"abstract":"Introduces a formalism which allows LOTOS specifications to be given in the form of transition diagrams (TDs). We argue that being able to use TDs as a design notation for LOTOS specifications would increase the quality of the software produced via a formal method, and ultimately this enhances LOTOS's acceptance by industry. The basis of our argument is that TDs are well-known and can be readily supported by tools. Thus, TDs are a user-friendly and effective tool for the design of LOTOS specifications. In order to support the design process, we define a simple language, called TDL (Transition Diagram Language), for expressing and manipulating TDs and as an intermediate language between TDs and LOTOS specifications. We provide a group of rules for translating TDs in TDL to basic LOTOS. We also enrich the basic LOTOS with some meta-combinators to facilitate the translation from TDs to LOTOS.","PeriodicalId":432680,"journal":{"name":"Proceedings First Asia-Pacific Conference on Quality Software","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131688283","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}
Pub Date : 2000-10-30DOI: 10.1109/APAQ.2000.883784
D. Kung, Chien-Hung Liu, P. Hsia
In recent years, Web applications have grown rapidly. As Web applications become complex, there is a growing concern about their quality and reliability. In this paper we present a methodology that uses an object-oriented Web Test Model (WTM) to support Web application testing. The test model captures both structural and behavioral test artifacts of Web applications and represents the artifacts form the object, behavior and structure perspectives. Based on the test model, both structural and behavioral test cases can be derived automatically to ensure the quality of Web applications. Moreover the model also can be used as a road map to identify change ripple effects and to find cost-effective testing strategies for reducing test efforts required in the regression testing.
{"title":"An object-oriented web test model for testing Web applications","authors":"D. Kung, Chien-Hung Liu, P. Hsia","doi":"10.1109/APAQ.2000.883784","DOIUrl":"https://doi.org/10.1109/APAQ.2000.883784","url":null,"abstract":"In recent years, Web applications have grown rapidly. As Web applications become complex, there is a growing concern about their quality and reliability. In this paper we present a methodology that uses an object-oriented Web Test Model (WTM) to support Web application testing. The test model captures both structural and behavioral test artifacts of Web applications and represents the artifacts form the object, behavior and structure perspectives. Based on the test model, both structural and behavioral test cases can be derived automatically to ensure the quality of Web applications. Moreover the model also can be used as a road map to identify change ripple effects and to find cost-effective testing strategies for reducing test efforts required in the regression testing.","PeriodicalId":432680,"journal":{"name":"Proceedings First Asia-Pacific Conference on Quality Software","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116476774","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}
Pub Date : 2000-10-30DOI: 10.1109/APAQ.2000.883791
J. B. Thompson, H. Edwards
The product/process duality of software quality is highlighted and problems of providing computing students, whether on undergraduate or postgraduate courses, with experiences analogous to those found in industry are outlined. Details are presented of the MSc in Computer-Based Information Systems, a "conversion" course offered world-wide by the University of Sunderland. The Systems Engineering module within the course is described and details are given of the pedagogical approaches adopted within it. The mechanisms used with regard to teaching concepts related to software quality assurance are described, with particular emphasis on the practical work which the students undertake. Finally, an overall evaluation is presented.
{"title":"How to teach practical software quality assurance. An experience report","authors":"J. B. Thompson, H. Edwards","doi":"10.1109/APAQ.2000.883791","DOIUrl":"https://doi.org/10.1109/APAQ.2000.883791","url":null,"abstract":"The product/process duality of software quality is highlighted and problems of providing computing students, whether on undergraduate or postgraduate courses, with experiences analogous to those found in industry are outlined. Details are presented of the MSc in Computer-Based Information Systems, a \"conversion\" course offered world-wide by the University of Sunderland. The Systems Engineering module within the course is described and details are given of the pedagogical approaches adopted within it. The mechanisms used with regard to teaching concepts related to software quality assurance are described, with particular emphasis on the practical work which the students undertake. Finally, an overall evaluation is presented.","PeriodicalId":432680,"journal":{"name":"Proceedings First Asia-Pacific Conference on Quality Software","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122317124","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}
Pub Date : 2000-10-30DOI: 10.1109/APAQ.2000.883782
T. H. Tse, Z. Zhou, T. Chen
Integer multiplication is one of the fundamental functions in cryptographic systems. Although much research has already been done on the testing of multiplication functions, most does not meet the need of cryptographic systems, where very large numbers are involved. Others provide only probabilistic algorithms. In this paper we propose an efficient deterministic algorithm for verifying large number multiplications in cryptographic systems. A deterministic oracle for large integer multiplication functions will result. In addition, our method can also be used to verify selected segments of digits in the product of two numbers.
{"title":"Testing of large number multiplication functions in cryptographic systems","authors":"T. H. Tse, Z. Zhou, T. Chen","doi":"10.1109/APAQ.2000.883782","DOIUrl":"https://doi.org/10.1109/APAQ.2000.883782","url":null,"abstract":"Integer multiplication is one of the fundamental functions in cryptographic systems. Although much research has already been done on the testing of multiplication functions, most does not meet the need of cryptographic systems, where very large numbers are involved. Others provide only probabilistic algorithms. In this paper we propose an efficient deterministic algorithm for verifying large number multiplications in cryptographic systems. A deterministic oracle for large integer multiplication functions will result. In addition, our method can also be used to verify selected segments of digits in the product of two numbers.","PeriodicalId":432680,"journal":{"name":"Proceedings First Asia-Pacific Conference on Quality Software","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129873156","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}
Pub Date : 2000-10-30DOI: 10.1109/APAQ.2000.883805
Andreas Rudolf, R. Pirker
Customer expectations are very high in e-business. Above all when they make first contact with your organization. The first impression is key, the user interface, the performance the right response, right away. Get ready for interfacing with your customers at first click or call-you only have one chance to attract each customer with good usability and fast, reliable responses. One click, one chance, period. In e-business it is essential to set high standards for the customer perceived usability, reliability and performance of your solution. With e-business solutions you can win with an innovative, high quality solution but just as quickly loose again if your system breaks down, has complex user interfaces or long response times frustrated customers cancel their transactions, dragging down further the performance of your e-business solution. We will define the critical success factors and measurements that enable you to determine the quality of your e-business testing and we will also take a look at the security issues affecting e-business testing.
{"title":"E-Business testing: user perceptions and performance issues","authors":"Andreas Rudolf, R. Pirker","doi":"10.1109/APAQ.2000.883805","DOIUrl":"https://doi.org/10.1109/APAQ.2000.883805","url":null,"abstract":"Customer expectations are very high in e-business. Above all when they make first contact with your organization. The first impression is key, the user interface, the performance the right response, right away. Get ready for interfacing with your customers at first click or call-you only have one chance to attract each customer with good usability and fast, reliable responses. One click, one chance, period. In e-business it is essential to set high standards for the customer perceived usability, reliability and performance of your solution. With e-business solutions you can win with an innovative, high quality solution but just as quickly loose again if your system breaks down, has complex user interfaces or long response times frustrated customers cancel their transactions, dragging down further the performance of your e-business solution. We will define the critical success factors and measurements that enable you to determine the quality of your e-business testing and we will also take a look at the security issues affecting e-business testing.","PeriodicalId":432680,"journal":{"name":"Proceedings First Asia-Pacific Conference on Quality Software","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121478908","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}
Pub Date : 2000-10-30DOI: 10.1109/APAQ.2000.883797
Shanti Wong
This paper summarizes software acquisition management lessons learnt from a complex multidisciplinary and multi-contract environment. It also identifies a number of new measures for improvement in a current project. These new measures are then analyzed against the key process areas of the Software Acquisition Capability Maturity Model/sup (R)/ (SA-CMM/sup (R)/) for their applicability and comprehensiveness. Additional effort to fulfil level-2 requirements of the SA-CMM/sup (R)/ is also investigated.
{"title":"Software acquisition management experience learnt in a multi discipline and multi contract project environment","authors":"Shanti Wong","doi":"10.1109/APAQ.2000.883797","DOIUrl":"https://doi.org/10.1109/APAQ.2000.883797","url":null,"abstract":"This paper summarizes software acquisition management lessons learnt from a complex multidisciplinary and multi-contract environment. It also identifies a number of new measures for improvement in a current project. These new measures are then analyzed against the key process areas of the Software Acquisition Capability Maturity Model/sup (R)/ (SA-CMM/sup (R)/) for their applicability and comprehensiveness. Additional effort to fulfil level-2 requirements of the SA-CMM/sup (R)/ is also investigated.","PeriodicalId":432680,"journal":{"name":"Proceedings First Asia-Pacific Conference on Quality Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123144620","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}
Pub Date : 2000-10-30DOI: 10.1109/APAQ.2000.883790
S. Yau
With the rapid advances of computer networking and wireless technologies, the applications of information technology have been drastically broadened. However, there are also more challenges in developing quality software for these applications. In this paper, recent advances to meet these challenges are discussed. In particular, among these advances, component-based software development, middleware, and design patterns to improve the development of quality software in distributed environments are considered.
{"title":"Achieving quality software development for distributed environments","authors":"S. Yau","doi":"10.1109/APAQ.2000.883790","DOIUrl":"https://doi.org/10.1109/APAQ.2000.883790","url":null,"abstract":"With the rapid advances of computer networking and wireless technologies, the applications of information technology have been drastically broadened. However, there are also more challenges in developing quality software for these applications. In this paper, recent advances to meet these challenges are discussed. In particular, among these advances, component-based software development, middleware, and design patterns to improve the development of quality software in distributed environments are considered.","PeriodicalId":432680,"journal":{"name":"Proceedings First Asia-Pacific Conference on Quality Software","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124737390","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：