A comparison of state-based modelling tools for model validation

Lecture Notes in Business Information Processing

Volumn 11, Issue , 2008, Pages 278-296

  Aydal, Emine G ^a   Utting, Mark ^b   Woodcock, Jim ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

^b UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PROCESSING;

ALLOY ANALYZERS; ANALYSIS TOOLS; EXPRESSIVE POWER; MODEL ANALYSIS; MODEL BASED TESTING; MODEL VALIDATION; MODELLING AND VALIDATION; STATE-BASED MODELLING;

MODELING LANGUAGES;

EID: 78649619856     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-69824-1_16     Document Type: Conference Paper

References (19)

1. Van Lamsweerde, A.: Formal Specification; a Roadmap: The Future of Software Engineering. In: Finkelstein, A. (ed.), ACM Press (2000) ISBN 1-58113-253-0
2. UML Resource Page (2007), http://www.uml.org/
3. Bertolino, A., Marchetti, E., Muccini, H.: Introducing a reasonably complete and coherent approach for MBT. Electr. Notes Theor. Comput. Sci. 116, 85–97 (2005)
4. Cavarra, A., Crichton, C., Davies, J., Hartman, A., Jeron, T., Maunier, L.: Using UML for automatic test case generation. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280. Springer, Heidelberg (2002)
5. Jackson, D.: A Comparison of Object Modelling Notations: Alloy, UML and Z, MIT Lab for Computer Science (1999)
6. He, Y.: Comparison of the Modelling Languages Alloy and UML (2006), http://ww1.ucmss.com/books/LFS/CSREA2006/SER4949.pdf
7. Georg, G., Bieman, J., France, R.: Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study. In: Workshop of the pUML-Group held together with the UML. LNI, vol. l7 (2001)
8. Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing, Working paper series, University of Waikato, Department of Computer Science, 04/2006
9. Using ProZ for Animation and Model Checking of Z Specifications, http://asap0.cs.uni-duesseldorf.de/trac/prob/wiki/Using%20Z%20with%20ProB
10. Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of International Conference of Software Engineering ICSE (1999)
11. Utting, M.: Position paper: Model-based testing, Verified Software: Theories, Tools, Experiments(VSTTE) (2006)
12. Utting, M., Legeard, B.: Practical Model-Based Testing. Morgan Kauffman (2007)
13. Bernard, E., Bouquet, F., Charbonnier, A., Legeard, B., Peureux, F., Utting, M., Torreborre, E.: Model-based Testing from UML Models. Lecture Notes in Informatics, pp. 223–230 (2006)
14. Z Notation, http://en.wikipedia.org/wiki/Z notation
15. The Alloy Analyzer, http://alloy.mit.edu/
16. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press (2006)
17. UML Specifications Environment, http://www.db.informatik.uniremen.de/projects/USE/
18. Gogolla, M., Buettner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program 69(1-3), 27–34 (2007)
19. CZT ZLive, http://czt.sourceforge.net/zlive/index.html