A little language for testing

Alex Groce; Jervis Pinto

doi:10.1007/978-3-319-17524-9_15

A little language for testing

Alex Groce, Jervis Pinto

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

13 Scopus citations

Abstract

The difficulty of writing test harnesses is a major obstacle to the adoption of automated testing and model checking. Languages designed for harness definition are usually tied to a particular tool and unfamiliar to programmers; moreover, such languages can limit expressiveness. Writing a harness directly in the language of the software under test (SUT) makes it hard to change testing algorithms, offers no support for the common testing idioms, and tends to produce repetitive, hard to- read code. This makes harness generation a natural fit for the use of an unusual kind of domain-specific language (DSL). This paper defines a template scripting testing language, TSTL, and shows how it can be used to produce succinct, readable definitions of state spaces. The concepts underlying TSTL are demonstrated in Python but are not tied to it.

Original language	English (US)
Title of host publication	NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings
Editors	Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Publisher	Springer-Verlag
Pages	204-218
Number of pages	15
ISBN (Print)	9783319175232
DOIs	https://doi.org/10.1007/978-3-319-17524-9_15
State	Published - 2015
Externally published	Yes
Event	7th International Symposium on NASA Formal Methods, NFM 2015 - Pasadena, United States Duration: Apr 27 2015 → Apr 29 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9058

Conference

Conference	7th International Symposium on NASA Formal Methods, NFM 2015
Country/Territory	United States
City	Pasadena
Period	4/27/15 → 4/29/15

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-17524-9_15

Cite this

Groce, A., & Pinto, J. (2015). A little language for testing. In K. Havelund, G. Holzmann, & R. Joshi (Eds.), NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings (pp. 204-218). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9058). Springer-Verlag. https://doi.org/10.1007/978-3-319-17524-9_15

A little language for testing. / Groce, Alex; Pinto, Jervis.
NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. ed. / Klaus Havelund; Gerard Holzmann; Rajeev Joshi. Springer-Verlag, 2015. p. 204-218 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9058).

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

Groce, A & Pinto, J 2015, A little language for testing. in K Havelund, G Holzmann & R Joshi (eds), NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9058, Springer-Verlag, pp. 204-218, 7th International Symposium on NASA Formal Methods, NFM 2015, Pasadena, United States, 4/27/15. https://doi.org/10.1007/978-3-319-17524-9_15

Groce A, Pinto J. A little language for testing. In Havelund K, Holzmann G, Joshi R, editors, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Springer-Verlag. 2015. 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-319-17524-9_15

@inproceedings{731229ea3c9941bb92a376ad5d08af43,

title = "A little language for testing",

abstract = "The difficulty of writing test harnesses is a major obstacle to the adoption of automated testing and model checking. Languages designed for harness definition are usually tied to a particular tool and unfamiliar to programmers; moreover, such languages can limit expressiveness. Writing a harness directly in the language of the software under test (SUT) makes it hard to change testing algorithms, offers no support for the common testing idioms, and tends to produce repetitive, hard to- read code. This makes harness generation a natural fit for the use of an unusual kind of domain-specific language (DSL). This paper defines a template scripting testing language, TSTL, and shows how it can be used to produce succinct, readable definitions of state spaces. The concepts underlying TSTL are demonstrated in Python but are not tied to it.",

author = "Alex Groce and Jervis Pinto",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 7th International Symposium on NASA Formal Methods, NFM 2015 ; Conference date: 27-04-2015 Through 29-04-2015",

year = "2015",

doi = "10.1007/978-3-319-17524-9_15",

language = "English (US)",

isbn = "9783319175232",

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

publisher = "Springer-Verlag",

pages = "204--218",

editor = "Klaus Havelund and Gerard Holzmann and Rajeev Joshi",

booktitle = "NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings",

}

TY - GEN

T1 - A little language for testing

AU - Groce, Alex

AU - Pinto, Jervis

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2015.

PY - 2015

Y1 - 2015

N2 - The difficulty of writing test harnesses is a major obstacle to the adoption of automated testing and model checking. Languages designed for harness definition are usually tied to a particular tool and unfamiliar to programmers; moreover, such languages can limit expressiveness. Writing a harness directly in the language of the software under test (SUT) makes it hard to change testing algorithms, offers no support for the common testing idioms, and tends to produce repetitive, hard to- read code. This makes harness generation a natural fit for the use of an unusual kind of domain-specific language (DSL). This paper defines a template scripting testing language, TSTL, and shows how it can be used to produce succinct, readable definitions of state spaces. The concepts underlying TSTL are demonstrated in Python but are not tied to it.

AB - The difficulty of writing test harnesses is a major obstacle to the adoption of automated testing and model checking. Languages designed for harness definition are usually tied to a particular tool and unfamiliar to programmers; moreover, such languages can limit expressiveness. Writing a harness directly in the language of the software under test (SUT) makes it hard to change testing algorithms, offers no support for the common testing idioms, and tends to produce repetitive, hard to- read code. This makes harness generation a natural fit for the use of an unusual kind of domain-specific language (DSL). This paper defines a template scripting testing language, TSTL, and shows how it can be used to produce succinct, readable definitions of state spaces. The concepts underlying TSTL are demonstrated in Python but are not tied to it.

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

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

U2 - 10.1007/978-3-319-17524-9_15

DO - 10.1007/978-3-319-17524-9_15

M3 - Conference contribution

SN - 9783319175232

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

SP - 204

EP - 218

BT - NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings

A2 - Havelund, Klaus

A2 - Holzmann, Gerard

A2 - Joshi, Rajeev

PB - Springer-Verlag

T2 - 7th International Symposium on NASA Formal Methods, NFM 2015

Y2 - 27 April 2015 through 29 April 2015

ER -

A little language for testing

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this