Proving and visualizing OCL invariant independence by automatically generated test cases

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

Volumn 6143 LNCS, Issue , 2010, Pages 38-54

  Gogolla, Martin ^a   Hamann, Lars ^a   Kuhlmann, Mirco ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATICALLY GENERATED; CLASS INVARIANTS; MODEL DRIVEN DEVELOPMENT; TEST CASE; TEST CONFIGURATIONS;

TESTING;

AUTOMATIC TEST PATTERN GENERATION;

EID: 77954727598     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13977-2_5     Document Type: Conference Paper

References (22)

1. Avila, C., Flores, G., Cheon, Y.: A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. In: Arabnia, H.R., Reza, H. (eds.) Software Engineering Research and Practice, pp. 403-408. CSREA Press (2008)
2. Aichernig, B.K., Salas, P.A.P.: Test Case Generation by OCL Mutation and Constraint Solving. In: QSIC, pp. 64-71. IEEE Computer Society, Los Alamitos (2005)
3. Baruzzo, A., Comini, M.: Static Verification of UML Model Consistency. In: Hearnden, D., Süß, J.G., Baudry, B., Rapin, N. (eds.) Proc. 3rd Workshop on Model Design and Validation, University of Queensland, pp. 111-126 (2006)
4. Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A Subset of Precise UML for Model-Based Testing. In: A-MOST, pp. 95-104. ACM, New York (2007)
5. Beckert, B., Hähnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software: The KeY Approach. LNCS (LNAI), vol. 4334. Springer, Heidelberg (2007)
6. Brucker, A.D., Wolff, B.: Semantics, Calculi, and Analysis for Object-Oriented Specifications. Acta Informatica 46, 255-284 (2009)
7. Costal, D., Gómez, C., Queralt, A., Raventós, R., Teniente, E.: Improving the Definition of General Constraints in UML. Journal of Software and System Modeling 7, 469-486 (2008)
8. Gaudel, M.C.: Testing can be Formal, too. In: Mosses, P.D., Schwartzbach,M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol. 915, pp. 82-96. Springer, Heidelberg (1995)
9. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling 4, 386-398 (2005) (Pubitemid 43118834)
10. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming 69, 27-34 (2007) (Pubitemid 350087238)
11. Gogolla, M., Hamann, L., Kuhlmann, M.: Detailed Test Cases for 'Proving OCL Invariant Independence by Automatically Generated Test Cases' (2010), http://www.db.informatik.uni-bremen.de/publications/ intern/GHK2010ADDON.pdf
12. Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, Independence and Consequences in UML and OCL Models. In: Dubois, C. (ed.) TAP 2009. LNCS, vol. 5668, pp. 90-104. Springer, Heidelberg (2009)
13. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231-274 (1987)
14. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
15. Jagannath, V., Lee, Y.Y., Daniel, B., Marinov, D.: Reducing the costs of bounded-exhaustive testing. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 171-185. Springer, Heidelberg (2009)
16. Marcano-Kamenoff, R., Lévy, N.: Transformation Rules of OCL Constraints into B Formal Expressions. In: Workshop Critical Systems Development (CSDUML 2002) with UML at 5th Int. Conf. UnifiedModeling Language (2002)
17. Orman, L.V.: Relational Database Constraints as Counterexamples. Acta Informatica 34, 167-189 (1997)
18. Oakasha, H., Saake, G.: Foundations for Integrity Independence in Relational Databases. In: FMLDO, pp. 143-165 (1998)
19. Shen, W., Compton, K., Huggins, J.: A Toolset for Supporting UML Static and Dynamic Model Checking. In: Proc. 16th IEEE Int. Conf. Automated Software Engineering (ASE), pp. 147-152. IEEE, Los Alamitos (2001)
20. Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying UML/OCL Models Using Boolean Satisfiability. In: Müller, W. (ed.) Proc. Design, Automation and Test in Europe (DATE 2010). IEEE, Los Alamitos (2010)
21. Sullivan, K.J., Yang, J., Coppit, D., Khurshid, S., Jackson, D.: Software assurance by bounded exhaustive testing. In: Avrunin, G.S., Rothermel, G. (eds.) ISSTA, pp. 133-142. ACM, New York (2004)
22. Trong, T.D., Ghosh, S., France, R.B., Hamilton, M., Wilkins, B.: UMLAnT: An Eclipse Plugin for Animating and Testing UML Designs. In: Proc. OOPSLA Workshop on Eclipse Technology Exchange (Eclipse 2005), pp. 120-124. ACM Press, New York (2005)