Abstract
Error detection and correction in the design phase can reduce total costs and time to market. Yet, testing of design models usually consists of walk-throughs and inspections both of which lack the rigor of systematic testing. Test adequacy criteria for UML models help define necessary objectives during the process of test creation. These test criteria require coverage of various parts of UML models, such as structural (Class Diagram) and behavioral (Sequence Diagram) views. Test criteria are specific to a particular UML view. Test cases on the other hand should cover parts of multiple views. To understand testing needs better, it is useful to be able to observe the effect of tests on both Class Diagrams and Sequence Diagrams. We propose a new graph that encapsulates the many paths that exist between objects via their method calls as a directed acyclic graph (OMDAG). We also introduce the object method execution table (OMET) that captures both execution sequence and associated attribute values by merging the UML views. The merging process is defined in an algorithm that generates and executes tests.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abdurazik, A., Offutt, J.: Using UML Collaboration Diagrams for Static Checking and Test Generation. In: 3rd International Conference on the UML, October 2000, pp. 383–395 (2000)
Andrews, A., France, R., Ghosh, S., Craig, G.: Test Adequacy Criteria for UML Design Models. Journal of Software Testing, Verification, and Reliability 13(2), 95–127 (2003)
Binder, R.: Testing Object-Oriented Systems Models, Patterns, and Tools. Object Technology Series. Addison Wesley, Reading (1999)
Briand, L., Labiche, Y.: A UML-based Approach to System Testing. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 194–208. Springer, Heidelberg (2001)
Fowler, M., Scott, K.: UML Distilled, 2nd edn. Addison-Wesley, Reading (2000)
Larman, C.: Applying UML and Patterns. Prentice Hall, Englewood Cliffs (2002)
Object Management Group, UML 2.0 Draft Specification (2003), http://www.omg.org/uml
Offutt, J., Abdurazik, A.: Generating Test from UML Specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 416–429. Springer, Heidelberg (1999)
Schafer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science, vol. 47, pp. 1–13 (2001)
Scheetz, M., von Mayrhauser, A., France, R., Dahlman, E., Howe, A.E.: Generating Test Cases from an OO Model with an AI Planning System. In: ISSRE 1999, pp. 250–259 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pilskalns, O., Andrews, A., Ghosh, S., France, R. (2003). Rigorous Testing by Merging Structural and Behavioral UML Representations. In: Stevens, P., Whittle, J., Booch, G. (eds) «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications. UML 2003. Lecture Notes in Computer Science, vol 2863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45221-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-45221-8_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20243-1
Online ISBN: 978-3-540-45221-8
eBook Packages: Springer Book Archive