Côte de Resyste -- Automated Model Based Testing

G.J. Tretmans, Hendrik Brinksma

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

18 Downloads (Pure)

Abstract

Systematic testing is very important for assessing and improving the quality of embedded software. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The project Cˆote de Resyste has been working since 1998 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 iocotest 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.
Original languageUndefined
Title of host publication3rd PROGRESS workshop on Embedded Systems
EditorsM. Schweizer
Place of PublicationUtrecht
PublisherSTW Technology Foundation
Pages246-255
Number of pages10
ISBN (Print)90-73461-34-0
Publication statusPublished - 2002
Event3rd PROGRESS Workshop on Embedded Systems 2002 - Utrecht, Netherlands
Duration: 24 Oct 200224 Oct 2002
Conference number: 3

Publication series

Name
PublisherSTW Technology Foundation

Workshop

Workshop3rd PROGRESS Workshop on Embedded Systems 2002
Abbreviated titlePROGRESS
CountryNetherlands
CityUtrecht
Period24/10/0224/10/02

Keywords

  • EWI-6528
  • METIS-209019
  • FMT-TESTING
  • IR-63326

Cite this

Tretmans, G. J., & Brinksma, H. (2002). Côte de Resyste -- Automated Model Based Testing. In M. Schweizer (Ed.), 3rd PROGRESS workshop on Embedded Systems (pp. 246-255). Utrecht: STW Technology Foundation.
Tretmans, G.J. ; Brinksma, Hendrik. / Côte de Resyste -- Automated Model Based Testing. 3rd PROGRESS workshop on Embedded Systems. editor / M. Schweizer. Utrecht : STW Technology Foundation, 2002. pp. 246-255
@inproceedings{48c24e90291e46a6b86061faa5db2974,
title = "C{\^o}te de Resyste -- Automated Model Based Testing",
abstract = "Systematic testing is very important for assessing and improving the quality of embedded software. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The project Cˆote de Resyste has been working since 1998 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 iocotest 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.",
keywords = "EWI-6528, METIS-209019, FMT-TESTING, IR-63326",
author = "G.J. Tretmans and Hendrik Brinksma",
year = "2002",
language = "Undefined",
isbn = "90-73461-34-0",
publisher = "STW Technology Foundation",
pages = "246--255",
editor = "M. Schweizer",
booktitle = "3rd PROGRESS workshop on Embedded Systems",

}

Tretmans, GJ & Brinksma, H 2002, Côte de Resyste -- Automated Model Based Testing. in M Schweizer (ed.), 3rd PROGRESS workshop on Embedded Systems. STW Technology Foundation, Utrecht, pp. 246-255, 3rd PROGRESS Workshop on Embedded Systems 2002, Utrecht, Netherlands, 24/10/02.

Côte de Resyste -- Automated Model Based Testing. / Tretmans, G.J.; Brinksma, Hendrik.

3rd PROGRESS workshop on Embedded Systems. ed. / M. Schweizer. Utrecht : STW Technology Foundation, 2002. p. 246-255.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TY - GEN

T1 - Côte de Resyste -- Automated Model Based Testing

AU - Tretmans, G.J.

AU - Brinksma, Hendrik

PY - 2002

Y1 - 2002

N2 - Systematic testing is very important for assessing and improving the quality of embedded software. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The project Cˆote de Resyste has been working since 1998 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 iocotest 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.

AB - Systematic testing is very important for assessing and improving the quality of embedded software. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The project Cˆote de Resyste has been working since 1998 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 iocotest 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.

KW - EWI-6528

KW - METIS-209019

KW - FMT-TESTING

KW - IR-63326

M3 - Conference contribution

SN - 90-73461-34-0

SP - 246

EP - 255

BT - 3rd PROGRESS workshop on Embedded Systems

A2 - Schweizer, M.

PB - STW Technology Foundation

CY - Utrecht

ER -

Tretmans GJ, Brinksma H. Côte de Resyste -- Automated Model Based Testing. In Schweizer M, editor, 3rd PROGRESS workshop on Embedded Systems. Utrecht: STW Technology Foundation. 2002. p. 246-255