由于国家经济和大众生活中大量引入了嵌入式计算机系统，其中的安全关键软件是否可信赖已成为此类系统能否正常运转的关键因素。嵌入式安全关键软件的测试和验证是保证嵌入式安全关键软件正确性和提高嵌入式安全关键软件安全性的最基本和最重要的手段。本文在介绍了软件测试和安全关键软件测试的联系和区别，并引申到嵌入式安全关键软件测试后，着重分析和研究了故障注入技术和基于接口参数的测试方法在安全关键软件测试中的应用和几种常用的测试质量度量方法。嵌入式安全关键软件仿真测试平台是一个基于ARM的计算机模拟测试系统，是进行嵌入式关键软件系统测试的有力工具。通过分析嵌入式安全关键软件仿真测试平台的功能和体系结构，本文详细描述了嵌入式系统模拟器的结构组成和实现方式，并深入讨论了在测试过程中扮演重要角色的测试管理器的各个功能模块和具体实现。在嵌入式软件仿真测试平台的实现过程中，解决了多个关键技术问题，本文以此平台为例子，深入阐述了包括程序插桩技术、自动测试技术和软件故障注入技术等关键技术的具体实现。论文研究成果已在铁路道岔状态监测系统测试中得到了部分验证，并取得了良好的应用效果。最后，本文在总结现有成果的基础上，展望有待完善和深入研究的方向，包括更多嵌入式体系架构的模拟研究，更多测试方法的研究和实现，完善平台配套工具链的功能等。