Research of achiveing structural coverage analysis without compiler verification under DO-178B context
Jinsuo Ma, Guoqi Li · 2009
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 DO-178B, 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 traceability to replace compiler verification.