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

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

筛选
英文 中文
Abductive approach to prototyping data flow diagrams 数据流程图原型的派生方法
Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883804
Erik T. H. Fung
{"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}
引用次数: 0
Software quality prediction using mixture models with EM algorithm 结合EM算法的混合模型软件质量预测
Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883780
Ping Guo, Michael R. Lyu
{"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}
引用次数: 43
An approach to analyzing dependency of concurrent programs 并发程序依赖性分析方法
Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883776
Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu, Jianping Zhang
{"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}
引用次数: 26
TDL: a language for transition diagrams in the derivation of LOTOS specifications TDL:用于LOTOS规范派生中的转换图的语言
Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883796
Yong Sun, Hongji Yang, A. Dix
{"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}
引用次数: 0
An object-oriented web test model for testing Web applications 一个面向对象的web测试模型，用于测试web应用程序
Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883784
D. Kung, Chien-Hung Liu, P. Hsia
{"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}
引用次数: 69
How to teach practical software quality assurance. An experience report 如何教授实际的软件质量保证。经验报告
Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883791
J. B. Thompson, H. Edwards
{"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}
引用次数: 4
Testing of large number multiplication functions in cryptographic systems 密码系统中大数乘法函数的检验
Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883782
T. H. Tse, Z. Zhou, T. Chen
{"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}
引用次数: 4
E-Business testing: user perceptions and performance issues 电子商务测试:用户感知和性能问题
Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883805
Andreas Rudolf, R. Pirker
{"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}
引用次数: 16
Software acquisition management experience learnt in a multi discipline and multi contract project environment 在多学科、多合同项目环境中学习软件采办管理经验
Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883797
Shanti Wong
{"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}
引用次数: 6
Achieving quality software development for distributed environments 为分布式环境实现高质量的软件开发
Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883790
S. Yau
{"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}
引用次数: 3
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信