Paper Info
Title
Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation
Abstract
Some approaches to Model-Based Testing focus on test case generation from assertions (operation pre- and post- conditions) and invariants, e.g., written in the Object Constraint Language. In such a setting, assertions must be val- idated. Validation is often carried out via executing scenarios wherein system operations are applied, to detect unsatisfied invariants or failed preconditions. This paper aims to improve the 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, and describe several observations that can help to improve the process of writing these scenarios. We also describe the important factors that must be considered in transforming these scenarios into abstract test cases.
Year
DOI
Venue
2008
10.1109/ICSTW.2008.29
ICST Workshops
Keywords
Field
DocType
system operation,model validation,operation pre,abstract test case,useful validation scenario,unsatisfied invariants,test case generation,model-based testing focus,important factor,assertion-based scenarios,mondex smart card application,object constraint language,software systems,context modeling,reflection,authorization,smart card,smart cards,writing,programming,system testing,testing,model based testing,iso,software testing,reactive power,unified modeling language
Programming language,Unified Modeling Language,Computer science,Assertion,Smart card,Context model,Real-time computing,Software system,Model-based testing,Test case,Object Constraint Language
Conference
Citations 
PageRank 
References 
2
0.38
6
Authors
3
Name
Order
Citations
PageRank
Emine G. Aydal1222.94
Richard F. Paige22053163.62
Jim Woodcock324418.34