A Test Generator for Model-Based Testing

E.E. Roubtsova, Serguei Roubtsov

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


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 languageEnglish
Title of host publicationProceedings of the Fourth International Symposium on Business Modeling and Software Design
Subtitle of host publicationJune 24-26, 2014, in Luxembourg, Luxembourg
EditorsBoris Shishkov
PublisherSCITEPRESS-Science and Technology Publications, Lda.
Number of pages10
ISBN (Print)978-989-758-032-1
Publication statusPublished - 2014
EventFourth International Symposium on Business Modeling and Software Design - Luxembourg, Luxembourg
Duration: 24 Jun 201426 Jun 2014
Conference number: 4


SymposiumFourth International Symposium on Business Modeling and Software Design


Dive into the research topics of 'A Test Generator for Model-Based Testing'. Together they form a unique fingerprint.

Cite this