12、MTCC模型应用及在数字图书馆领域的实践

MTCC模型应用及在数字图书馆领域的实践

1. MTCC模型应用概述

在MTCC模型应用中，子树的配置要确保目标模型中所有子树节点都被选中。若原始节点和目标节点的子节点数量不同，会按需调整特征组的基数。这可能导致目标模型包含原始模型中不存在的特征，由于MTCC无法确定这些特征是否会改变测试语义，所以测试转移过程的结果需由熟悉系统的领域专家进行验证。

1.1 测试复用的局限性

• 候选序列兼容性要求过高 ：MTCC构建实例候选序列集时，仅将与原始系统实例顺序和内容完全相同的序列视为兼容。但在实际中，系统上断言的执行顺序并非总是与测试行为相关，这种要求过于严格。
• 配置转移时未考虑明确取消选择的特征 ：在转移配置时，明确取消选择的特征未被考虑。不过在实际中，由于MTCC编辑器默认不选择可选特征，用户很少会取消选择不希望在测试中使用的特征，所以这一问题影响不大。

1.2 基于测试配置的测试执行

领域专家建模的实例本身不足以进行测试，因为它们缺乏关于被测系统实现和测试执行所用测试运行器的详细信息。MTCC采用代码生成方法，从抽象模型和模板生成测试用例。

1.2.1 测试配置实例的转换

在从实例生成测试用例之前，每个实例会被转换为中间格式。其目的是将MTCC编辑器创建的实例转换为简单表示形式，用于后续测试代码的生成。每个配置实例的特征模型会转换为对象，该对象以关联数组实现，其条目表示与配置实例特征模型相同的信息。
以下是一个Python表示的对象示例：