16、MTCC测试配置的GQM应用与验证结果分析

MTCC测试配置的GQM应用与验证结果分析

1. GQM应用于MTCC的测试问题探讨

在测试过程中，希望利用MTCC实现临时测试的自动化。为此，从识别出的故障中推导测试，并评估这些测试能否用MTCC表达，Metric M1.5.1描述了MTCC对这些测试的支持程度。

1.1 Q2：MTCC测试配置的可执行性

这是I类验证的第二个问题，主要考察MTCC模型的可执行性。当一个实例能够以原始形式或经过转换后用于测试被测对象时，就认为它是可执行的。因为实例是生成测试用例的基础，所以如果能从模型创建测试用例，那么该模型就是可执行的。

Q2不仅关注能否从模型生成测试代码，还关注建立测试代码生成基础设施以及使用该基础设施生成测试用例所需的资源。执行系统是生成和执行测试用例所需的基础设施，它包括多个部分。虽然考虑这些资源似乎涉及MTCC的效率，属于III类验证，但实际上Q2属于I类验证，因为只有在给定项目的测试自动化可用资源范围内能够实现MTCC，其可行性才成立。

Q2包含以下4个子问题：
- 对于给定的被测对象，执行系统的完整实现能达到什么程度？为回答此问题，在系统s1上为测试集T1和T3a的测试实现了一个执行系统，考察实现一个覆盖系统大部分功能的执行系统所需的资源。
- 对于系统家族的所有成员，执行系统的实现是否可行？为研究此问题，为系统家族的所有成员实现了一个有限的执行系统，该系统仅支持单个测试类ta1的执行。
- 是否可以为不同的测试运行器实现执行系统？在系统s1上为测试类ta1和测试运行器tr2实现了一个执行系统，以研究MTCC测试模型是否特定于某个测试运行器。
- MTCC执行系统生成的测试用例能否集成到现有的测