Contents • Background • The goal of this study • Related concepts • Methods an Background
1. 评估的标准 （1） 追踪的计划者创建追踪的信息，不符合规定的可追踪性 （2） 追踪\
1. 术语 安全性（Safety）：风险可接受的状态 损害（harm）:人身伤害，财产损失或对环境
1. 系统开发和安全性分析 由图可以看到捕获安全性分析和系统开发的3个重要阶段：系统概念顶，构建故障树，分析造成系统危害的失效和
1.概述 可追踪性计划指的是可追踪软件制品类的规范和这些软件制品类之间允许的跟
安全性需求追踪模型 1. 实体 由上图我们可以分析出各个阶段存在的实体 关于假设和决策
1谓词逻辑语法 谓词逻辑是对命题逻辑的扩充，在其基础上引入了个体词、谓词、量词及函数
1追踪策略 可追踪性策略 - 为了确定可追踪性的利益相关者和系统要求，设计合适的
Copyright © 2005-2024 51CTO.COM 版权所有 京ICP证060544号
