A prototype system for the validation of Pascal programs

Gives an overview of a collaborative Alvey project to provide a UNIX-based environment in which Pascal programs can be analysed using a range of quality assessment tools. Integration of this tool set is achieved by linking the analysis and status information produced by each tool into a message handling system. An interactive program allows the validator to selectively view the analysis results. The system is intended for independent, post-development assessment of the quality of Pascal programs plus test data; however, most of the tools would also be helpful during the program development phase. The tools provide various types of static source text analysis and dynamic analysis using the given test data. Some initial results obtained from this validation system are described