Loading...
conference paper
Quality-for-ASIS: A Portable Testing Facility for ASIS
Asplund, Lars
1998
Reliable Software Technologies — Ada-Europe
This 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.
Loading...
Name
strohmeier-qualityasis98.ps
Access type
openaccess
Size
137.42 KB
Format
Postscript
Checksum (MD5)
425d76ee24c32d2bec05b7d7560f598a