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

• 作者: 刘丽娜 朱玲莉
• 来源期刊: 电子质量
• 关键词: 程序不变量 随机空间 测试用例
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 理论与研究
• 页码范围: 5-7,13
• 页数: 4页
• 分类号: TP3
• 语种: 中文

摘要

测试用例的自动生成在带来方便的同时引入了大量的等价输入及过多的冗余测试用例,对于测试空间的约简能够有效地解决这一矛盾.程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言,可以用于指导测试用例的生成.通过程序不变量来判断测试用例的有效性,再根据无效测试用例来确定无效空间,并对无效空间进行删减,从而达到减少冗余测试用例、提高测试用例集生成速度的目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘丽娜	南华大学计算机科学与技术学院	3	6	2.0	2.0
2	朱玲莉	南华大学计算机科学与技术学院	2	6	2.0	2.0