Towards model-driven unit testing

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

Volumn 4364 LNCS, Issue , 2007, Pages 182-192

  Engels, Gregor ^a   Güldali, Baris ^a   Lohmann, Marc ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Design by contract; Model checking; Test case generation; Visual contracts

Indexed keywords

MODEL CHECKING; PROCESS MONITORING; PROGRAM TRANSLATORS;

COMPOSITE STRUCTURE DIAGRAMS; DESIGN BY CONTRACT; MODEL DRIVEN ARCHITECTURE; SOFTWARE SYSTEMS; TEST CASE GENERATION; VISUAL CONTRACTS;

SOFTWARE ENGINEERING;

EID: 38149021292     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69489-2_23     Document Type: Conference Paper

References (18)

1. Meservy, T.O., Fenstermacher, K.D.: Transforming software development: An MDA road map. IEEE Computer 38 (2005) 52-58
2. Lohmann, M., Sauer, S., Engels, G.: Executable visual contracts. In Erwig, M., Schurr, A., eds.: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05). (2005) 63-70
3. Engels, G., Lohmann, M., Sauer, S., Heckel, R.: Model-driven monitoring: An application of graph transformation for design by contract. In: International Conference on Graph Transformation (ICGT) 2006. (2006) 336-350
4. Heckel, R., Lohmann, M.: Model-driven development of reactive informations systems: From graph transformation rules to JML contracts. International Journal on Software Tools for Technology Transfer (STTT) (2006)
5. Meyer, B.: Applying "Design by Contract". IEEE Computer 25 (1992) 40-51
6. Leavens, G., Cheon, Y.: Design by Contract with JML (2003)
7. Beck, K.: Test Driven Development: By Example. Addison-Wesley Professional (2002)
8. Beck, K.: Extreme Programming Explained. Embrace Change. The XP Series. Addison-Wesley Professional (1999)
9. Heckel, R., Lohmann, M.: Towards model-driven testing. Electr. Notes Theor. Comput. Sci. 82 (2003)
10. Antoy, S., Hamlet, D.: Automatically checking an implementation against its formal specification. IEEE Transactions on Software Engineering 26 (2000) 55-69
11. OMG (Object Management Group): UML 2.0 superstructure specification - revised final adopted specification (2004)
12. Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. APCS (Applied Categorical Structures) 9 (2001) 83-110
13. Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26 (1996) 287-313
14. Binder, R.V: Testing Object-Oriented Systems. Addison-Wesley (2000)
15. Rensink, A., Schmidt, Á., Varró, D.: Model checking graph transformations: A comparison of two approaches. In: International Conference on Graph Transformation (ICGT) 2004. (2004) 226-241
16. Lohmann, M., Engels, G., Sauer, S.: Model-driven monitoring: Generating assertions from visual contracts. In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE) 2006 Demonstration Session. (2006) 355-356
17. Rensink, A.: The GROOVE simulator: A tool for state space generation. In: Applications of Graph Transformations with Industrial Relevance (AGTIVE) 2003. (2003) 479-485
18. Cheon, Y., Leavens, G.T.: A simple and practical approach to unit testing: The JML and JUnit way. In: European Conference on Object-Oriented Programming (ECOOP) 2002. (2002) 231-255