Automating functional testing of components from UML specifications

International Journal of Software Engineering and Knowledge Engineering

Volumn 17, Issue 3, 2007, Pages 339-358

  Barbosa, Daniel L ^a   Lima, Helton S ^a   Machado, Patricia D L ^a   Figueiredo, Jorge C A ^a   Jucá, Makelli A ^a   Andrade, Wilkerson L ^a  

^a FEDERAL UNIVERSITY OF CAMPINA GRANDE   (Brazil)

Author keywords

Component testing; Model based testing; Test case generation; UML

Indexed keywords

DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; MARKUP LANGUAGES; PHASE DIAGRAMS; SUPERVISORY AND EXECUTIVE PROGRAMS;

AUTOMATING FUNCTIONAL TESTING; COMPONENT TESTING; MODEL-BASED TESTING; TEST CASE GENERATION;

SOFTWARE TESTING;

EID: 34547397418     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194007003276     Document Type: Article

References (23)

1. C. Atkinson, Component-Based Product Line Engineering with UML (Addison-Wesley, 2001).
2. C. Atkinson and H.-G. Gross, Built-in contract testing in model-driven, component-based development, in ICSR Work, on Component-Based Develop. Processes, 2002.
3. G. Bernot, M.-C. Gaudel, and B. Marre, Software testing based on formal specifications: A theory and a tool, Software Engineering Journal 6(6) (1991) 387-405.
4. S. Beydeda and V. Gruhn, State of the art in testing components, in Proc. 3rd Int. Conf. on Quality Software, eds. H.-D. Ehrich and H. Lin (IEEE Computer Society Press, 2003).
5. L. C. Briand, Y. Labiche, and M. M. Sówka, Automated, contract-based user testing of commercial-off-the-shelf components, in ICSE '06: Proc. 28th Int. Conf. on Software Engineering (ACM Press, New York, 2006), pp. 92-101.
6. A. D. Brucker and B. Wolff, Testing distributed component based systems using UML/OCL, in Informatik 2001, Tagungsband der GI/ÖCG Jahrestagung, Vol. 1, Wien, November 2001, pp. 608-614.
7. J. Cheesman and J. Daniels, UML Components - A Simple Process for Specifying Component-Based Software, Component Software Series (Addison-Wesley, 2001).
8. J. J. Chilenski and S. P. Miller, Applicability of modified condition/decision coverage to software testing Software Engineering Journal 7(5) (1994) 193-200.
9. I. K. El-Far and J. A. Whittaker, Model-based software testing, Encyclopedia of Software Engineering, 2001.
10. E. Gamma, and K. Beck, Junit testing framework, http://www.junit.org, March 2005.
11. M. Gogolla, J. Bohling, and M. Richters, Validation of UML and OCL models by automatic snapshot generation, in Proc. 6th Int. Conf. Unified Modeling Language (UML'2003), LNCS 2863, Springer, Berlin, 2003, pp. 265-279.
12. M. Gogolla, M. Richters, and J. Bohling, Tool support for validating UML and OCL models through automatic snapshot generation, in Proc. Annual Research Conf. South African Institute of Computer Scientists and Information Technologists on Enablement Through Technology (SAICSIT'2008), ACM, 2003, pp. 248-257.
13. H.-J. Happel, A case study in component-based software engineering using the kobra-method, Technical report, University of Mannheim, February 2004. 14. M. J. Harrold, Testing: A roadmap, in Future of Software Engineering Track, ICSE'00 - Int. Conf. on Software Engineering (ACM, 2000).
14. A. Hartman and K. Nagin, The agedis tools for model based testing, in ISSTA '04: Proc. 2004 ACM SIGSOFT Int. Symp. on Software Testing and Analysis (ACM Press, New York, 2004), pp. 129-132.
15. J. Hartmann, C. Imoberdorf, and M. Meisinger, UML-based integration testing, SIGSOFT Softw. Eng. Notes 25(5) (2000) 60-70.
16. H. Hussman, B. Demuth, and F. Finger, Modular architecture for a toolset supporting ocl, in Proc. UML 2000 -Int. Conf. on The Unified Modeling Language, 2000, pp. 278-293.
17. C. Jard and T. Jéron, Tgv: Theory, principles and algorithms, a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems, Software Tools for Technology Transfer (STTT) 6 (2004).
18. P. C. Jorgensen, Software Testing - A Craftsman's Approach (CRC Press, 2002).
19. P. D. L. Machado, Testing from structured algebraic specifications, in 8th Int. Conf. on Algebraic Methodology and Software Technology, AMAST'00, ed. T. Rus, LNCS, Vol. 1816, Springer, Iowa, USA, May 2000, pp. 529-544.
20. P. D. L. Machado and D. T. Sannella, Unit testing for CASL architectural specifications, in 27th Int. Symp. on Mathematical Foundations of Computer Science, LNCS, Vol. 2420, Springer, 2002, pp. 506-518.
21. J. D. McGregor and D. A. Sykes, A Practical Guide to Testing Object-Oriented Software, Object Technology Series (Addison-Wesley, 2001).
22. D. Megginson, Sax 2.0 -the simple api for xml, http://www.saxproject.org, 2005.
23. S. J. Prowell, C. J. Trammell, R. C. Linger, and J. H. Poore, Cleanroom Software Engineering -Technology and Process, The SEI Series in SE (Addison-Wesley, 1999).