Post-maintenance testing based on path change analysis

A post-maintenance testing strategy based on path-change analysis is presented. This analysis is based on an underlying algebraic representation of the design and/or code of the program to be tested, and is characterized by the ease with which the modified, cancelled, and new paths produced by maintenance operations are identified by elementary algebraic operations. The methodologies and techniques illustrated, and the tools supporting them, are part of the post-maintenance testing subsystem of an integrated maintenance environment.>