Presents the design of the software system ADTEST (ADa TESTing), for generating test data
for programs developed in Ada83. The key feature of this system is that the problem of test …

This paper describes techniques used by Test Specification and Determination Tool (TSDT),
an experimental prototype for analysis and testing of critical applications written in Ada. Two …

Software validation through testing will continue to be a very important tool for ensuring
correctness of large scale software systems. Automation of testing tools can greatly enhance …

Software testing is very labor intensive and expensive and accounts for a significant portion
of software system development cost. If the testing process could be automated, the cost of …

VIPS: A Visual Debugger Page 1 VIPS: A Visual Debugger |w~C Sadahiro Isoda, Takao
Shimomura, and Yuji Ono Electrical Communications Laboratories, NITT TestingAd prgaf …

Test data generation in program testing is the process of identifying a set of test data that
satisfies a selected testing criterion, such as, statement coverage or branch coverage. The …

A number of approaches have been proposed to automatically generate test data to traverse
a given path in a program. We present a program execution based approach to generate …

In order to reduce the high cost of manual software testing and at the same time to increase
the reliability of the testing processes researchers and practitioners have tried to automate it …

This paper describes a specification-based black-box technique for testing program units.
The main contribution is the method that we have developed to derive test conditions, which …

The machine production of programs for testing certain aspects of programming products
has been achieved. The system has been successfully used on a number of products to …