A Systematic Literature Review on Environment Modeling Techniques in Model-Based Testing

Faezeh Siavashi, Dragos Truscan

Research output: Book/Journal/ReportCommissioned reportProfessional

40 Downloads (Pure)


In this paper, we present a systematic literature review (SLR) on the use of envi- ronment models in model-based testing (MBT). The objectives of this paper are to identify what are the main characteristics of environment models, to which type of systems and in which application domains they have been applied, as well as what are the benefits and research challenges when using them for testing and test generation. The SLR is performed for publications retrieved from well-known academic publication databases in order to answer a set of research questions. Sixty one publications have been identified and selected as primary studies on which we performed our analysis. The results show that the environment models are especially useful in testing systems with high complexity and nondeterministic behavior, and that they facilitate automatic test generation. However, building environment models is not always easy due to the lack of automation and tool support.
Original languageEnglish
PublisherTUCS Turku Centre for Computer Science
Publication statusPublished - 2015
MoE publication typeD4 Published development or research report or study

Publication series

NameTUCS Technical Report
ISSN (Print)1239-1891


  • environment model
  • software testing
  • model-based testing
  • systematic literature review


Dive into the research topics of 'A Systematic Literature Review on Environment Modeling Techniques in Model-Based Testing'. Together they form a unique fingerprint.

Cite this