Automatic Testing with Formal Methods

G.J. Tretmans, Axel Belinfante

Research output: Book/ReportReportAcademic

10 Downloads (Pure)

Abstract

The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which automates both test derivation and test execution on-the-fly, and an application case study is discussed.
Original languageUndefined
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages21
Publication statusPublished - Dec 1999

Publication series

NameCTIT Technical Report Series
No.99-17
ISSN (Print)1381-3625

Keywords

  • EWI-5961
  • IR-63137
  • METIS-118685

Cite this

Tretmans, G. J., & Belinfante, A. (1999). Automatic Testing with Formal Methods. (CTIT Technical Report Series; No. 99-17). Centre for Telematics and Information Technology (CTIT).
Tretmans, G.J. ; Belinfante, Axel. / Automatic Testing with Formal Methods. Centre for Telematics and Information Technology (CTIT), 1999. 21 p. (CTIT Technical Report Series; 99-17).
@book{e30f365c336c4afa90ae56e5bdd84002,
title = "Automatic Testing with Formal Methods",
abstract = "The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which automates both test derivation and test execution on-the-fly, and an application case study is discussed.",
keywords = "EWI-5961, IR-63137, METIS-118685",
author = "G.J. Tretmans and Axel Belinfante",
note = "Imported from CTIT",
year = "1999",
month = "12",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "99-17",
address = "Netherlands",

}

Tretmans, GJ & Belinfante, A 1999, Automatic Testing with Formal Methods. CTIT Technical Report Series, no. 99-17, Centre for Telematics and Information Technology (CTIT).

Automatic Testing with Formal Methods. / Tretmans, G.J.; Belinfante, Axel.

Centre for Telematics and Information Technology (CTIT), 1999. 21 p. (CTIT Technical Report Series; No. 99-17).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - Automatic Testing with Formal Methods

AU - Tretmans, G.J.

AU - Belinfante, Axel

N1 - Imported from CTIT

PY - 1999/12

Y1 - 1999/12

N2 - The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which automates both test derivation and test execution on-the-fly, and an application case study is discussed.

AB - The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which automates both test derivation and test execution on-the-fly, and an application case study is discussed.

KW - EWI-5961

KW - IR-63137

KW - METIS-118685

M3 - Report

T3 - CTIT Technical Report Series

BT - Automatic Testing with Formal Methods

PB - Centre for Telematics and Information Technology (CTIT)

ER -

Tretmans GJ, Belinfante A. Automatic Testing with Formal Methods. Centre for Telematics and Information Technology (CTIT), 1999. 21 p. (CTIT Technical Report Series; 99-17).