Report ID
1993-13
Report Authors
Jeffrey G. Douglas
Report Date
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.
Document
1993-13.ps378.18 KB