基于XYZ/E规范的软件测试用例自动生成方法

• 作者: 何坚 虞凡 覃征 贾晓琳
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 测试用例生成 软件规范 XYZ/E Prolog 边界值测试
• 年，卷（期）: 2005,（19）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 76-78
• 页数: 3页
• 分类号: TP311.53
• 字数: 2998字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.19.028

摘要

针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法.该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值.最后,通过一个实例验证了该方法的可行性.与传统方法相比,该方法既保证了软件测试用例的有效性,又减少了测试用例输出的计算工作量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	覃征	西安交通大学电子与信息工程学院	158	2651	25.0	46.0
2	贾晓琳	西安交通大学电子与信息工程学院	23	240	8.0	15.0
3	虞凡	西安交通大学电子与信息工程学院	8	59	4.0	7.0
4	何坚	西安交通大学电子与信息工程学院	12	128	7.0	11.0