Browsing by Author "Siau Cheng Khoo"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Towards Fully Automated Test Program Generation from Closed Specifications of Classes
    (2000-03-01T00:00:00Z) Wee Kheng LEOW; Siau Cheng Khoo
    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.