基于形式化方法的实时系统互操作性测试研究

在未来的大型分布式系统和计算机通信系统中，实时系统是其中最重要最基本的组成元素。实时系统之间的通信问题是保证分布式系统和通讯系统正常运行最基本最重要的问题。对于实时系统的互操作性测试研究是了解实时系统通信问题最直接最有效的方法，但对它的研究仅仅处于起步阶段。因此，对于实时系统的互操作性测试研究不仅重要而且必需。.本项目的研究目标是利用形式化方法研究什么是实时系统互操作性测试、如何实现、如何提供服务以及什么是实时系统互操作性测试的关键问题这四个科学问题。.整个理论框架的出发点是实时系统的形式化描述模型，在此基础上，研究以下几个相关的关键技术：测试的理论基础，测试架构和测试方法，测试生成技术及测试覆盖评价，测试集描述法，基于该测试集描述法的测试执行技术。