Talk:Ada Conformity Assessment Test Suite

This article has not yet been rated on Wikipedia's content assessment scale.
It is of interest to the following WikiProjects:

Please add the quality rating to the {{WikiProject banner shell}} template instead of this project banner. See WP:PIQA for details.

Computing Stub‑class Low‑importance

	This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing
Stub	This article has been rated as Stub-class on Wikipedia's content assessment scale.
Low	This article has been rated as Low-importance on the project's importance scale.

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