Automating Java program testing using OCL and AspectJ

ITNG2010 - 7th International Conference on Information Technology: New Generations

Volumn , Issue , 2010, Pages 1020-1025

  Cheon, Yoonsik ^a   Avila, Carmen ^a  

^a University of Texas at El Paso   (United States)

Author keywords

AspectJ; Object constraint language; Pre and postconditions; Random testing; Runtime assertion checking

Indexed keywords

ASPECT-J; AUTOMATED TESTING; FORMAL SPECIFICATION; JAVA PROGRAM; JAVA PROGRAM TESTING; OBJECT CONSTRAINT LANGUAGE; RANDOM TESTING; RUN-TIME CHECKS; RUNTIME ASSERTION CHECKING; TEST DATA; TEST FAILURE; TEST ORACLES; TEST RESULTS;

COST REDUCTION; INFORMATION TECHNOLOGY; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; OBJECT ORIENTED PROGRAMMING; TEST FACILITIES; TESTING; TRANSLATION (LANGUAGES);

SOFTWARE TESTING;

EID: 77955293238     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITNG.2010.123     Document Type: Conference Paper

References (14)

1. Y. Cheon and C. E. Rubio-Medrano, "Random test data generation for Java classes annotated with JML specifications," in SERP, Volume II, June 25-28, 2007, Las Vegas, Nevada, Jun. 2007, pp. 385-392.
2. C. Csallner and Y. Smaragdakis, "JCrasher: an automatic robustness tester for Java," Software - Practice and Experience, vol. 34, no. 11, pp. 1025-1050, Sep. 2004.
3. Y. Cheon and G. T. Leavens, "A simple and practical approach to unit testing: The JML and JUnit way," in ECOOP, ser. LNCS, vol. 2374. Springer-Verlag, Jun. 2002, pp. 231-255.
4. D. Coppit and J. M. Haddox-Schatz, "On the use of specification-based assertions as test oracles," in Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop, Apr. 2005, pp. 305-314.
5. J. Warmer and A. Kleppe, The Object Constraint Language: Getting Your Models Ready for MDA, 2nd ed. Addison-Wesley, 2003.
6. Y. Cheon, C. Avila, S. Roach, and C. Munoz, "Checking design constraints at run-time using OCL and AspectJ," International Journal of Software Engineering, vol. 3, no. 1, pp. 5-28, Dec. 2009.
7. B. Demuth and C. Wilke, "Model and object verification by using Dresden OCL," in Proceedings of the Russian-German Workshop Innovation Informa-tion Technologies: Theory and Practice, July 25-31, Ufa, Russia, 2009, 2009, pp. 687-690.
8. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold, "An overview of AspectJ," in ECOOP 2001 - Object-Oriented Programming 15th European Conference, Budapest Hungary, ser. LNCS, J. L. Knudsen, Ed. Berlin: Springer-Verlag, Jun. 2001, vol. 2072, pp. 327-353.
9. OMG, UML 2.0 OCL Specification. Object Management Group, Oct. 2003.
10. J. Gannon, P. McMullin, and R. Hamlet, "Data abstraction, implementation, specification, and testing," ACM Transactions on Programming Languages and Systems, vol. 3, no. 3, pp. 211-223, 1981.
11. D. K. Peters and D. L. Parnas, "Using test oracles generated from program documentation," IEEE Transactions on Software Engineering, vol. 24, no. 3, pp. 161-173, Mar. 1998.
12. L. Froihofer, G. Glos, J. Osrael, and K. M. Goeschka, "Overview and evaluation of constraint validation approaches in Java," in ICSE '07: Proceedings of the 29th International Conference on Software Engineering, 2007, pp. 313-322.
13. L. C. Briand, W. J. Dzidek, and Y. Labiche, "Instrumenting contracts with aspect-oriented programming to increase observability and support debugging," in Proceedings of the 21st IEEE International Conference on Software Maintenance, Budapest, Hungary, September 25-30, 2005, Sep. 2005, pp. 687-690.
14. M. Richters and M. Gogolla, "Aspect-oriented monitoring of UML and OCL constraints," in The 4th AOSD Modeling with UML Workshop, San Francisco, CA, October 20, 2003, 2008, co-located with UML 2003.