Towards Fully Automated Test Program Generation from Closed Specifications of Classes

No Thumbnail Available
Date
2000-03-01T00:00:00Z
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Among various specification languages, ADL (Assertion Definition Language) and its successor, ADL2, are best known for supporting automated generation of test programs from specifications. Being an opened specification system, ADL requires the user to provide additional supporting functions to define the semantics of a moderately complex function or module. Supporting functions are also needed for ADL to generate test programs for the function or module. This paper proposes a Closed Class Specification (CCS) system for specifying the behavior of a class instead of a function. With CCS, every class method is defined in terms of other methods which are, in turn, defined in their own class specifications. Given a closed specification, it is possible to automatically generate test program for a class without the need of additional supporting functions. This paper describes the framework of CCS's test program generator and illustrates examples of how test programs are generated.
Description
Keywords
Citation