Research of Achiveing Structural Coverage Analysis Without Compiler Verification Under DO-178B Contezt
under the circumstance of localization for civil aviation pushed by Chinese government,how to understand and comply with the civilian aviation regulations especially Software assurance standard (DO-178B) is a big challenge for major avionics Software engineers.Inside DO178B,verification is the emphasis and in verification process structure coverage analysis is the biggest issue.A realistic problem is that verifying an industrial compiler is almost impossible at present This paper presents a 2-step solution to achieve the structure coverage analysis and outlines a practical method to implement the object code and source code traccability to replace compiler verification.
Civilian Aviation Compiler verification Object code and source code traceability DO-178B
Jinsuo MA Guoqi Li
Shanghai Representative Office Esterel Technologies Shanghai,China Department of System Engineering of Engineering Technology Beihang University Beijing,China
国际会议
2009 8th International Conference on Reliability,Maintainability and Safety(第八届中国国际可靠性、维修性、安全性会议)
成都
英文
770-773
2009-08-24（万方平台首次上网日期，不代表论文的发表时间）