A prototype of an integrated testing tool (INTESTER) is developed for the purpose of enhancing software reliability. The design of INTESTER is based on the syntax tree with attribute grammars. The syntax tree is used to integrate aspects of testing techniques such as static analysis, symbolic evaluation, and dynamic testing. The semantics of each testing technique is analyzed by the syntax tree with attribute grammars.
INTESTER has been implemented on VAX 11/780 running under the 4.2 BSD UNIX system. The parsing tree of INTESTER was generated using Stanford Parser Generator System. As a whole INTESTER consists of 250 modules and approximately 5,000 Pascal statements.
