3、自动化边界测试与可覆盖性分析改进

自动化边界测试与可覆盖性分析改进

在软件开发和验证过程中，测试是确保软件质量的关键环节。本文将介绍自动化边界测试方法以及可覆盖性分析的相关内容，包括其原理、实现方式、优化策略以及实际应用效果。

自动化边界测试（BZ - TT）

BZ - TT 测试生成方法利用基于集合的约束求解来计算边界目标和前导序列，从而实现测试生成过程的自动化，包括生成可执行的测试脚本。测试工程师在多个关键节点驱动测试生成过程：
1. 生成形式化模型 ：构建用于测试的基础模型。
2. 验证边界目标 ：边界目标可视为测试目标，确保其合理性。
3. 定义负面测试用例的判定规则 ：确定如何判断负面测试用例是否通过。
4. 覆盖默认的前导序列计算 ：例如，定义图遍历过程中要达到的状态空间中的某些状态。
5. 定义具体化映射和可执行测试脚本生成的模式源文件 ：为生成测试脚本提供必要的映射和文件。

然而，BZ - TT 方法目前存在一些局限性，也是正在进行的研究方向：
- 形式化模型层面 ：单一机器的限制过强，希望能够处理多层 B 机器，包括细化级别。
- 边界目标方面 ：在开始前导序列计算之前，需要更强大的可达性测试。目前每个边界目标验证不变谓词，且前导序列计算中的搜索是有界的，但这并不理想，正在研究更精确的技术来确保每个边界目标的可达性。
- 覆盖度量问题 <