机构名称：
¥ 15.0
16.摘要 本研究的目的是确定评估标准，使开发人员和认证机构能够从系统和软件安全的角度评估特定的安全关键型实时软件开发工具。本报告根据当前的航空系统认证指南阐明了软件开发工具的前景。研究工作朝两个方向进行：(1) 收集有关工具资格认证工作的数据，以检查现有指南未来可能出现的修改；(2) 通过确定工具类别、功能、关注点、因素和评估方法来创建软件开发工具评估分类法。问题陈述有四个部分：(1) 行业观点、(2) 资格认证、(3) 质量评估和 (4) 工具评估分类法。从行业收集的数据影响了评估过程和开发工具实践的建议。描述了用于评估工具的选定方法。报告介绍了研究过程中确定的不同类别的工具。此分类仅限于 DO-178B 指导的研究范围。最后，报告定义了工具评估分类法的结构和组织。
安全关键软件开发工具评估...
主要关键词
相关文件推荐
