Step-Wise Debugging.

Abstract : Programs written using step-wise refinement are meant to be understood at levels of an hierarchy, but only a complete program can be executed. This paper considers the debugging of such programs in the manner they are written: top-down, each level not depending on execution of the levels below. Step-wise debugging also applies to the testing of multiple-process systems, and to the integration testing of any software. It allows the debugging of incomplete software, and when all modules are available, it structures debugging to follow the conceptual organization of the software. (Author)