首页 | 本学科首页   官方微博 | 高级检索  
     

基于XYZ/E规范的软件测试用例自动生成方法
引用本文:虞凡,覃征,贾晓琳,何坚.基于XYZ/E规范的软件测试用例自动生成方法[J].计算机工程,2005,31(19):76-78.
作者姓名:虞凡  覃征  贾晓琳  何坚
作者单位:西安交通大学电子与信息工程学院,西安710049
摘    要:针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法。该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值。最后,通过一个实例验证了该方法的可行性。与传统方法相比,该方法既保证了软件测试用例的有效性,又减少了测试用例输出的计算工作量。

关 键 词:测试用例生成  软件规范  XYZ/E  Prolog  边界值测试
文章编号:1000-3428(2005)19-0076-03
收稿时间:08 25 2004 12:00AM
修稿时间:2004-08-25

Automatic Generation Method of Software Test Case Based on XYZ/E Specification
YU Fan,QIN Zheng,JIA Xiaolin,HE Jian.Automatic Generation Method of Software Test Case Based on XYZ/E Specification[J].Computer Engineering,2005,31(19):76-78.
Authors:YU Fan  QIN Zheng  JIA Xiaolin  HE Jian
Abstract:To solve the test case ineffective problem due to inconsistency between the input domain boundaries of the specification and the software under test, a test case generation method based on software specification, which is described in temporal logic language XYZ/E. is proposed. The method, which describes software specification in XYZ/E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program. The method can assure test case effectiveness and reduce the effort on computing test case outputs. Furthermore, whole procedure of the method is illustrated in a case study.
Keywords:Test case generation  Software specification  XYZ/E  Prolog  Boundary value testing
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号