Model-based testing of object-oriented systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2852, Issue , 2003, Pages 380-402

  Rumpe, Bernhard ^a,b  

^a CAMPUS DE BEAULIEU   (France)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; FORMAL METHODS; MODEL CHECKING; OBJECT ORIENTED PROGRAMMING; REUSABILITY; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

ENGINEERING TECHNIQUES; EVOLUTIONARY APPROACH; EXPLICIT MODELS; MODEL BASED APPROACH; MODEL BASED TESTING; MODEL TRANSFORMATION; OBJECT-ORIENTED SYSTEM; SINGLE MODELS;

SOFTWARE TESTING;

EID: 0142152373     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39656-7_16     Document Type: Article

References (25)

1. E. Abraham-Mumm, F.S. de Boer, W.P. de Roever, and M. Steffen. A Tool-supported Proof System for Mutlithreaded Java. (in this volume) LNCS. Springer, 2003.
2. Agile Manifesto. http://www.agilemanifesto.org/. 2003.
3. Beck, K. Extreme Programming explained, Addison-Wesley. 1999.
4. Beck K. Aim, Fire (Column on the Test-First Approach). IEEE Software, 18(5):87-89, 2001.
5. Beck K., Gamma E. JUnit: A Cook's Tour, JavaReport, August, 1999.
6. Binder, R. Testing Object-Oriented Systems. Models, Patterns, and Tools, Addison-Wesley, 1999.
7. Briand L. and Labiche Y. A UML-based Approach to System Testing. In M. Gogolla and C. Kobryn (eds): «UML» - The Unified Modeling Language, 4th Intl. Conference, pages 194-208, LNCS 2185. Springer, 2001.
8. Cockburn, A. Agile Software Development. Addison-Wesley, 2002.
9. Fowler M. Refactoring. Addison-Wesley. 1999.
10. Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns, Addison-Wesley, 1994.
11. B. Jacobs, J. Kiniry, and M. Warnier. Java Program Verification Challenges. (in this volume) LNCS. Springer, 2003.
12. G.T. Leavens, Y. Cheon, C. Clifton, C. Ruby and D.R. Cok. How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. (in this volume) LNCS. Springer, 2003.
13. Link J., Fröhlich P. Unit Tests mit Java. Der Test-First-Ansatz. dpunkt.verlag Heidelberg, 2002.
14. Myers, G. The Art of Software Testing, John Wiley & Sons, New York, 1979.
15. Opdyke W., Johnson R. Creating Abstract Superclasses by Refactoring. Technical Report. Dept. of Computer Science, University of Illinois and AT&T Bell Laboratories. 1993
16. OMG. Model Driven Architecture (MDA). Technical Report OMG Document ormsc/2001-07-01, Object Management Group, 2001.
17. OMG - Object Management Group. Unified Modeling Language Specification. V1.5.2002.
18. Philipps J., Rumpe B.. Refactoring of Programs and Specifications. In: Practical foundations of business and system specifications. H.Kilov and K.Baclawski (Eds.), 281-297, Kluwer Academic Publishers, 2003.
19. Rumpe, B. Executable Modeling with UML. A Vision or a Nightmare? In: Issues & Trends of Information Technology Management in Contemporary Associations, Seattle. Idea Group Publishing, Hershey, London, pp. 697-701. 2002.
20. Rumpe, B. Agiles Modellieren mit der UML. Habilitation Thesis. To appear 2003.
21. Rumpe B. E-Business Experiences with Online Auctions. In: Managing E-Commerce and Mobile Computing Technologies, Julie Mariga (Ed.) Idea Group Inc., 2003.
22. Rumpe B., Schröder A. Quantitative Survey on Extreme Programming Projects. In: Third International Conference on Extreme Programming and Flexible Processes in Software Engineering, XP2002, May 26-30, AIghero, Italy, pg. 95-100, 2002.
23. Siedersleben J., Denert E. Wie baut man Informationssysteme? Überlegungen zur Standardarchitektur. Informatik Spektrum, 8/2000:247-257, 2000.
24. 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.
25. Warmer J., Kleppe A. The Object Constraint Language. Addison-Wesley. 1998.