在好例子网,分享、交流、成长!
您当前所在位置:首页Others 开发实例Clojure → Complete_Verification_and_Validation_for_DO-178C

Complete_Verification_and_Validation_for_DO-178C

Clojure

下载此实例
  • 开发语言:Others
  • 实例大小:1.20M
  • 下载次数:1
  • 浏览次数:34
  • 发布时间:2023-02-24
  • 实例类别:Clojure
  • 发 布 人:以太猪
  • 文件格式:.pdf
  • 所需积分:1
 相关标签: Validation Complete and COM IDA

实例介绍

【实例简介】Complete_Verification_and_Validation_for_DO-178C
【实例截图】
软件功能安全 

Verification and Validation

DO-178C

Vector

from clipboard

【核心代码】
Table of Contents
1 Purpose ....................................................................................................................................................................................... 3
2 What is the DO-178C Standard .................................................................................................................................................. 3
3 Testing Approaches for DO-178C .............................................................................................................................................. 3
4 Addressing the Requirements for Software Testing ................................................................................................................ 4
4.1 Section 6.4.1 – Test Environment .............................................................................................................................................. 4
4.1.1 Low Level Testing Environment ................................................................................................................................................ 4
4.1.2 Software Integration Testing Test Environment ....................................................................................................................... 5
4.1.3 Hardware/Software Integration Testing .................................................................................................................................... 6
4.1.4 Merging Test Environment Results Together ........................................................................................................................... 7
4.2 Section 6.4.2 – Requirements Based Test Selection ................................................................................................................ 8
4.2.1 Section 6.4.2.1 – Normal Range Test Cases ............................................................................................................................. 8
4.2.2 Section 6.4.3 – Requirements Based Testing Methods ......................................................................................................... 10
4.2.3 Section 6.4.4 – Test Coverage Analysis .................................................................................................................................. 10
4.2.4 Section 6.4.4.d Data Coupling and Control Coupling ............................................................................................................ 14
4.2.5 Section 6.4.5 Reviews and Analyzes of Test Cases, Procedures, and Results ................................................................... 15
4.3 Section 6.5 Software Verification Process Traceability ......................................................................................................... 15
4.4 Section 6.6 Verification of Parameter Data Items ................................................................................................................... 16
5 Section 12 - Additional Considerations .................................................................................................................................. 16
5.1 Section 12.1.3 – Change of Application or Development Environment ................................................................................ 16
5.1.1 Target Processor or Compiler Changes ................................................................................................................................. 16
5.1.2 Section 12.2.1 Tool Qualification ............................................................................................................................................. 17
5.1.3 RTCA DO-330 Required Data Items ......................................................................................................................................... 17
6 Conclusion ................................................................................................................................................................................ 19
 Complete Verification and Validation for DO-178C
3
1 Purpose

网友评论

发表评论

(您的评论需要经过审核才能显示)

查看所有0条评论>>

小贴士

感谢您为本站写下的评论,您的评论对其它用户来说具有重要的参考价值,所以请认真填写。

  • 类似“顶”、“沙发”之类没有营养的文字,对勤劳贡献的楼主来说是令人沮丧的反馈信息。
  • 相信您也不想看到一排文字/表情墙,所以请不要反馈意义不大的重复字符,也请尽量不要纯表情的回复。
  • 提问之前请再仔细看一遍楼主的说明,或许是您遗漏了。
  • 请勿到处挖坑绊人、招贴广告。既占空间让人厌烦,又没人会搭理,于人于己都无利。

关于好例子网

本站旨在为广大IT学习爱好者提供一个非营利性互相学习交流分享平台。本站所有资源都可以被免费获取学习研究。本站资源来自网友分享,对搜索内容的合法性不具有预见性、识别性、控制性,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,平台无法对用户传输的作品、信息、内容的权属或合法性、安全性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论平台是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二与二十三条之规定,若资源存在侵权或相关问题请联系本站客服人员,点此联系我们。关于更多版权及免责申明参见 版权及免责申明

;
报警