Abstract
This paper discusses a model-based approach to testing as a vital part of software development. It argues that an approach using models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development as well as quality and reusability of results. Then test case modeling is examined in depth and related to an evolutionary approach to model transformation. A number of test patterns is proposed that have proven helpful to the design of testable object-oriented systems. In contrast to other approaches, this approach uses explicit models for test cases instead of trying to derive (many) test cases from a single model.
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
Abraham-Mumm, E., de Boer, F.S., de Roever, W.P., Steffen, M.: A Tool supported Proof System for Mutlithreaded Java. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 1–32. Springer, Heidelberg (2003)
Agile Manifesto (2003), http://www.agilemanifesto.org/
Beck, K.: Extreme Programming explained. Addison-Wesley, Reading (1999)
Beck, K.: Aim, Fire (Column on the Test-First Approach). IEEE Software 18(5), 87–89 (2001)
Beck, K., Gamma, E.: JUnit: A Cook’s Tour, JavaReport (August 1999)
Binder, R.: Testing Object-Oriented Systems. Models, Patterns, and Tools. 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)
Cockburn, A.: Agile Software Development. Addison-Wesley, Reading (2002)
Fowler, M.: Refactoring. Addison-Wesley, Reading (1999)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1994)
Jacobs, B., Kiniry, J., Warnier, M.: Java Program Verification Challenges. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 202–219. Springer, Heidelberg (2003)
Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 262–284. Springer, Heidelberg (2003)
Link, J., Fröhlich, P.: Unit Tests mit Java. Der Test-First-Ansatz. dpunkt.verlag, Heidelberg (2002)
Myers, G.: The Art of Software Testing. John Wiley & Sons, New York (1979)
Opdyke, W., Johnson, R.: Creating Abstract Superclasses by Refactoring. Technical Report. Dept. of Computer Science, University of Illinois and AT&T Bell Laboratories (1993)
OMG. Model Driven Architecture (MDA). Technical Report OMG Document ormsc/2001-07-01, Object Management Group (2001)
OMG - Object Management Group. Unified Modeling Language Specification. V1.5 (2002)
Philipps, J., Rumpe, B.: Refactoring of Programs and Specifications. In: Kilov, H., Baclawski, K. (eds.) Practical foundations of business and system specifications, pp. 281–297. Kluwer Academic Publishers, Dordrecht (2003)
Rumpe, B.: Executable Modeling with UML. A Vision or a Nightmare? In: Issues & Trends of Information Technology Management in Contemporary Associations, Seattle, pp. 697–701. Idea Group Publishing, Hershey (2002)
Rumpe, B.: Agiles Modellieren mit der UML. Habilitation Thesis (2003) (to appear)
Rumpe, B.: E-Business Experiences with Online Auctions. In: Mariga, J. (ed.) Managing ECommerce and Mobile Computing Technologies, Idea Group Inc. (2003)
Rumpe, B., Schröder, A.: Quantitative Survey on Extreme Programming Projects. In: Third International Conference on Extreme Programming and Flexible Processes in Software Engineering, XP 2002, Alghero, Italy, May 26-30, pp. 95–100 (2002)
Siedersleben, J., Denert, E.: Wie baut man Informationssysteme? Überlegungen zur Standardarchitektur. Informatik Spektrum 8/2000, 247–257 (2000)
ISO/IEC, Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework - Part 3: The Tree and Tabular Combined Notation (TTCN), ISO/IEC International Standard 9646 (1992)
Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading (1998)
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
Rumpe, B. (2003). Model-Based Testing of Object-Oriented Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, WP. (eds) Formal Methods for Components and Objects. FMCO 2002. Lecture Notes in Computer Science, vol 2852. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39656-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-39656-7_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20303-2
Online ISBN: 978-3-540-39656-7
eBook Packages: Springer Book Archive