TorX: Automated Model-Based Testing

G.J. Tretmans, Hendrik Brinksma

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

230 Downloads (Pure)

Abstract

Systematic testing is very important for assessing and improving the quality of software systems. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The Dutch research and development project Côte de Resyste worked on methods, techniques and tools for automating specification based testing using formal methods. The main achievement of the project is a test tool, baptized TorX, which integrates automatic test generation, test execution, and test analysis in an on-the-fly manner. On the one hand, TorX is based on well-defined theory, viz. the ioco-test theory, which has its roots in the theory of testing- and refusal-equivalences for transition systems. On the other hand, the applicability of TorX has been demonstrated by testing several academic and industrial case studies. This paper summarizes the main results of the project Côte de Resyste.
Original languageUndefined
Title of host publicationFirst European Conference on Model-Driven Software Engineering
EditorsA. Hartman, K. Dussa-Ziegler
Pages31-43
Number of pages13
Publication statusPublished - Dec 2003

Keywords

  • FMT-TESTING
  • METIS-233612
  • EWI-9475
  • IR-66990

Cite this

Tretmans, G. J., & Brinksma, H. (2003). TorX: Automated Model-Based Testing. In A. Hartman, & K. Dussa-Ziegler (Eds.), First European Conference on Model-Driven Software Engineering (pp. 31-43)
Tretmans, G.J. ; Brinksma, Hendrik. / TorX: Automated Model-Based Testing. First European Conference on Model-Driven Software Engineering. editor / A. Hartman ; K. Dussa-Ziegler. 2003. pp. 31-43
@inproceedings{16cb22c0962c42349e8846d75f5186c6,
title = "TorX: Automated Model-Based Testing",
abstract = "Systematic testing is very important for assessing and improving the quality of software systems. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The Dutch research and development project C{\^o}te de Resyste worked on methods, techniques and tools for automating specification based testing using formal methods. The main achievement of the project is a test tool, baptized TorX, which integrates automatic test generation, test execution, and test analysis in an on-the-fly manner. On the one hand, TorX is based on well-defined theory, viz. the ioco-test theory, which has its roots in the theory of testing- and refusal-equivalences for transition systems. On the other hand, the applicability of TorX has been demonstrated by testing several academic and industrial case studies. This paper summarizes the main results of the project C{\^o}te de Resyste.",
keywords = "FMT-TESTING, METIS-233612, EWI-9475, IR-66990",
author = "G.J. Tretmans and Hendrik Brinksma",
year = "2003",
month = "12",
language = "Undefined",
isbn = "not assigned",
pages = "31--43",
editor = "A. Hartman and K. Dussa-Ziegler",
booktitle = "First European Conference on Model-Driven Software Engineering",

}

Tretmans, GJ & Brinksma, H 2003, TorX: Automated Model-Based Testing. in A Hartman & K Dussa-Ziegler (eds), First European Conference on Model-Driven Software Engineering. pp. 31-43.

TorX: Automated Model-Based Testing. / Tretmans, G.J.; Brinksma, Hendrik.

First European Conference on Model-Driven Software Engineering. ed. / A. Hartman; K. Dussa-Ziegler. 2003. p. 31-43.

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

TY - GEN

T1 - TorX: Automated Model-Based Testing

AU - Tretmans, G.J.

AU - Brinksma, Hendrik

PY - 2003/12

Y1 - 2003/12

N2 - Systematic testing is very important for assessing and improving the quality of software systems. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The Dutch research and development project Côte de Resyste worked on methods, techniques and tools for automating specification based testing using formal methods. The main achievement of the project is a test tool, baptized TorX, which integrates automatic test generation, test execution, and test analysis in an on-the-fly manner. On the one hand, TorX is based on well-defined theory, viz. the ioco-test theory, which has its roots in the theory of testing- and refusal-equivalences for transition systems. On the other hand, the applicability of TorX has been demonstrated by testing several academic and industrial case studies. This paper summarizes the main results of the project Côte de Resyste.

AB - Systematic testing is very important for assessing and improving the quality of software systems. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The Dutch research and development project Côte de Resyste worked on methods, techniques and tools for automating specification based testing using formal methods. The main achievement of the project is a test tool, baptized TorX, which integrates automatic test generation, test execution, and test analysis in an on-the-fly manner. On the one hand, TorX is based on well-defined theory, viz. the ioco-test theory, which has its roots in the theory of testing- and refusal-equivalences for transition systems. On the other hand, the applicability of TorX has been demonstrated by testing several academic and industrial case studies. This paper summarizes the main results of the project Côte de Resyste.

KW - FMT-TESTING

KW - METIS-233612

KW - EWI-9475

KW - IR-66990

M3 - Conference contribution

SN - not assigned

SP - 31

EP - 43

BT - First European Conference on Model-Driven Software Engineering

A2 - Hartman, A.

A2 - Dussa-Ziegler, K.

ER -

Tretmans GJ, Brinksma H. TorX: Automated Model-Based Testing. In Hartman A, Dussa-Ziegler K, editors, First European Conference on Model-Driven Software Engineering. 2003. p. 31-43