Abstract
Aslantest Testplan
by: Jeffrey G. Douglas
Abstract:
This following document outlines the testing plan for the Aslantest system,which is a symbolic execution tool for the formal specification languageAslan. Specific approaches are outlined for unit, integration, system andregression testing and some specific test cases are provided.
Keywords:
Symbolic Execution, testing, software tools, Formal specification.
Date:
July 19, 1993
Document: 1993-13
