一种基于不变量的测试空间约简方法  

Method for Reducing Test Space Based on Invariants

作　　者：刘丽娜[1] 朱玲莉[1] 

机构地区：[1]南华大学计算机科学与技术学院,湖南衡阳421001

出　　处：《电子质量》2013年第2期5-7,13,共4页Electronics Quality

摘　　要：测试用例的自动生成在带来方便的同时引入了大量的等价输入及过多的冗余测试用例,对于测试空间的约简能够有效地解决这一矛盾。程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言,可以用于指导测试用例的生成。通过程序不变量来判断测试用例的有效性,再根据无效测试用例来确定无效空间,并对无效空间进行删减,从而达到减少冗余测试用例、提高测试用例集生成速度的目的。The automated test cases generation would cause a large number of equivalent input and redundant test cases while bring us convenience,which may be solved by reducing test case space.Program invariants can be used to guide the generation of test cases.Useless test cases are comfirmed according to program invariants,and then ascertain the useless test case space and deleted,So redundant test cases can be reduced,and the generation rate of test cases can be improved.

关 键 词：程序不变量 随机空间 测试用例 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]