Strohmeier, AlfredFofanov, VasiliyRybin, SergeyBarbey, Stéphane2005-09-202005-09-202005-09-20199810.1007/BFb0055003https://infoscience.epfl.ch/handle/20.500.14299/216891This paper describes the project Quality-for-ASIS, aiming at the development of an extensive testing facility for ASIS implementations. First the specific problems and requirements are presented. After a section about the basic concepts of ASIS and after a short introduction to testing, the designs and implementations for testing important subsets of ASIS are described. Finally, adequacy coverage statistics for a test set based on the ACVC compiler validation suite are provided.AdaTestingASISBlack-Box TestingSpecification-Based Testingtext::conference output::conference proceedings::conference paper