Proceedings First Asia-Pacific Conference on Quality Software最新文献_第4页

Modelling and verification of a network player system with DCValid 基于DCValid的网络播放器系统建模与验证

Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883777

Wang Jianzhong, Xu Qiwen, Ma Huadong

引用次数: 8

Specification analysis and test data generation by solving Boolean combinations of numeric constraints 通过求解数值约束的布尔组合进行规格分析和测试数据生成

Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883800

Jian Zhang

引用次数: 24

Towards a more efficient way of generating test cases: class graphs 朝着更有效的方式生成测试用例:类图

Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 2000-10-30 DOI: 10.1109/APAQ.2000.883802

Karl R. P. H. Leung, W. Wong

{"title":"Towards a more efficient way of generating test cases: class graphs","authors":"Karl R. P. H. Leung, W. Wong","doi":"10.1109/APAQ.2000.883802","DOIUrl":"https://doi.org/10.1109/APAQ.2000.883802","url":null,"abstract":"Specifications are the primary source for obtaining test cases in software testing. Specification based testing is becoming more and more important when black box components and COTS are widely used in software development. One of these systematic approaches is deriving test cases from a classification tree. This approach partitions the input domain into classifications. Classifications are further partitioned into classes. Test cases are combinations of classes. Relations between classifications and classes are identified and are used to construct the classification tree. From the classification tree, a combination table is constructed. Test cases are derived from the combination table. However human decisions are required in determining whether test cases derived from the combination table are valid. This problem is incurred by the limitation of the expressive power and elegance of the two kinds of relations, namely classification classes and Class-Classification, that are allowed in the classification tree. We propose an enhancement of the classification tree by replacing the two kinds of relations by a Class-Class relation. We call this new approach Class Graphs. This paper describes the class graphs approach and compares its expressive power with the classification tree and show how test cases can be derived from class graph in a more efficient way.","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":"134593039","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

Proceedings First Asia-Pacific Conference on Quality Software 第一届亚太质量软件会议论文集

Proceedings First Asia-Pacific Conference on Quality Software Pub Date : 1900-01-01 DOI: 10.1109/APAQ.2000.883772

V. Klimov, A. Mikhailovsky, S. Xu, A. Malko, C. Leatherdale, M. Bawendl

引用次数: 3