Eingang zum Volltext in OPUS

Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-31072
URL: http://opus.kobv.de/tuberlin/volltexte/2011/3107/

Aydal, Emine G ; Paige, Richard F ; Woodstock, Jim

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

pdf-Format:
Dokument 1.pdf (191 KB)
Print-on-Demand:

Kurzfassung auf Englisch

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 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.

Freie Schlagwörter (Deutsch): Model-based Testing , OCL , Mondex , Scenario Validation
Freie Schlagwörter (Englisch): Model-based Testing , OCL , Mondex , Scenario Validation
Collection: TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 15 (2008): OCL Concepts and Tools 2008
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Bandnummer: 15/01
ISBN/ISSN: 1863-2122
Quelle: http://journal.ub.tu-berlin.de/eceasst/article/view/181/
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 21.06.2011
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja