______________就是泛指程序在运行中丧失了全部或部分功能、出现偏离预期的正常状态的事件。
查看答案
______________是故障树分析中最为关键的一步。
______________将形式化方法的规范、设计和验证与可靠性认证的统计测试有效地结合起来。
在确定参与者和初步的用例之后,就可以建立______________,对参与者与用例之间、各用例之间的关系进行描述。
概念模型与顶层架构都是在系统的较高抽象层次上进行建模,______________主要针对问题域中的对象进行描述,而______________可以依据概念模型进行设计。