Quality-for-ASIS: A Portable Testing Facility for ASIS

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.


Editor(s):
Asplund, Lars
Published in:
International Conference on Reliable Software Technologies - Ada-Europe'98, Uppsala, Sweden, June 2-8 1998, 163-175
Year:
1998
Publisher:
Springer Verlag
Keywords:
Note:
Also available as Technical Report EPFL-DI No 98/268
Laboratories:




 Record created 2005-09-20, last modified 2018-01-27

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)