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

摘要

一致性测试套选择是一致性测试中非常重要的阶段.测试生成的测试套集受到测试成本、覆盖度、可用性等因素的影响,只有经过测试选择后得到的测试套子集才可以用于实际的一致性测试.在测试选择研究的基础上,根据可用性标准,提出了一种基于统计检验的测试选择方法.该方法把可用性标准转化为假设检验模型,使用形式化方法构造了测试例执行的接受域;然后对测试例执行进行采样并且统计成功的次数;如果统计结果落入接受域,就认为该测试例是可用的.该方法取得了非常好的应用效果.