DocumentCode :
548875
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
fYear :
2011
fDate :
15-18 June 2011
Firstpage :
1
Lastpage :
5
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Systems and Technologies (CISTI), 2011 6th Iberian Conference on
Conference_Location :
Chaves
Print_ISBN :
978-1-4577-1487-0
Type :
conf
Filename :
5974318
Link To Document :
بازگشت