填空题 软件安全关键模块的选择结构应使用条件标志的危险侧编码作为（）。

填空题 软件系统的故障—安全保障技术以保证程序的正确性为前提，如果软件编程出现错误，将导致（）。

填空题 基于单机闭环自诊断的故障—安全计算机构造方法的核心是（）。