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

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

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