05-01-2006, 05:43 PM
Gavin,
The validation certificates issued by BSI and NIST (when they were both in the compiler validation business) certified that the named compiler processed a particular set of tests in an acceptable way (ie, the 'error' tests resulted in a diagnostic being issued and the 'correct' were executed as they should be).
This then raises the question of who says the validation suite fully tests the requirements contained in the C Standard? One answer to that question is provided here: http://www.knosof.co.uk/whoguard.html
Gavin McCall Wrote:Answer: MISRA C Steering Team 5/1/06
This can be validated using various recognised test suites, to show that the compiler conforms to the language requirements of ISO C.
The validation certificates issued by BSI and NIST (when they were both in the compiler validation business) certified that the named compiler processed a particular set of tests in an acceptable way (ie, the 'error' tests resulted in a diagnostic being issued and the 'correct' were executed as they should be).
This then raises the question of who says the validation suite fully tests the requirements contained in the C Standard? One answer to that question is provided here: http://www.knosof.co.uk/whoguard.html
<r>Applications conformance testing: <URL url="http://www.knosof.co.uk/cbook">http://www.knosof.co.uk/cbook</URL></r>