7、软件测试技术与自动化测试用例生成解析

软件测试技术与自动化测试用例生成解析

1. 实验软件工程的重要性

实验研究在软件工程中至关重要，因为它能为软件开发过程的理解、控制、预测和改进提供客观且有意义的结果。在测试技术、标准和工具方面同样如此。通过实验研究可以获取数据和证据，在决策过程中，软件工程需要将主流研究的最佳证据与实践经验和人类价值观相结合。一项技术不能简单地被判定为好或坏，而应根据具体情况和组织需求来评估其适用性。因此，专业人员应查找有关特定技术的实验研究，并结合自身情况进行评估。

软件工程采用两种类型的研究来确定特定技术的证据水平：
- 主要研究 ：旨在在特定背景下描述给定技术，常见类型包括调查、案例研究和对照实验。
- 次要研究 ：旨在识别、评估和解释与特定研究问题、主题领域或感兴趣的现象相关的所有可用研究，例如系统评价。

2. 实验案例：Unix Cal程序测试

在2003年，进行了一项对照实验，旨在评估随机测试、功能测试（边界分析和等价划分）和系统功能测试的有效性。使用变异测试作为故障模型，评估不同测试套件暴露故障的能力。为了扩展该实验，除了上述测试套件外，还使用了Pex工具生成的测试套件。

2.1 实验要素

• 技术 ：随机测试、功能测试（边界值和等价划分）、系统功能测试、符号执行（Pex工具使用）和变异测试（变异分析和接口变异）用于测试套件评估。
• 软件制品 ：Unix Cal程序。
• 主要目