8、自动测试用例生成技术解析

自动测试用例生成技术解析

1. 基于模型的测试（MBT）概述

基于模型的测试（MBT）是一种有效的测试方法，其典型过程模型包含以下几个关键阶段：
1. 构建模型 ：形成系统需求的心理表征并映射到模型中，目标是生成一个可用于自动测试用例生成的模型。开发模型和需求文档通常可作为起点，但测试模型往往需要更详细和完整。
2. 生成测试用例 ：从模型中导出测试用例，此阶段的自动化程度取决于模型的性质，形式化模型通常更易于实现自动化。
3. 运行测试用例 ：执行之前生成的测试用例。
4. 收集和分析结果 ：收集执行时间和测试用例结果，分析以确定测试是否足够，是否需要更多测试用例，以及模型是否需要改进。

要使MBT过程中的测试用例生成有效，通常需要满足以下要求：
- 对被测系统（SUT）有合理的理解，可通过研究应用领域和待满足的需求来实现。
- 有一个适合表示系统需求的模型，该模型要符合应用领域和测试目标，并且能够支持测试用例的生成。同时，要确保所选模型的测试假设能够得到满足。
- 有一个系统的过程来构建模型，可以手动构建，也可以从需求文档自动生成，例如通过自然语言翻译。
- 有可以根据覆盖范围和测试选择标准自动应用的测试生成算法。
- 有一个验证策略，用于评估生成的测试用例是否与SUT一致且可行。应用此策略的结果可能导致模型细化以及重复测试用例生成或执行。

2. 测试模型的定义与要求

测试模型是为了生成测试用例以测试应用程序的预期