@inproceedings{f09800c87fc74b0c82a4fce9feb0d6d0,
title = "Research of achiveing structural coverage analysis without compiler verification under DO-178B context",
abstract = "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.",
keywords = "Civilian aviation, Compiler verification, DO-178B, Object code and source code traceability",
author = "Jinsuo Ma and Guoqi Li",
year = "2009",
doi = "10.1109/ICRMS.2009.5270084",
language = "英语",
isbn = "9781424449057",
series = "Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009",
pages = "770--773",
booktitle = "Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009",
note = "2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009 ; Conference date: 20-07-2009 Through 24-07-2009",
}