20、探索MTCC：模型驱动的系统族验收测试新方法

探索MTCC：模型驱动的系统族验收测试新方法

在软件开发领域，系统族的测试一直是一个具有挑战性的任务。如何有效地对系统族进行验收测试，同时让领域专家能够参与其中，是许多开发者关注的问题。MTCC（Model-driven Test Construction for System Families）作为一种模型驱动的验收测试方法，为解决这些问题提供了新的思路。

1. MTCC与FIT的对比

FIT（Framework for Integrated Tests）是一种测试框架，它在测试表示上有其独特之处。在FIT中，测试的GUI表示和底层模型是同一概念，用于表示测试的表格既是GUI也是模型。然而，FIT并不针对系统族中不同系统的测试，虽然可以实现多个fixture在不同系统上执行测试，但这并非FIT的明确组成部分。

与之相比，MTCC的目标是促进领域专家参与软件系统族的基于模型的测试。为了实现这一目标，MTCC结合了验收测试、模型驱动软件开发、特征建模和软件产品线工程等领域。MTCC与现有方法的主要区别在于：
- 使用模型层次结构来支持测试的智能规范，并便于测试的重用和维护。
- 使用编辑器将这些模型以基于领域约定的GUI形式呈现给领域专家。

2. MTCC的方法概述

2.1 MTCC过程的三个层次

MTCC过程从三个层次来考虑系统和测试的表示：
- 领域或系统族层次 ：分析被测试系统族成员在测试相关功能方面的共性和差异，并将分析结果形式化为特定的表示。
- 系统层次 ：通过将领域层次表示的特征模型专门