论文部分内容阅读
单元测试是功能安全温度变送器软件验证过程中的一个重要组成部分,以单元模块函数为分析对象,验证软件设计是否符合安全完整性等级要求。阐述了软件功能安全要求和功能安全温度变送器的单元测试要求,给出了相关测试策略。以相关安全功能模块为例,从静态分析和动态分析两个角度,分别论述了单元测试的原理、分析过程和结果。