面向路径的测试数据自动生成工具的设计与实现

面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松弛方法[1 ] 求解该问题。文献[2 ]改进了该方法 ,证明改进后的方法与原方法生成的约束系统相同。文章以改进后的方法为核心算法 ,根据软件工程的思想 ,采用面向对象的方法 ,使用UML进行设计 ,并且在LinuxRedHat 7 0操作系统下用C + +语言实现一个为指定程序路径自动生成测试数据的原型工具 。

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型 .用Object Z语言描述面向对象程序的形式化规约 .从形式化规约说明中可以推导出的面向对象程序的状态转换图 ,状态图可以表示面向对象程序的动态行为 ,并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集 .最后给出了验证一个方法调用序列正确性的方法 .

从形式化规范自动生成系统级状态机

形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.

基于JML的面向对象设计指导测试方法的研究与实现

面向对象的软件测试应该也只能被设计所指导。提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Ja-va类代码框架,就可以利用JML丰富的支撑工具进行调试和自动测试,从而实现了设计指导测试的思想。研究了OCL到JML的转换机制,并给出了基于Rational Rose的转换工具JML-AddIn的实现框架。