Aslantest Testplan

Report ID: 
1993-13
Authors: 
Jeffrey G. Douglas
Date: 
1993-07-01 05:00:00

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

File 1993-13.ps