Improving model quality by validating constraints with model unit tests

Proceedings - 2010 Workshop on Model-Driven Engineering, Verification, and Validation, MoDeVVa 2010

Volumn , Issue , 2010, Pages 49-54

  Hamann, Lars ^a   Gogolla, Martin ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

OCL; Quality; Test suite; Unit tests; Validation

Indexed keywords

IMAGE QUALITY;

CODE RE-FACTORING; MODEL BASED DEVELOPMENT; MODEL QUALITIES; MODERN DEVELOPMENT; SYSTEM UNDER TEST; TESTING FRAMEWORK; UNIT TESTS; VALIDATION;

WELL TESTING;

EID: 79960274583     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MoDeVVa.2010.18     Document Type: Conference Paper

References (25)

1. UML Superstructure 2.3. Object Management Group (OMG), Feb. 2010. [Online]. Available: http://www.omg.org/spec/UML/2.3/
2. Object Constraint Language 2.2. Object Management Group (OMG), Feb. 2010. [Online]. Available: http://www.omg.org/spec/OCL/2.2/
3. OASIS, "DocBook." [Online]. Available:http://www.docbook.org
4. F. Büttner et. al., "MDA Employed in a Joint eGovernment Strategy: An Experience Report," in Proc. 3rd ECMDA Workshop "From Code Centric To Model Centric Software Engineering", T. Bailey, Ed. European Software Institute, 2008. [Online]. Available: http://www.esi.es/ modelplex/c2m/program.php
5. F. Büttner, N. Cordes, C. Crome, S. Drees, A. Franke, L. Hamann, J. Heins, C. Karich, Krolczyk, M. Kuhlmann, K. Lahmann, C. Lange, D. Lopes, Y. Rabenstein, C. Senf, F. Steimke, A. Stosiek, H. Weber, and W. Zimmer, Handbuch zur Entwicklung XöV-konformer IT-Standards. OSCI-Leitstelle Bremen, Die Beauftragte der Bundesregierung für Informationstechnik, Mar. 2010. [Online]. Available: http://www1.osci. de/sixcms/media.php/13/spezifikation. 4921.pdf
6. No Magic, Inc., "MagicDraw." [Online]. Available: http://www. magicdraw.com
7. Papyrus UML. [Online]. Available: http://www.papyrusuml.org
8. K. Beck, "Simple Smalltalk Testing: With Patterns," The Smalltalk Report, vol. 4, no. 2, pp. 16-18, 1994.
9. JUnit. [Online]. Available: http://www.junit.org
10. NUnit. [Online]. Available: http://www.nunit.org
11. Test::Unit, "Ruby Unit Testing." [Online]. Available: http://rubyforge.org/projects/test-unit
12. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts, Refactoring: Improving the Design of Existing Code. Addison-Wesley Professional, 1999.
13. H. Erdogmus, M. Morisio, and M. Torchiano, "On the Effectiveness of the Test-First Approach to Programming," IEEE Transactions on Software Engineering, vol. 31, pp. 226-237, 2005. (Pubitemid 40890004)
14. S. W. Ambler, The Object Primer: Agile Model-Driven Development with UML 2.0, 3rd ed. Cambridge, UK: Cambridge University Press, 2004.
15. M. Gogolla, J. Bohling, and M. Richters, "Validating UML and OCL Models in USE by Automatic Snapshot Generation," SoSyM, 2005.
16. F. Büttner and H. Bauerdick, "Realizing UML Model Transformations with USE," in UML/MoDELS Workshop on OCL (OCLApps'2006), pp. 96-110.
17. M. Gogolla, F. Büttner, and M. Richters, "USE: A UML-Based Specification Environment for Validating UML and OCL," Science of Computer Programming, vol. 69, pp. 27-34, 2007. (Pubitemid 350087238)
18. UML Testing Profile 1.0. Object Management Group (OMG), Jul. 2005. [Online]. Available:http://www.omg.org/technology/documents/formal/test profile.htm
19. O. Pilskalns and A. A. Andrews, "Using UML Designs to Generate OCL for Security Testing," in SEKE, 2006, pp. 505-510.
20. S. Noikajana and T. Suwannasart, "An Improved Test Case Generation Method for Web Service Testing from WSDL-S and OCL with Pair-Wise Testing Technique," in COMPSAC '09. 33rd Annual IEEE International, vol. 1, Jul. 2009, pp. 115-123.
21. S. Weißleder and B.-H. Schlingloff, "Quality of Automatically Generated Test Cases based on OCL Expressions," in ICST. IEEE Computer Society, 2008, pp. 517-520.
22. G. Engels, B. Güldali, and M. Lohmann, "Towards Model-Driven Unit Testing," in MoDELS Workshops, ser. LNCS, T. Kühne, Ed., vol. 4364. Springer, 2006, pp. 182-192.
23. D. A. Sadilek and S. Weißleder, "Testing Metamodels," in ECMDA-FA, ser. LNCS, I. Schieferdecker and A. Hartman, Eds., vol. 5095. Springer, 2008, pp. 294-309.
24. A. Tort and A. Olive7acute;, "First Steps Towards Conceptual Schema Testing," in Proceedings of the Forum at the 21st Conference on Advanced Information Systems Engineering (CAiSE 2009)., vol. 453. CEUR, 2009, pp. 1-6.
25. T. T. Dinh-Trong, S. Ghosh, R. B. France, M. Hamilton, and B. Wilkins, "UMLAnT: an Eclipse plugin for animating and testing UML designs," in ETX. ACM, 2005, pp. 120-124.