Implementation of a test-case generation system

In software production, much time and effort is spent in testing software modules once they have been written. To increase the reliability of a software module, it has to be tested to the extent that each and every executable statement is executed at least once during the test. But the task of manually generating test cases to satisfy this criterion is extremely tedious and time consuming. In this thesis, a method is presented for generating a set of test cases that execute each instruction in FORTRAN software modules at least once. The algorithms have been implemented in FORTRAN and tested for their effectiveness. The result is a computer-aided test-case generation system that can be used to greatly speed up the process of test-case generation.