Automatic Testing with Formal Methods

Jan Tretmans; Axel Belinfante

Automatic Testing with Formal Methods

Jan Tretmans, Axel Belinfante

Research output: Book/Report › Report › Academic

166 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	English
Place of Publication	Enschede
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

Access to Document

Tretmans1999automatic
open
Final published version, 381 KB

Fingerprint Dive into the research topics of 'Automatic Testing with Formal Methods'. Together they form a unique fingerprint.

Cite this

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

author = "Jan Tretmans and Axel Belinfante",

year = "1999",

month = dec,

language = "English",

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, Jan

AU - Belinfante, Axel

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.

M3 - Report

T3 - CTIT Technical Report Series

BT - Automatic Testing with Formal Methods

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -