单项选择题 软件容错设计，是使得软件能发现失效危险并从临失效状态（）的软件设计技术，有两种主要的软件容错设计方法，恢复块和N-版本编程。

单项选择题 可信软件指软件系统的运行行为及其结果总是符合人们的预期，且在受到干扰（包括操作错误、环境影响、外部攻击等）时，仍能提供（）服务。

单项选择题 基于属性的体系结构设计方法是对通常体系结构风格描述的一种（），用于获取结构化分析层次上的结构和分析技巧，显式地把推理框架（定性或定量）与体系结构风格关联起来。