Software testing is a crucial step in any software engineering development project. There are two general approaches to software engineering testing. These are : white-box testing and black-box testing. The objective of this thesis is to study program testing techniques available and then design and implement one of these techniques which is called Basis Path Testing. This study will aid programmers to provide the required data that ensure the execution of ail program statements and hence meeting all program specifications and requirements for a certain application. The implemented system generates paths on a module by modular basis, this will reduce the complexity of the testing program and increase efficiency of execution. The system was tested on samples of PASCAL programs and has shown that a set of paths can be recovered to test all program statements. The system is implemented on an IBM PC compatible, with Intel 80486 processor, Dos version 6.02, using turbo PASCAL version 7.