Automatic Testing with Formal Methods

G.J. Tretmans; Axel Belinfante

Automatic Testing with Formal Methods

G.J. Tretmans, Axel Belinfante

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional

22 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
Title of host publication	EuroSTAR'99: 7th European International Conference on Software Testing, Analysis & Review
Place of Publication	Galway, Ireland
Publisher	EuroStar Conferences
Number of pages	21
Publication status	Published - 1999
Event	7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999 - Barcelona, Spain Duration: 8 Nov 1999 → 12 Nov 1999 Conference number: 7

Conference

Conference	7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999
Abbreviated title	EuroSTAR
Country/Territory	Spain
City	Barcelona
Period	8/11/99 → 12/11/99

Keywords

FMT-TESTING

Access to Document

Tretmans1999automaticFinal published version, 346 KB

1 Report

Automatic Testing with Formal Methods
Tretmans, J. & Belinfante, A., Dec 1999, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. 99-17)
Research output: Book/Report › Report › Academic

Open Access
File

Cite this

@inproceedings{facc487425a6418dbb9c5959ef0a8363,

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 = "FMT-TESTING",

author = "G.J. Tretmans and Axel Belinfante",

year = "1999",

language = "English",

booktitle = "EuroSTAR'99: 7th European International Conference on Software Testing, Analysis & Review",

publisher = "EuroStar Conferences",

note = "7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999, EuroSTAR ; Conference date: 08-11-1999 Through 12-11-1999",

}

TY - GEN

T1 - Automatic Testing with Formal Methods

AU - Tretmans, G.J.

AU - Belinfante, Axel

N1 - Conference code: 7

PY - 1999

Y1 - 1999

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 - FMT-TESTING

M3 - Conference contribution

BT - EuroSTAR'99: 7th European International Conference on Software Testing, Analysis & Review

PB - EuroStar Conferences

CY - Galway, Ireland

T2 - 7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999

Y2 - 8 November 1999 through 12 November 1999

ER -

Automatic Testing with Formal Methods

Abstract

Conference

Keywords

Access to Document

Fingerprint

Research output

Automatic Testing with Formal Methods

Cite this