目前,嵌入式系统已广泛地应用于控制系统部件和智能仪表中,在控制系统部件对嵌入式系统依赖性增强的同时,对嵌入式软件质量的要求也越来越高,尤其是可靠性的要求。为此,IEC61508等功能安全标准通过严格规定软件安全生命周期中各阶段应采用的技术和措施,以期提高软件的可靠性,保证软件质量。本文围绕高可靠性设计与验证技术研究,从IEC61508-3软件开发V模型出发,根据安全完整性等级SIL 2的需要,针对V模型的模块层,定义了编码标准,实现了代码静态分析,并通过对软件模块测试的功能需求的分析,提出了嵌入式软件模块代码测试框架的架构。针对代码测试框架的组成,阐明了程序信息提取器、代码生成器、测试函数库和测试报告生成器的理论基础和实现细节。以Lex&Yacc词法语法分析技术为基础的程序信息提取器通过建立被测模块的抽象语法树模型,提取出模块的接口信息,实现对源代码的自动分析。针对目前商用测试工具测试代码量大和中小型嵌入式系统内部资源有限的现实,在满足测试需求的前提下,简化测试函数的实现,减少对被测系统资源的占用。基于XML/XSLT技术的代码生成器和测试报告生成器可自动生成测试用例源代码和XML格式的测试报告。最后,以某智能仪表为背景给出了代码静态分析和模块测试的实现过程。