软件避错设计原理在军用软件开发中的应用

软件可靠性一直是武器系统软件开发和使用过程中重点考虑的关键课题之一。日本的日野克重提出了简单、同型、对称、层次、线型、易证和安全七个软件避错设计原理。本文从提高军用软件设计质量的目的,简要论述这些原理在防空导弹武器系统软件设计中的具体应用。