33、测试用例生成工具与案例研究综述

测试用例生成工具与案例研究综述

在当今的系统开发中，质量愈发受到重视，测试成为提升系统质量的关键手段。模型驱动的测试方法结合了理论与实践，为测试工作带来了新的思路和工具。本文将介绍测试用例生成工具的相关信息以及模型驱动测试的案例研究。

1. 测试用例生成工具

1.1 AutoLink 工具概述

AutoLink 是一款工业级的测试生成器，可从 SDL 规范生成可读的 TTCN 测试套件。其测试套件的生成可由用户提供测试目的来引导，也能完全自动生成。不过，目前尚未有关于 AutoLink 所使用算法的理论基础相关研究，但已能对其一致性关系定义进行逆向工程。该工具已应用于多个案例研究。

1.2 工具比较

在比较测试工具时，可从理论和实践两个方面进行考量。
- 理论方面
- 测试生成算法是否基于可靠理论，各理论之间的关系如何。
- 理论上能达到的错误检测能力。
- 底层算法的时间/空间复杂度。
- 理论是否适用于组合问题，模型能否进行同余组合。
- 理论是否适用于分布式问题，能否生成多个分布式测试器。
- 形式化方法如何处理数据，是否支持复杂/符号数据。
- 是否有时间概念，能否在测试执行中保证时间约束。
- 能否处理非确定性的被测系统（SUT）和非确定性规范。
- 实践方面
- 实际案例中能达到的错误检测能力。
- 能否仅生成测试套件，还是也能在真实 SUT 上执行。
- 工具的用户友好性，是否有 GUI 及是否使用图形模型。