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

摘要：

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

关键词：测试用例生成、软件规范、XYZ/E、Prolog、边界值测试

所属期刊栏目：31

分类号：TP311.53(计算技术、计算机技术)

资助基金：国防预研基金

在线出版日期：2005-11-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：76-78