Eingang zum Volltext
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
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.
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: |
|
Kurzfassung in Englisch
Certain approaches to Model-Based Testing focus on test case generationfrom 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 | |
| ISBN: | 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 |
