基于UML的嵌入式软件功能安全和可靠性研究

摘要

为提高嵌入式软件的可靠性和安全性，本文提出一种从功能角度应用UML来对嵌入式软件进行建模、以满足软件需求分析和系统设计的规范化和层次化。针对基于协作图测试充分性问题以及基于状态机测试时系统状态合成复杂的问题，提出了采用层次化的建模方式分析系统软件结构。即从功能角度建立对象间交互的顺序图，建立对象的状态变迁的状态机，再分层次测试。在此基础上，根据一定的测试覆盖准则对HART智能变送器进行建模和测试，证明该方法确实能够提高嵌入式软件的功能安全和可靠性。