Choosing a test modeling language: A survey

Alan Hartman, Mika Katara, Sergey Olvovsky

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


Deployment of model-based testing involves many difficulties that have slowed down its industrial adoption. The leap from traditional scripted testing to model-based testing seems as hard as moving from manual to automatic test execution. Two key factors in the deployment are the language used to define the test models, and the language used for defining the test objectives. Based on our experience, we survey the different types of languages and sketch solutions based on different approaches, considering the testing organization, the system under test, etc. The types of languages we cover include among others domain-specific, test-specific as well as generic design languages. We note that there are no best practices, but provide general guidelines for various cases.

Original languageEnglish
Title of host publicationHardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783540708889
StatePublished - 2007
Externally publishedYes
Event2nd International Haifa Verification Conference, HVC 2006 - Haifa, Israel
Duration: 23 Oct 200626 Oct 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4383 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference2nd International Haifa Verification Conference, HVC 2006

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Choosing a test modeling language: A survey'. Together they form a unique fingerprint.

Cite this