基于方法序列规范的测试用例生成

1 引言面向对象软件测试技术的研究是最近几年才引起重视的一个新领域。OO程序由于引入了封装、继承、多态等概念和机制,在程序的组织结构和运行机制上与传统的程序有很大差别,因而也对软件测试技术提出了新要求。无论是传统程序还是OO程序,测试活动通常分4个步骤进行:(1)确定测试准则;(2)

基于UML顺序图的面向对象软件簇级测试用例生成

本文提出了一种新的面向对象软件簇级测试用例生成方法。在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;然后,依据从UML顺序图中提取出来的类间的交互信息,采用文中给出的算法生成测试用例;最后,将生成的测试用例依据XML文档的格式存储,以便于管理,并通过实例对该测试用例生成方法进行了验证。

基于面向对象的软件测试工具模型及其研究

软件测试乃是软件质量保证最有效的手段。本文提出了一种基于面向对象的软件测试工具模型,并对它进行了深入的研究和分析,这对软件的质量评估以及有关评估模型的建立是非常有意义的。

基于面向对象的软件测试工具模型及其研究

软件测试乃是保证软件质量最有效的手段。本文提出了一种基于面向对象的软件测试工具模型，并对它进行了深入的研究和分析，这对软件的质量评估以及有关评估模型的建立是非常有意义的。

面向对象软件测试及度量的研究

软件测试方法和度量是提高和保证软件质量的关键。文中介绍了一种认识面向对象软件集成测试和度量的方法（URI），以及一种继承树深度（DIT）的度量标准，从这一测试方法显示继承的过多使用将增加软件测试的复杂性。论文最后介绍了有待进一步研究的问题。

基于有穷自动机的面向对象软件规约的测试

尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术,但是测试和维护软件的费用并没有因此而减少。在面向对象软件的测试研究中,对如何减少面向对象软件的错误提出了许多方法,绝大多数人关注的是类测试而不是对面向对象规约的高级测试。该文提供了一个基于有穷自动机的测试框架来测试面向对象规约。该方法在一个可执行的有穷自动机上直接进行了测试,不用手动进行证明,并且可产生大量的状态空间。测试结果证明了该方法的有效性。