Premium
Implementing a compiler‐based test tool
Author(s) -
McMullin Paul R.,
Gan John D.,
Weiser Mark D.
Publication year - 1982
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380121010
Subject(s) - computer science , compiler , programming language , oracle , consistency (knowledge bases) , compiler correctness , statement (logic) , software engineering , artificial intelligence , political science , law
DAISTS (Data Abstraction Implementation, Specification and Testing System) 1 is a compiler tool‐base for program development. The compiler combines an automated ‘oracle’, which checks consistency conditions derived from algebraic specifications of modules, with run‐time routines that judge the quality of a user's test data according to statement and expression coverage criteria. This paper describes some of the implementation techniques used in DAISTS.