填空题硬件避错中的三防主要是指:()、()、()。
填空题软件安全关键模块的选择结构应使用条件标志的危险侧编码作为()。
填空题软件系统的故障—安全保障技术以保证程序的正确性为前提,如果软件编程出现错误,将导致()。
填空题基于单机闭环自诊断的故障—安全计算机构造方法的核心是()。
填空题N版本程序设计的关键在于表决,一般说来,表决本身应尽可能(),以便使其本身产生设计故障的可能性降为最小。