Ada conformity assessments

摘要

This paper presents the actual status of Ada Conformity Assessments after the transition of Ada Conformity Assessments from the Ada Joint Program Office to ISO. The principles of Ada Conformity Assessments according to the ISO/IEE Final Committee Draft 18009 are summarized and the commonalties and differences to the previous practices are discussed. In the main part of the work conformity assessments for Ada C, C++, and Java are compared. It is shown that the process as practiced with Ada is unique compared to other programming languages. This can be understood by looking at the special culture of the language Ada and its validation system. Both were sponsored by one single party (the US DoD) and not the IT industry. The paper concludes with an assessment and outlook on the future development on compiler conformity assessments in general.