● 摘要
随着嵌入式软件在军品和民品中的广泛应用，实时嵌入式软件的测试已经成为软件测试领域的一个研究热点。国外对嵌入式软件测试技术的研究起步较早，并取得了一定的成果，而国内目前的研究和国外相比差距很大。近年来自动化测试技术发展迅速，因此，把自动化测试技术应用到嵌入式软件测试中来成了必然趋势，这也是嵌入式软件测试走向成熟化和标准化的一条必经之路。 尽管UML提供了强大的描述能力，深受工业界的欢迎，但是在对嵌入式软件测试的建模存在一些缺陷，比如对于嵌入式软件的实时性及其他特性缺乏有力的描述手段。 为了解决这些问题，本文提出了一种扩展UML的方案来扩充UML的描述能力，从静态和动态两个方面对嵌入式软件的静态结构和功能行为进行全面建模描述，并最终从基于UML的模型中提取测试场景和测试数据，来自动生成测试用例。 本文对生成测试场景和测试用例的算法做了初步研究，并且给出了一种场景分析策略和覆盖准则，保证了生成测试用例的质量和效率。 文章的最后通过一个某航空惯导系统的实际工程项目作为实例，来阐述本文的主要方法和思路，并验证了该方法的可行性和正确性。