● 摘要
TTCN-3（Testing and Test Control Notation 3rd，测试和测试控制符号第3版）是由ETSI制定和推动的测试规范和测试实现标准。它是一种描述能力丰富的面向黑盒测试的测试描述规范。TTCN-3已经被越来越多地应用到各种测试领域，基于TTCN-3的测试系统开发已经具备了和软件开发相类似的特征。与软件系统一样，TTCN-3测试系统同样会遇到各种运行时问题。测试执行期间测试系统已经开始出现未知原因的“死机”现象或者给出错误结果。与其他软件系统不同，TTCN-3测试系统的运行依赖于被测系统，这使得测试系统问题更难以确定原因。随着测试规模的增长，TTCN-3测试系统在运行时所暴露的问题日益增多，因此需要对TTCN-3测试系统的调试方法进行研究。传统TTCN-3测试代码调试需要实现具有相当规模的测试辅助模块，这大大增加了调试代价。本文提出模型调试的方法，能够在不必开发辅助模块前提下直接调试测试设计，有利于降低调试代价与工作量。此外测试模型的模型调试方法作为模型驱动测试的重要组成部分，有能力调试通用测试模型而不仅针对TTCN-3等某种特定测试技术，更具通用性。本文首先参考U2TP建模规范和TTCN-3测试规范，使用U2TP中的各种模型概念定义了TTCN-3测试系统的测试元模型；对测试模型的执行以及支持调试接口的测试模型执行设计进行了分析；之后基于调试接口讨论了测试模型调试设计的问题。本文最后针对电梯调度系统设计了测试模型的模型调试器实例，并展现了测试模型的执行与调试过程。