Abstract | ||
---|---|---|
For validating and verifying behavioral model properties, typically dynamic scenarios that essentially consist of operation call sequences can be used. A developer then has to cover all necessary scenarios for checking the crucial model properties. In this contribution, we propose a catalogue of different scenario patterns in order to develop guidelines and advice for constructing scenarios, and manifest the usefulness of the catalogue through exemplary models. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1109/MODELS-C.2019.00081 | 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) |
Keywords | Field | DocType |
Behavioral model validation and verification, Test case, Scenario pattern | Systems engineering,Computer science | Conference |
ISBN | Citations | PageRank |
978-1-7281-5126-7 | 0 | 0.34 |
References | Authors | |
5 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nisha Desai | 1 | 13 | 6.63 |
Martin Gogolla | 2 | 2398 | 578.76 |