Automatic Testing with Formal Methods

G.J. Tretmans; Axel Belinfante

Automatic Testing with Formal Methods

G.J. Tretmans, Axel Belinfante

Research output: Book/Report › Report › Academic

144 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 language	Undefined
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	21
Publication status	Published - Dec 1999

Publication series

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

Keywords

EWI-5961
IR-63137
METIS-118685

Access to Document

0000002e
open
Final published version, 381 KB

http://www.ub.utwente.nl/webdocs/ctit/1/0000002e.pdf

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

@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",

}

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 -