A Formal Approach to Conformance Testing

G.J. Tretmans

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

137 Downloads (Pure)

Abstract

In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known as protocol conformance testing. This thesis deals with a formal approach to protocol conformance testing. Testing is performed based on a formal specification of the protocol. The final aim is to obtain methods for the (automatic) derivation of useful sets of tests from formal specifications. The derived tests should be provably correct, which means that they should not detect errors in correct implementations. Moreover, the derived tests should be meaningful: erroneous implementations should be detected with a high probability. An important aspect is a formal definition of what constitutes correctness, i.e. when does a protocol implementation conform to a protocol specification.
Original languageUndefined
Awarding Institution
  • University of Twente
Supervisors/Advisors
  • Brinksma, Hendrik , Supervisor
Award date1 Jan 1992
Place of PublicationEnschede
Publisher
Print ISBNs90-9005643-2
Publication statusPublished - 1992

Keywords

  • METIS-118407
  • IR-58114
  • FMT-TESTING
  • EWI-6556

Cite this

Tretmans, G. J. (1992). A Formal Approach to Conformance Testing. Enschede: Universiteit Twente.
Tretmans, G.J.. / A Formal Approach to Conformance Testing. Enschede : Universiteit Twente, 1992. 267 p.
@phdthesis{15a94a0ea1aa4cee8cd1907d5ab71ead,
title = "A Formal Approach to Conformance Testing",
abstract = "In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known as protocol conformance testing. This thesis deals with a formal approach to protocol conformance testing. Testing is performed based on a formal specification of the protocol. The final aim is to obtain methods for the (automatic) derivation of useful sets of tests from formal specifications. The derived tests should be provably correct, which means that they should not detect errors in correct implementations. Moreover, the derived tests should be meaningful: erroneous implementations should be detected with a high probability. An important aspect is a formal definition of what constitutes correctness, i.e. when does a protocol implementation conform to a protocol specification.",
keywords = "METIS-118407, IR-58114, FMT-TESTING, EWI-6556",
author = "G.J. Tretmans",
year = "1992",
language = "Undefined",
isbn = "90-9005643-2",
publisher = "Universiteit Twente",
school = "University of Twente",

}

Tretmans, GJ 1992, 'A Formal Approach to Conformance Testing', University of Twente, Enschede.

A Formal Approach to Conformance Testing. / Tretmans, G.J.

Enschede : Universiteit Twente, 1992. 267 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

TY - THES

T1 - A Formal Approach to Conformance Testing

AU - Tretmans, G.J.

PY - 1992

Y1 - 1992

N2 - In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known as protocol conformance testing. This thesis deals with a formal approach to protocol conformance testing. Testing is performed based on a formal specification of the protocol. The final aim is to obtain methods for the (automatic) derivation of useful sets of tests from formal specifications. The derived tests should be provably correct, which means that they should not detect errors in correct implementations. Moreover, the derived tests should be meaningful: erroneous implementations should be detected with a high probability. An important aspect is a formal definition of what constitutes correctness, i.e. when does a protocol implementation conform to a protocol specification.

AB - In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known as protocol conformance testing. This thesis deals with a formal approach to protocol conformance testing. Testing is performed based on a formal specification of the protocol. The final aim is to obtain methods for the (automatic) derivation of useful sets of tests from formal specifications. The derived tests should be provably correct, which means that they should not detect errors in correct implementations. Moreover, the derived tests should be meaningful: erroneous implementations should be detected with a high probability. An important aspect is a formal definition of what constitutes correctness, i.e. when does a protocol implementation conform to a protocol specification.

KW - METIS-118407

KW - IR-58114

KW - FMT-TESTING

KW - EWI-6556

M3 - PhD Thesis - Research UT, graduation UT

SN - 90-9005643-2

PB - Universiteit Twente

CY - Enschede

ER -

Tretmans GJ. A Formal Approach to Conformance Testing. Enschede: Universiteit Twente, 1992. 267 p.