机构名称：
¥ 13.0
14. 赞助机构代码 AIR-120 15. 补充说明 美国联邦航空管理局机场和飞机安全 COTR 是 Charles Kilgore。 16. 摘要 软件验证工具评估研究 (SVTAS) 是一项研究工作，旨在调查有效评估结构覆盖分析工具的标准，这些工具用于旨在符合 RTCA/DO-178B“机载系统和设备中的软件考虑因素”的项目。制定这些标准的目的是提高这些工具资格认证过程的准确性和一致性。SVTAS 包括对市售结构覆盖分析工具的调查、文献搜索以审查与结构覆盖和工具资格认证相关的政策和指导，以及对结构覆盖定义进行分析。基于这些发现，提出了一种测试套件作为提高工具资格认证标准应用的客观性和统一性的方法。定义了完整测试套件的目标，并开发了原型测试套件。原型测试套件在三种不同的结构覆盖分析工具上运行，以评估测试套件方法的有效性。原型测试套件识别出了三种覆盖率分析工具中的异常，证明了测试套件有助于评估工具是否符合 DO-178B 要求。 17. 关键词 结构覆盖率、DO-178B、工具资格、修改条件决策覆盖率
软件验证工具评估研究
主要关键词
相关文件推荐
