Testing: Achievements and Frustrations

An overview of some of the current program validation techniques is given. Though a variety of such techniques exist, it is now commonly agreed that program testing is an essential part of the program development process. Two testing methodologies, functional and structural, are described and a case made for combining both methodologies. Finally, a system that aids in structural testing is described.