Title :
OCL2TestSW: Generating test software from OCL specification
Author :
Al-Jumaily, H. ; Cuadra, Dolores ; Martinez, Paloma
Author_Institution :
Comput. Sci. Dept., Carlos III Univ. of Madrid, Leganes, Spain
Abstract :
The main contribution of this work is generating test cases from an OCL specification. This testing software is used to validate the database applications, which are used to enforce these constraints. The generated testing software includes: validation queries and test cases. Our approach is implemented as an add-in tool in Rational Rose called OCL2TestSW.
Keywords :
formal specification; program testing; OCL specification; OCL2TestSW; database application; test cases; test software; testing software; validation queries; Software; CASE Tools; Equivalence class testing; Functional Testing Software; Software validation;
Conference_Titel :
Information Systems and Technologies (CISTI), 2011 6th Iberian Conference on
Conference_Location :
Chaves
Print_ISBN :
978-1-4577-1487-0
