● 摘要
近几年来嵌入式软件发展迅速，已经被广泛应用于工业、电子、航空航天等领域。这些领域对嵌入式软件有很高的可靠性要求，因为这些软件一旦失效，造成的后果往往非常严重,甚至会引起重大经济损失和人员伤亡。因此嵌入式软件测试得到了人们越来越多的重视。许多嵌入式软件测试平台也应运而生。在这些测试平台中，由于嵌入式软件具有实时性、反应性和嵌入性等特性，而且多数情况下无法用实际的交联环境对软件进行大量的测试，因此常采用模型来代替实际的交联环境。但是目前的仿真模型的封装性、扩展性和可控制性都有很大的不足。 为了解决这些问题，本文主要研究如何将状态机和仿真模型结合起来构建状态机模型以及为状态机模型提供执行环境的测试量子框架。 面向嵌入式软件测试的状态机模型涉及到嵌入式软件测试、仿真测试环境、状态机理论等多个领域，在对上述领域特点及有关技术、方法分析、研究的基础上，本文提出了面向嵌入式软件测试的状态机模型，通过对嵌入式软件测试中模型状态的总结，结合状态机模型结构的特性，从而确立了状态机模型的体系结构框架，然后对状态机模型的实现技术、转换模式以及控制原语进行了相应的研究。 同时为了能够使得多个状态机模型更好地共享服务，并且增强整个测试代码的移植性，本文对基于状态机模型的测试量子框架进行了研究。提出了测试量子框架的结构，并对部分关键技术进行了探讨。 最后以一个典型的航电设备为目标系统，建立了其交联环境的状态机模型，验证了本论文的研究内容与部分关键技术，证明了其可行性和有效性。