Jump to content

Talk:Ada Conformity Assessment Test Suite

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Derek farn (talk | contribs) at 15:31, 20 February 2006 (What does passing a test suite mean?). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

What does passing a test suite mean?

It is incorrect to say that ACATS ensures a compiler conforms to a language standard. When BSI were in the compiler validation business the validations certificates they issued said "This is to certify that the language processor identified below was found to contain no errors when tested with the identified validation suite." No mention of conforming to a language standard there. I suspect the Ada validation certificates say something similar (I don't have one to hand).

How do we know that a validation suite correctly implements the requirements contained in a language standard? One answer is here

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Ada_Conformity_Assessment_Test_Suite&oldid=40438734"