36、模型测试与TTCN - 3语言详解

模型测试与TTCN - 3语言详解

1. 模型测试案例分析

随着现实世界中的系统（SUT）变得越来越复杂，传统的手动编写测试用例的非结构化测试方式面临诸多挑战。当前大部分系统采用这种方式进行测试，但由于系统复杂度的增加，要有效实现足够的测试覆盖变得愈发困难，而且测试套件的规模也在不断增大。例如，为PowerPC架构开发的架构验证套件（AVS），32位设计有大约87,000个测试用例，64位设计则有150,000个测试用例。因此，直接有效地根据系统需求验证系统变得非常困难。

在模型测试中，存在一种常见的抽象过程。首先构建系统行为的抽象测试模型，该模型以抽象方式仅包含系统的关键方面。由于测试模型复杂度的降低，验证测试模型比直接验证复杂的SUT要容易和有效得多。然后，通过测试用例的指定、生成、具体化、执行和评估等步骤，将SUT的行为与抽象测试模型进行验证。这种方法带来了结构化的测试过程，并实现了广泛且可测量的测试覆盖。在构建抽象测试模型时，可应用四类抽象技术。

模型测试在处理器验证领域开始广泛应用，这是因为该领域有一个理解良好的开发过程，具有明确定义的抽象级别（例如从VHDL到RTL），这使得抽象测试模型的构建能够部分自动化。而在其他案例研究中，由于缺乏明确定义的抽象级别，测试模型是临时构建的，但这些案例研究仍具有很好的概念验证意义。不过，目前没有案例研究对模型测试进行严格评估，也没有关于其与传统测试技术或其他质量保证技术（如评审或检查）相比的有效性和成本的相关陈述。

在测试用例的处理方面，有不同的方法。一种是使用tc - translator，它建立模型的抽象实体（状态、操作等）与SUT测试平台的具体指令之间的映射关系，这样可以轻松调整以适应不同的测试平台。通常模