题目：基于U2TP的测试系统模型交互式双向调试技术研究与实现

软件调试技术是缺陷发现修复技术，绝大多数系统都可以通过运行时调试来定位缺陷、修复缺陷。测试系统是对目标软件进行测试和评估的软件系统，其缺陷会在运行时暴露，可以引起错误的测试判定，甚至引起严重的运行错误，导致测试无法正常进行。因此需要针对测试系统进行相应的调试以发现并修复其中的缺陷。本文在测试系统、测试模型、模型调试等概念、方法和技术基础上，提出了在测试系统的模型层进行交互式双向调试的方法。本论文首先讨论了测试系统的建模问题，基于U2TP定制了一套通用的测试系统元模型，并对测试系统进行可视化建模。通过对测试系统进行建模，提高了调试工具的抽象层次，有利于调试人员忽略程序的一些细节，更专注于测试系统的测试逻辑，更好的理解程序架构和含义，并可以在早期模拟和测试系统。然后本文论述了测试模型执行引擎的设计与实现，包括模型读取，典型测试行为解释，通讯适配器，计时控制等内容。为了对调试提供支持，还论述了模型执行引擎的调试命令处理机制以及调试调度算法。现有的顺序调试技术不足以一次找到程序缺陷，很多情况下需要通过重复多次调试。对于测试系统调试而言，因为要与被测系统交互，所以往往还要使被测系统回滚到之前的状态和上下文环境，然后才能观察到特定的调试信息。本论文针对此问题提出测试模型的双向调试方法，有利于提高测试系统的开发效率。紧接着本文论述了如何通过对Eclipse Debugger框架的扩展，实现一个测试模型的调试器。其中重点论述了标准调试模型设计，调试事件及调试命令处理机制，启动框架，断点管理，栈帧和变量管理等内容。最后本文针对网络书店模拟被测系统演示了测试模型调试工具的一系列应用，说明了测试系统模型调试器有利于测试系统逻辑缺陷的定位和修正。