Abstract
The idea of software testing by software itself drives the attempts of creation of model based testing approaches. Model based testing relies on models, that encode the desired behaviour of a system, the relevant behaviour of its environment; however, both the static and the behaviour models are not directly applicable for model based testing. The models should be different from implementation and possess the observational consistency allowing preservation behaviour of parts in the behaviour of the whole. The models need to be built into a tool for preparation of the model and data for test generation. This paper proposes to use protocol models for model based testing. A protocol model presents the external behaviour. Unlike other modelling approaches, the Protocol Modelling semantics incorporates data into the model. This property gives us advantages for the choice of the strategy of test generation. The main contribution of the paper is a combination of algorithms for test generatin g from a protocol model. The preparation of a protocol model for test generation and the results of test generation are illustrated with an example.
Original language | English |
---|---|
Title of host publication | Proceedings of the Fourth International Symposium on Business Modeling and Software Design |
Subtitle of host publication | June 24-26, 2014, in Luxembourg, Luxembourg |
Editors | Boris Shishkov |
Publisher | SCITEPRESS-Science and Technology Publications, Lda. |
Pages | 103-112 |
Number of pages | 10 |
Volume | 1 |
ISBN (Print) | 978-989-758-032-1 |
DOIs | |
Publication status | Published - 2014 |
Event | Fourth International Symposium on Business Modeling and Software Design - Luxembourg, Luxembourg Duration: 24 Jun 2014 → 26 Jun 2014 Conference number: 4 |
Symposium
Symposium | Fourth International Symposium on Business Modeling and Software Design |
---|---|
Country/Territory | Luxembourg |
City | Luxembourg |
Period | 24/06/14 → 26/06/14 |