• 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
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=548875