面向对象软件簇级测试用例自动生成方法与实现

摘要

随着软件规模及其复杂度的不断增长，软件系统存在的潜在错误也越来越多。尽管编程语言、编程模型以及软件工程方法在逐步改进、程序验证的形式化方法在稳步提高，但是软件测试仍然是软件系统中发现错误的主要方法、保证软件质量的重要手段。然而软件测试工作是非常繁杂且耗时的，若由人工完成测试，则会阻碍软件测试的必要实施，降低软件测试的效率，而且人工完成的测试代码可靠性并没有保证。测试过程自动化可以减少开发费用、提高软件可靠性、改进软件质量。 测试用例自动生成是软件测试的核心问题之一。本课题选取面向对象软件簇级测试用例自动生成方法与实现为研究方向。提出了一种面向对象软件的簇级测试用例生成方法，该方法以描述系统集成交互的UML时序图作为测试用例生成的基础，首先提取UML时序图的信息将其合成有限状态机；然后基于该有限状态机，使用数据流分析和控制流分析两种方法生成用于测试所描述的行为的集成测试用例。该方法完全基于UML，在满足覆盖所有测试需求的基础上生成的测试用例简单高效，实现了测试用例生成的自动化。