Automatic Testing with Formal Methods

Jan Tretmans; Axel Belinfante

Automatic Testing with Formal Methods

Jan Tretmans, Axel Belinfante

Research output: Book/Report › Report › Academic

548 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

Tretmans1999automaticFinal published version, 381 KB

1 Conference contribution

Automatic Testing with Formal Methods
Tretmans, G. J. & Belinfante, A., 1999, EuroSTAR'99: 7th European International Conference on Software Testing, Analysis & Review. Galway, Ireland: EuroStar Conferences, 21 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional

Open Access
File

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 -

Automatic Testing with Formal Methods

Abstract

Publication series

Access to Document

Fingerprint

Research output

Automatic Testing with Formal Methods

Cite this