Choosing a test modeling language: A survey

Alan Hartman; Mika Katara; Sergey Olvovsky

doi:10.1007/978-3-540-70889-6_16

Choosing a test modeling language: A survey

Alan Hartman, Mika Katara, Sergey Olvovsky

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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 language	English
Title of host publication	Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers
Publisher	Springer Verlag
Pages	204-218
Number of pages	15
ISBN (Print)	9783540708889
DOIs	https://doi.org/10.1007/978-3-540-70889-6_16
State	Published - 2007
Externally published	Yes
Event	2nd International Haifa Verification Conference, HVC 2006 - Haifa, Israel Duration: 23 Oct 2006 → 26 Oct 2006

Publication series

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

Conference

Conference	2nd International Haifa Verification Conference, HVC 2006
Country/Territory	Israel
City	Haifa
Period	23/10/06 → 26/10/06

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-70889-6_16

Cite this

Hartman, A., Katara, M., & Olvovsky, S. (2007). Choosing a test modeling language: A survey. In Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers (pp. 204-218). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4383 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-70889-6_16

Hartman, Alan ; Katara, Mika ; Olvovsky, Sergey. / Choosing a test modeling language : A survey. Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. Springer Verlag, 2007. pp. 204-218 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{92c003128647454591a60f0757027b93,

title = "Choosing a test modeling language: A survey",

abstract = "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.",

author = "Alan Hartman and Mika Katara and Sergey Olvovsky",

year = "2007",

doi = "10.1007/978-3-540-70889-6_16",

language = "English",

isbn = "9783540708889",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "204--218",

booktitle = "Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers",

address = "Germany",

note = "2nd International Haifa Verification Conference, HVC 2006 ; Conference date: 23-10-2006 Through 26-10-2006",

}

Hartman, A, Katara, M & Olvovsky, S 2007, Choosing a test modeling language: A survey. in Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4383 LNCS, Springer Verlag, pp. 204-218, 2nd International Haifa Verification Conference, HVC 2006, Haifa, Israel, 23/10/06. https://doi.org/10.1007/978-3-540-70889-6_16

Choosing a test modeling language: A survey. / Hartman, Alan; Katara, Mika; Olvovsky, Sergey.
Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. Springer Verlag, 2007. p. 204-218 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4383 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Choosing a test modeling language

T2 - 2nd International Haifa Verification Conference, HVC 2006

AU - Hartman, Alan

AU - Katara, Mika

AU - Olvovsky, Sergey

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=38049115766&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-70889-6_16

DO - 10.1007/978-3-540-70889-6_16

M3 - Conference contribution

AN - SCOPUS:38049115766

SN - 9783540708889

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 204

EP - 218

BT - Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers

PB - Springer Verlag

Y2 - 23 October 2006 through 26 October 2006

ER -

Hartman A, Katara M, Olvovsky S. Choosing a test modeling language: A survey. In Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. Springer Verlag. 2007. p. 204-218. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-70889-6_16

Choosing a test modeling language: A survey

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this