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

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

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