论文部分内容阅读
面向对象软件技术的迅速发展,给面向对象软件测试,尤其是面向对象软件的集成测试,带来了新的挑战。面向对象集成测试的重点在于检测消息能否正确地激活方法的执行,方法/消息序列是否合法等问题。MM路径,即方法/消息路径,是由消息连接起来的方法执行序列,可以很好地反映这些问题。因此,研究基于MM路径的面向对象集成测试方法,具有十分重要的理论意义和广阔的应用前景。本文在系统综述面向对象集成测试和MM路径相关研究的基础上,从MM路径的产生原因、作用域范围和组成结构三方面,对MM路径进行了分类研究;提出了一种MM路径形式化表示方法,以支持基于MM路径的集成测试。MM路径生成是基于MM路径集成测试的基础和关键。本文从程序代码出发,通过词法和语法分析获取相关分支和调用信息,实现了MM路径的自动生成;重点探讨了从UML规格说明生成MM路径的方法,利用消息响应表记录面向对象系统的交互信息,提出了一种从UML状态图自动生成原子MM路径的方法,为基于MM路径的面向对象集成测试研究奠定了基础。测试覆盖准则是生成测试用例和评估测试充分性的基准。本文提出了MM路径覆盖准则,并将其与基于UML状态图的状态覆盖准则、迁移覆盖准则和迁移对覆盖准则进行了比较。在此基础上,通过插桩状态观测函数和状态预置函数进行状态的识别和待测状态的生成,给出了一种基于MM路径覆盖的测试方法,有效地测试了类内方法之间的交互情况。