（）是整个软件设计阶段的最终输出，将成为软件实现和测试活动的主要依据。

单项选择题净室软件工程的过程模型，是在代码增量积聚到系统的过程的同时，进行代码增量的（）。

A.验证
B.测试
C.统计质量验证
D.统计数量测试

单项选择题软件故障树分析就是在软件系统设计过程中，通过对（）的各种因素（包括硬件、软件、环境、人为因素等）进行分析，画出逻辑框图（即故障树）。

A.可能造成系统退出
B.可能造成系统跳转
C.可能造成系统故障
D.可能造成系统停止

单项选择题N-版本编程由N个（）程序和一个管理程序组成，其结果经相互比较（表决）后输出，这种比较或表决，可以采用多数决定、一致决定等方式。

A.实现不同功能的不同
B.实现相同功能的相同
C.实现不同功能的相同
D.实现相同功能的不同

单项选择题恢复块技术，认为程序是由若干个可以独立定义的块来构成，每个块都可以用一个根据同一需求说明设计的不同版本的备用块来（）。

A.替换
B.转换
C.恢复
D.返回

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

A.退出
B.转换
C.恢复
D.返回