面向实时通信协议的结构化测试用例自动生成方法研究

本课题基于实时计算树逻辑，对面向实时通信协议的自动化测试中的多个关键问题进行研究。主要包括1）实时通信协议测试用例形式化建模问题：研究如何对具有结构化特征的实时通信协议测试用例进行形式化建模，而不是对协议本身建模，以降低测试自动化的实施难度；2）实时通信协议测试用例自动化生成问题：研究如何根据上述形式化模型，逐步构造出满足该模型描述的测试用例，以提高自动化测试的效率和质量；3）测试充分性评估准则：研究如何根据上述形式化模型，构造出恰好足够的测试用例，并用以指导测试用例的重新自动生成，以降低测试冗余；4）结合课题组现有成果，研制面向实时通信协议的自动化测试原型工具，选取典型实时通信协议进行实验并根据结果对方法进行完善。本课题不仅对于实时通信协议的可靠性研究有理论价值，而且对提高具有结构化测试输入的大型系统的测试效率和测试质量有重要作用。

本课题分析协议结构化测试用例的特征，提出结构化测试用例形式化建模方法，分析利用分析事件处理函数，提出了一种基于事件处理函数的建模方法——事件处理函数图(Event-Handler Graph， 简称EHG)模型；提出了一种基于反馈的测试用例生成方法，将该方法应用于GUI类软件测试，并通过实验验证了方法的有效性。本课题的研究成果对提高具有结构化测试输入的大型系统的测试效率和测试质量有重要作用，相关成果应用在了几个重要科技专项中。