Towards Understanding the DO-178C / ED-12C Assurance Case

[摘要] This paper describes initial work towards building an explicit assurance case for DO-178C / ED-12C. Two specific questions are explored: (1) What are some of the assumptions upon which the guidance in the document relies, and (2) What claims are made concerning test coverage analysis?

[发布日期] 2012-10-15

[学科分类] 软件