Supporting system maintenance with automatic decomposition schemes
- 1 January 1992
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Automatic decomposition schemes at the procedural implementation level can be useful in all three phases of system maintenance, namely comprehension, testing, and debugging. A software system-comprising multiple functional, data storage, and control modules-can be decomposed along the three dimensions of partition, abstraction, and projection. Dependence relations have been used for automatic program decompositions at a single-module level. Dependence relations, defined for multiple module data-driven systems, are used in generating system-level projections. This is accomplished by visualizing a multimodule system as a structured program implemented in a system description language. The data storage modules are represented as variables, the functional modules (implemented in a procedural language) are represented as generalized assignment statements, and control modules are represented as control flow primitives.<>Keywords
This publication has 20 references indexed in Scilit:
- A formal model of program dependences and its implications for software testing, debugging, and maintenanceIEEE Transactions on Software Engineering, 1990
- Software evolution through rapid prototypingComputer, 1989
- The Programmer's Apprentice: a research overviewComputer, 1988
- Eliminating go to's while preserving program structureJournal of the ACM, 1988
- A prototyping language for real-time softwareIEEE Transactions on Software Engineering, 1988
- An automated software design assistantIEEE Transactions on Software Engineering, 1988
- The State of Software MaintenanceIEEE Transactions on Software Engineering, 1987
- Programming in the largeIEEE Transactions on Software Engineering, 1986
- Delocalized Plans and Program ComprehensionIEEE Software, 1986
- Programmers use slices when debuggingCommunications of the ACM, 1982