当前,嵌入式软件的复杂度越来越高,可靠性、安全性和实时性要求也越来越严格,但软件产品上市的时间要求却越来越短。为满足这些严苛的要求,高效的嵌入式软件测试是必要的,包括测试用例的自动选择、生成、优化、执行与评估等。然而,目前采用的传统嵌入式软件测试难以达到高效的目的,因为其测试用例是随着开发过程逐渐被编写出的,即“分析一部分需求,设计一部分过程,编写一部分代码,然后能测多少测多少”。因此,传统嵌入式软件测试存在测试滞后、耗时长、成本高、测试不完备、难以重用、不够清晰直观且难响应软件变化等固有缺点。针对嵌入式软件快速发展的实际情况和传统嵌入式软件测试所面临的问题,MDA(模型驱动架构)的重要分支MBT(基于模型的测试)给出了较好的解决方案。MBT以测试模型为中心,能基于模型完成测试工作,具有早期介入测试、支持不同粒度的测试、易于重用、形象直观、能及时响应软件变化、能基于测试用例生成算法和测试覆盖准则生成有针对性的测试用例集合等优点。但目前国内外关于MBT的研究大都是局限于某个角度进行的,如提出一种新的基于FSM的测试用例生成方法、基于UML的某种图形或某几种图形生成测试用例等。本文从全局出发,系统地提出了一套较完备的覆盖嵌入式软件开发全过程的嵌入式软件测试图形体系,在嵌入式软件开发过程中综合运用了MBT技术、图形建模技术和测试用例生成技术。论文最终开发了一个嵌入式软件的图形化测试用例生成系统,它集系统资源管理、可视化图形建模、模型验证、测试项规划、测试用例生成、测试项与测试用例管理、测试文档生成等功能于一体。对比实验表明,与传统嵌入式软件测试相比,使用该系统能减轻测试人员的工作负担,降低测试的成本和风险,提高嵌入式软件测试的效率和质量。