Computer Science – Software Engineering
Scientific paper
2000-11-13
Computer Science
Software Engineering
In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munic
Scientific paper
Design of large software systems requires rigorous application of software engineering methods covering all phases of the software process. Debugging during the early design phases is extremely important, because late bug-fixes are expensive. In this paper, we describe an approach which facilitates debugging of UML requirements and designs. The Unified Modeling Language (UML) is a set of notations for object-orient design of a software system. We have developed an algorithm which translates requirement specifications in the form of annotated sequence diagrams into structured statecharts. This algorithm detects conflicts between sequence diagrams and inconsistencies in the domain knowledge. After synthesizing statecharts from sequence diagrams, these statecharts usually are subject to manual modification and refinement. By using the ``backward'' direction of our synthesis algorithm, we are able to map modifications made to the statechart back into the requirements (sequence diagrams) and check for conflicts there. Fed back to the user conflicts detected by our algorithm are the basis for deductive-based debugging of requirements and domain theory in very early development stages. Our approach allows to generate explanations on why there is a conflict and which parts of the specifications are affected.
No associations
LandOfFree
Automatic Debugging Support for UML Designs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Automatic Debugging Support for UML Designs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic Debugging Support for UML Designs will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-351061