A specification-based test case generation method for UML/OCL

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

Volumn 6627 LNCS, Issue , 2011, Pages 334-348

  Brucker, Achim D ^a   Krieger, Matthias P ^b,c   Longuet, Delphine ^b,c   Wolff, Burkhart ^b,c  

^a SAP RESEARCH   (Germany)

^b UNIVERSITÉ PARIS SACLAY   (France)

^c CNRS   (France)

Author keywords

OCL; specification based testing; test case generation; UML

Indexed keywords

AUTOMATED TEST DATA GENERATION; CLASS MODELS; HUMAN-READABLE; IMPLICIT REPRESENTATION; KEY FEATURE; OBJECT GRAPHS; OCL; QUERY OPERATIONS; SPECIFICATION-BASED TESTING; SYMBOLIC REPRESENTATION; TEST CASE GENERATION; UML; VERIFICATION AND VALIDATION;

SPECIFICATIONS; VERIFICATION;

SOFTWARE TESTING;

EID: 79957639081     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21210-9_33     Document Type: Conference Paper

References (24)

1. van Aertryck, L., Jensen, T.: UML-CASTING: Test synthesis from UML models using constraint resolution. In: Jézéquel, J.M. (ed.) AFADL 2003 (2003)
2. Aichernig,B.K.,PariSalas,P.A.: Testcasegenerationbyoclmutationandconstraint solving. In:QSIC2005, pp. 64-71. IEEE Computer Society, Los Alamitos (2005)
3. Anand, S., Pasareanu, C.S., Visser, W.: JPF-SE: A Symbolic Execution Extension to Java PathFinder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 134-138. Springer, Heidelberg (2007)
4. Benattou, M., Bruel, J.M., Hameurlain, N.: Generating test data from ocl specication. In: WITUML (2002)
5. Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: ISSTA, pp. 123-133 (2002)
6. Brucker, A.D., Doser, J., Wolff, B.: An mda framework supporting ocl. Electronic Communications of the easst 5 (2006)
7. Brucker, A.D., Krieger, M.P., Wolff, B.: Extending ocl with null-references. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 261-275. Springer, Heidelberg (2010)
8. Brucker, A.D., Wolff, B.: hol-ocl: A Formal Proof Environment for uml/ocl. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 97-100. Springer, Heidelberg (2008)
9. Brucker, A.D., Wolff, B.: An extensible encoding of object-oriented data models in HOL. Journal of Automated Reasoning 41, 219-249 (2008)
10. Brucker, A.D.,Wolff, B.: hol-TestGen: An interactive test-case generation framework. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 417- 420. Springer, Heidelberg (2009)
11. Brucker, A.D., Wolff, B.: Semantics, calculi, and analysis for object-oriented specifications. Acta Informatica 46(4), 255-284 (2009)
12. Church, A.: A formulation of the simple theory of types. Journal of Symbolic Logic 5(2), 56-68 (1940)
13. Dick, J., Faivre, A.: Automating the generation and sequencing of test cases from model-based specifications. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol. 670, pp. 268-284. Springer, Heidelberg (1993)
14. Gogolla, M., Hamann, L., Kuhlmann, M.: Proving and visualizing ocl invariant independence by automatically generated test cases. In: Fraser, G., Gargantini, A. (eds.) TAP 2010. LNCS, vol. 6143, pp. 38-54. Springer, Heidelberg (2010)
15. Gogolla, M., Richters, M.: Expressing uml class diagrams properties with ocl. In: Clark, A., Warmer, J. (eds.) Object Modeling with the ocl. LNCS, vol. 2263, pp. 85-114. Springer, Heidelberg (2002)
16. Li, B.L., shu Li, Z., Qing, L., Chen, Y.H.: Test case automate generation from uml sequence diagram and ocl expression. In: Computational Intelligence and Security, pp. 1048-1052. IEEE Computer Society, Los Alamitos (2007)
17. de Moura, L.,Bjørner, N.S.: Z3:An efficient smt solver. In: Ramakrishnan,C.R.,Rehof, J. (eds.)TACAS2008.LNCS,vol. 4963,pp.337-340.Springer, Heidelberg (2008)
18. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/hol-A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002)
19. Noikajana, S., Suwannasart, T.: An improved test case generation method for Web service testing from wsdl-s and ocl with pair-wise testing technique, pp. 115-123. IEEE Computer Society, Los Alamitos (2009)
20. Object Management Group: uml 2.2 ocl specification (2010), Available as omg document formal/2010-02-01
21. Tillmann, N., de Halleux, J.: Pex-white box test generation for.NET. In: Beckert, B., Hähnle, R. (eds.) TAP 2008. LNCS, vol. 4966, pp. 134-153. Springer, Heidelberg (2008)
22. Torlak, E., Jackson, D.:Kodkod: Arelational model finder. In:Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 632-647. Springer, Heidelberg (2007)
23. Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model checking programs. Autom. Softw. Eng. 10(2), 203-232 (2003)
24. Weissleder, S., Schlingloff, B.H.: Quality of automatically generated test cases based on ocl expressions. In: ICST, pp. 517-520. IEEE Computer Society, Los Alamitos (2008)