随着嵌入式产品在安全相关领域的应用的发展,人们逐渐认识到嵌入式软件可靠性和安全性的重要性。嵌入式软件可靠性和安全性的研究是一门涉及软件工程、软件测试、可靠性工程、嵌入式软件设计、通信技术的综合学科。目前随着航天、军工和核电事业的发展,软件可靠性和功能安全的研究正得到突飞猛进的发展。但目前对于嵌入式软件可靠性和安全性的研究还比较少,主要还集中在获得软件测试的失效数据和构建嵌入式软件可靠性模型,对嵌入式软件进行可靠性增长测试和可靠性验证测试。但是由于嵌入式软件的可靠性要求比较高,且代码量比较少,很难获得大量的软件失效数据。所以想要提高和验证嵌入式软件可靠性和安全性单单采用基于软件可靠性模型的可靠性增长测试和可靠性验证测试是不够的。可靠性和安全性的提高是伴随着合理的工程管理和充分的测试,必须覆盖嵌入式软件的实际使用情况。本文首先结合软件工程的思想和IEC 61508功能安全规范,根据IEC 61508功能安全规范给出的措施建议,选取适当的措施用于软件系统设计,采用半形式化方法的统一标准建模语言,和Rational Rose辅助系统设计工具,描述软件系统的结构,构建软件系统模型,以此描述软件规范,以提高嵌入式软件的可靠性和安全性。其次,为了解决半形式化的描述不能被运用于软件测试,提出采用可测性约束语言OCL约束嵌入式软件的系统模型,并根据MARKOV链算法,构建嵌入式软件的MARKOV链使用模型,在此基础上生成软件的测试用例。研究了对嵌入式软件的系统模型添加可测性描述,构建使用模型及其转移矩阵以及生成测试用例的方法。最后针对智能HART压力变送器的软件,采用UML建立软件系统的模型,然后这对变送功能和HART信息接收功能,构建这些用例的使用模型,并计算了HART信息接收用例的测试覆盖率以及提出产生测试用例的方法。