Observations for Assertion-based Scenarios in the context of Model Validation

  • Certain approaches to Model-Based Testing focus on test case generation from assertions and invariants, e.g., written in the Object Constraint Language. In such a setting, assertions and invariants must be validated. Validation can be carried out via executing scenarios wherein system operations are applied to detect unsatisfied invariants or failed assertions. This paper aims to improve our understanding of how to write useful validation scenarios for assertions in OCL. To do so, we report on oCertain approaches to Model-Based Testing focus on test case generation from assertions and invariants, e.g., written in the Object Constraint Language. In such a setting, assertions and invariants must be validated. Validation can be carried out via executing scenarios wherein system operations are applied to detect unsatisfied invariants or failed assertions. This paper aims to improve our understanding of how to write useful validation scenarios for assertions in OCL. To do so, we report on our experiences during the creation and execution of 237 scenarios for validating assertions for the Mondex Smart Card application. We also describe key factors that must be considered in transforming scenarios into test cases.show moreshow less

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author: Emine G Aydal, Richard F Paige, Jim Woodstock
URN:urn:nbn:de:kobv:83-opus-31072
ISBN:1863-2122
Series (Serial Number):Electronic Communications of the EASST- ECEASST (15/01)
Document Type:Wissenschaftlicher Artikel, Postprint
Language:English
Date of Publication (online):2011/06/21
Release Date:2011/06/21
Tag:Model-based Testing; Mondex; OCL; Scenario Validation
Model-based Testing; Mondex; OCL; Scenario Validation
Source:http://journal.ub.tu-berlin.de/eceasst/article/view/181/
Institutes:Institut für Softwaretechnik und Theoretische Informatik
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Collection:Volume 15 (2008): OCL Concepts and Tools 2008
Licence (German):License Logo CC BY-NC-SA: Creative Commons-Lizenz: Namensnennung, nicht kommerziell, Weitergabe zu gleichen Bedingungen