从测试规格说明到测试用例的自动生成方法

《从测试规格说明到测试用例的自动生成方法》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、收稿日期：!""!#"$#%"基金项目：国家自然科学基金资助项目（&"’(%"%"）作者简介：胡芸（’)(*#），女，江苏太仓人，硕士生+从测试规格说明到测试用例的自动生成方法胡芸，缪淮扣，刘玲（上海大学计算机工程与科学学院，上海!"""(!）摘要：讨论了使用域测试策略生成测试用例的过程：将测试规格说明，即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词，变换成不等式组，然后对每一个不等式组利用’,’域测试策略生成域测试矩阵，最终得到测试用例包+提出了一种应用’,’域测试策略和线性不等式值转换器来构成一

2、个从测试规格说明生成测试用例的方法+最后通过一个实例说明如何使用’,’域测试策略来实现从测试规格说明到测试用例的自动生成+关键词：形式化规格说明；测试规格说明；域测试；’,’域测试策略中图分类号：-.%"&文献标识码：/文章编号："!$%#%(01（!""!）’"#’!!&#"&!""#$%&’($!)($*%(+&%,,-./0/#%(+012/3(4%3/35#$*2/3(6"/&+5+&%(+$0!"#$%，&’()!$*+#,-$，.’".+%/（23455657859:;?@AB@==>B@AC@D23B

3、=@3=，24C@A4CBE@BF=>GB5:=>CC5C34C595:5G=D+-4=957JKLBG5M59C:>==C59O4B345D;3=D+L;>95>=，53=D;>=BGB66;GC9C6G:=3B7B3C测试占有举足轻重的地位+根据Q5=49的统计，软件开发总成本中，用在测试上的开销要占%"R!$"R+所谓软件测试，就是选择有代表性的输入数据来驱动被测程序，观察程序的执行结果，比较该结果与期望结果是否一致，然后做相应的纠错、调整和评价+软件测试是保证软件质量的重要手段+本文讨论的是一种基于规格说明

4、的测试方法+用基于规格说明的测试方法进行测试时，完全不考虑程序内部结构和内部特性，测试者只知道程序输入和输出之间的关系，或是程序的功能+必须依靠能够反映这一关系和程序功能的需求规格说明书考虑确定测试用例，并推断测试结果的正确性+因此，基于规格说明的测试是从用户观点出发的测试+而采用基于代码的测试时，测试者可以看到被测的源程序，可以分析程序的内部构造，并且根据其内部构造设计测试用例+软件测试的传统过程是基于代码的+S55D=@5;A4和S=>4C>测试从根本上来说是有缺陷的［’］，因为它无法确认程序是否符合规格说明和

5、用户的需求，而这一点正是测试的目的和最终的目标+形式化规格说明是系统行为的可靠描述，它在软件测试中起着重要的作用+形式化规格说明精确描述了“做什么”而不是“怎么做”，因此，测试者可以从中获得重要的信息而无须从繁琐以及不重要的细节中提取+基于规格说明的测试与传统的基于代码的测试相比，提供了一种更严格的方法，并且简化了回归测试+基于规格说明测试的其它优点包括可以从测试数据中得出预期值，以及测试的开发和程序的设计与运行是同步的+后者更是利于打破软件工程中的“先编码后测试”的实际做法，并且有利于第%"卷第’"期!""!年’

6、"月同济大学学报TUEVK/WUL-UKSTIEKIX?V2I-YX56+%"K5+’"U3测试活动［!，"］#$语言是目前人们非常感兴趣的一种规格说明方法#它是由著名计算机科学家%&’()所在的牛津大学程序设计研究组（*+,）的学者在!-世纪.-年代初设计开发的#$语言是一种建立在数学基础上的基于模型的规格说明方法，以一阶谓词逻辑和集合论作为形式语言基础，将函数、映射、关系等数学方法用于规格说明中，具有精确简洁、无二义性的优点，有利于保证程序的正确性，尤其适合于无法进行现场调试的高安全性系统的开发#因此在工业界和

7、学术界得到了较为广泛的应用，成为当今形式规格说明语言的代表#有关基于模型的规格说明测试的一些工作在文献中有所提及#%’//［0，1］给出了如何从$规格说明产生测试用例的方法#文献［2］提出了一个从$规格说明到测试用例自动生成的流程#3456和7’48)［9］从:3;规格说明产生析取范式作为基本的划分测试#>)(?&@A>>BCC和DE’&F4@GH4B［.］给出了如何从以DA7H（一种结构化的，面向对象的形式化规格说明语言）书写的规格说明产生测试用例的方法#%’//在文献［0，1］中提出的利用$规格说明进行软件测试

8、的方法，需要测试人员具有丰富的测试经验和较高的专业水平才能完成测试过程，且又是手工过程，因此测试效率较低#文献［2］提出的自动测试流程只适合于基本数据类型的输入数据，而不适合复合类型的数据#本文提出的自动测试流程对之进行改进，同时提出用IJI测试策略来解决由测试规格说明（$规格说明经过预处理后得到的析取范式）产生测试用例的方法#与上述方法相比具有以下特点：!