-
题名不变量指导的随机测试用例生成
被引量：3
- 1
-
-
作者
曾凡平
袁园
潘能刚
邓超强
-
机构
中国科学技术大学计算机科学与技术学院
安徽省计算与通讯软件重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2011年第11期2174-2181,共8页
-
基金
安徽省自然科学基金项目(11040606M131)资助
-
文摘
随机测试以其自动化程度高、揭错能力强的优势一直在测试用例的自动化生成领域占据着重要的地位,但其冗余度高、覆盖率低的缺陷限制了它的应用.程序不变量是程序的某个或某些特定的点上保持为真的属性,它可以提供程序运行时的有价值的信息.提出一种不变量指导下的随机测试用例的自动化生成方法.这种方法通过提取程序运行时的动态不变量,指导随机测试用例的生成,并且利用随机生成的无效用例的反馈信息,约简冗余的随机用例空间,增大了选中有效用例的概率.实验结果表明,该方法在保持随机测试的高揭错能力的前提下,可以有效的降低随机测试的冗余度,提高其覆盖率.
-
关键词
随机测试
程序不变量
约简随机空间
测试用例
-
Keywords
random testing
program invariant
reducing random space
test case
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
