TY - JOUR
T1 - Monitoring compliance of a software system with its high-level design models
AU - Sefika, Mohlalefi
AU - Sane, Aamod
AU - Campbell, R H
PY - 1995
Y1 - 1995
N2 - As a complex software system evolves, its implementation tends to diverge from the intended or documented design models. Such undesirable deviation makes the system hard to understand, modify, and maintain. This paper presents a hybrid computer-assisted approach for confirming that the implementation of a system maintains its expected design models and rules. Our approach closely integrates logic-based static analysis and dynamic visualization, providing multiple code views and perspectives. We show that the hybrid technique helps determine design-implementation congruence at various levels of abstraction: concrete rules like coding guidelines, architectural models like design patterns[7] or connectors[26], and subjective design principles like low coupling and high cohesion. The utility of our approach has been demonstrated in the development of μChoices, a new multimedia operating system which inherits many design decisions and guidelines learned from experience in the construction and maintenance of its predecessor, Choices.
AB - As a complex software system evolves, its implementation tends to diverge from the intended or documented design models. Such undesirable deviation makes the system hard to understand, modify, and maintain. This paper presents a hybrid computer-assisted approach for confirming that the implementation of a system maintains its expected design models and rules. Our approach closely integrates logic-based static analysis and dynamic visualization, providing multiple code views and perspectives. We show that the hybrid technique helps determine design-implementation congruence at various levels of abstraction: concrete rules like coding guidelines, architectural models like design patterns[7] or connectors[26], and subjective design principles like low coupling and high cohesion. The utility of our approach has been demonstrated in the development of μChoices, a new multimedia operating system which inherits many design decisions and guidelines learned from experience in the construction and maintenance of its predecessor, Choices.
UR - http://www.scopus.com/inward/record.url?scp=0029520887&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0029520887&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:0029520887
SP - 387
EP - 396
JO - Proceedings - International Conference on Software Engineering
JF - Proceedings - International Conference on Software Engineering
SN - 0270-5257
ER -