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

可信软件指软件系统的运行行为及其结果总是符合人们的预期，且在受到干扰（包括操作错误、环境影响、外部攻击等）时，...

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

基于属性的体系结构设计方法是对通常体系结构风格描述的一种（），用于获取结构化分析层次上的结构和分析技巧，显式地...

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

基于目标图推理的体系结构设计方法把（）为设计目标，功能需求和非功能需求皆被表达为要达到的目标，特别是非功能需求...

单项选择题基于目标图推理的体系结构设计方法把（）为设计目标，功能需求和非功能需求皆被表达为要达到的目标，特别是非功能需求被表达为“软”目标。