基于可用性的一致性测试套选择  

Conformance Test Selection Based on Availability

作　　者：邢熠[1,2,3] 叶新铭[2] 谢高岗[1] 

机构地区：[1]中国科学院计算技术研究所,北京100190 [2]内蒙古大学计算机学院,呼和浩特010021 [3]中国科学院研究生院,北京100190

出　　处：《计算机科学》2009年第12期132-137,共6页Computer Science

基　　金：国家自然科学基金项目(90604015)(60863015);内蒙古自然基金重点项目(200711020803);教育部春晖项目(Z200-1-01032)资助

摘　　要：一致性测试套选择是一致性测试中非常重要的阶段。测试生成的测试套集受到测试成本、覆盖度、可用性等因素的影响,只有经过测试选择后得到的测试套子集才可以用于实际的一致性测试。在测试选择研究的基础上,根据可用性标准,提出了一种基于统计检验的测试选择方法。该方法把可用性标准转化为假设检验模型,使用形式化方法构造了测试例执行的接受域;然后对测试例执行进行采样并且统计成功的次数;如果统计结果落入接受域,就认为该测试例是可用的。该方法取得了非常好的应用效果。Conformance test selection is a very important stage in conformance test. Test suite from test generation can＇t suitable for practical test because of test cost, coverage, availability etc. Test selection is necessary to generate subset test suite. We gave a method to carry out test selection based on statistical test. It included three stages. The first was construct acceptance region using formal method. The second step was to sample test execution and count the number success. The last was to judge the availability of test case based on whether the number of success lie in acceptance region. The method has been used in our test selection application.

关 键 词：一致性测试 测试选择 接受域 采样 可用性 

分 类 号：TP306.2[自动化与计算机技术—计算机系统结构]