Ins and Outs in Refusal Testing

A.W. Heerink

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

26 Downloads (Pure)

Abstract

This thesis is about black-box formal conformance testing for reactive systems. A reactive system is a system that exchanges information with, or interacts with, its environment. Such system does not continuously operate in an autonomic manner, but its behaviour depends on the interactions that can be performed between the system and its environment. Many realistic systems behave as reactive systems, e.g., cash dispensers, television sets, coee machines, communication protocols, etc. Although the topics in this thesis are not necessarily restricted to the domain of communication protocols, most of the concepts will be explained with such applications in mind. Formal conformance testing for reactive systems assumes the presence of a specication in a formal language, and aims at checking, by means of testing, whether implementations comply with the specied behaviour. In black-box formal conformance testing no internal details of the implementations are known: only the interactions between the system and its environment (i.e., the observer) are visible. The objectives of this thesis are (i) to develop a formal conformance testing theory that is applicable to a large class of existing reactive systems and that is of signicant practical interest, and (ii) to apply the standard `Formal Methods in Conformance Testing' (FMCT) [ISO96]. This standard defines a framework for the use of formal methods in conformance testing and is complementary to the international standard IS-9646 `OSI Conformance Testing Methodology and Framework' that is mainly intended for specications written in a natural language. By instantiating the abstract testing concepts described in FMCT with the concrete ones based on the testing theory described in this thesis and by applying these instantiated concepts to a concrete example, we hope to show viability of the testing theory in practical situations.
Original languageUndefined
Supervisors/Advisors
  • Brinksma, Hendrik , Supervisor
  • Tretmans, G.J., Advisor
Award date8 May 1998
Place of PublicationEnschede
Publisher
Print ISBNs90-365-1128-3
Publication statusPublished - 8 May 1998

Keywords

  • METIS-118437
  • FMT-TESTING
  • EWI-12762
  • IR-17918

Cite this

Heerink, A. W. (1998). Ins and Outs in Refusal Testing. Enschede: Universiteit Twente.
Heerink, A.W.. / Ins and Outs in Refusal Testing. Enschede : Universiteit Twente, 1998. 188 p.
@phdthesis{a642da8ccdb54a1ba46bf33a9b999d17,
title = "Ins and Outs in Refusal Testing",
abstract = "This thesis is about black-box formal conformance testing for reactive systems. A reactive system is a system that exchanges information with, or interacts with, its environment. Such system does not continuously operate in an autonomic manner, but its behaviour depends on the interactions that can be performed between the system and its environment. Many realistic systems behave as reactive systems, e.g., cash dispensers, television sets, coee machines, communication protocols, etc. Although the topics in this thesis are not necessarily restricted to the domain of communication protocols, most of the concepts will be explained with such applications in mind. Formal conformance testing for reactive systems assumes the presence of a specication in a formal language, and aims at checking, by means of testing, whether implementations comply with the specied behaviour. In black-box formal conformance testing no internal details of the implementations are known: only the interactions between the system and its environment (i.e., the observer) are visible. The objectives of this thesis are (i) to develop a formal conformance testing theory that is applicable to a large class of existing reactive systems and that is of signicant practical interest, and (ii) to apply the standard `Formal Methods in Conformance Testing' (FMCT) [ISO96]. This standard defines a framework for the use of formal methods in conformance testing and is complementary to the international standard IS-9646 `OSI Conformance Testing Methodology and Framework' that is mainly intended for specications written in a natural language. By instantiating the abstract testing concepts described in FMCT with the concrete ones based on the testing theory described in this thesis and by applying these instantiated concepts to a concrete example, we hope to show viability of the testing theory in practical situations.",
keywords = "METIS-118437, FMT-TESTING, EWI-12762, IR-17918",
author = "A.W. Heerink",
year = "1998",
month = "5",
day = "8",
language = "Undefined",
isbn = "90-365-1128-3",
publisher = "Universiteit Twente",

}

Heerink, AW 1998, 'Ins and Outs in Refusal Testing', Enschede.

Ins and Outs in Refusal Testing. / Heerink, A.W.

Enschede : Universiteit Twente, 1998. 188 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

TY - THES

T1 - Ins and Outs in Refusal Testing

AU - Heerink, A.W.

PY - 1998/5/8

Y1 - 1998/5/8

N2 - This thesis is about black-box formal conformance testing for reactive systems. A reactive system is a system that exchanges information with, or interacts with, its environment. Such system does not continuously operate in an autonomic manner, but its behaviour depends on the interactions that can be performed between the system and its environment. Many realistic systems behave as reactive systems, e.g., cash dispensers, television sets, coee machines, communication protocols, etc. Although the topics in this thesis are not necessarily restricted to the domain of communication protocols, most of the concepts will be explained with such applications in mind. Formal conformance testing for reactive systems assumes the presence of a specication in a formal language, and aims at checking, by means of testing, whether implementations comply with the specied behaviour. In black-box formal conformance testing no internal details of the implementations are known: only the interactions between the system and its environment (i.e., the observer) are visible. The objectives of this thesis are (i) to develop a formal conformance testing theory that is applicable to a large class of existing reactive systems and that is of signicant practical interest, and (ii) to apply the standard `Formal Methods in Conformance Testing' (FMCT) [ISO96]. This standard defines a framework for the use of formal methods in conformance testing and is complementary to the international standard IS-9646 `OSI Conformance Testing Methodology and Framework' that is mainly intended for specications written in a natural language. By instantiating the abstract testing concepts described in FMCT with the concrete ones based on the testing theory described in this thesis and by applying these instantiated concepts to a concrete example, we hope to show viability of the testing theory in practical situations.

AB - This thesis is about black-box formal conformance testing for reactive systems. A reactive system is a system that exchanges information with, or interacts with, its environment. Such system does not continuously operate in an autonomic manner, but its behaviour depends on the interactions that can be performed between the system and its environment. Many realistic systems behave as reactive systems, e.g., cash dispensers, television sets, coee machines, communication protocols, etc. Although the topics in this thesis are not necessarily restricted to the domain of communication protocols, most of the concepts will be explained with such applications in mind. Formal conformance testing for reactive systems assumes the presence of a specication in a formal language, and aims at checking, by means of testing, whether implementations comply with the specied behaviour. In black-box formal conformance testing no internal details of the implementations are known: only the interactions between the system and its environment (i.e., the observer) are visible. The objectives of this thesis are (i) to develop a formal conformance testing theory that is applicable to a large class of existing reactive systems and that is of signicant practical interest, and (ii) to apply the standard `Formal Methods in Conformance Testing' (FMCT) [ISO96]. This standard defines a framework for the use of formal methods in conformance testing and is complementary to the international standard IS-9646 `OSI Conformance Testing Methodology and Framework' that is mainly intended for specications written in a natural language. By instantiating the abstract testing concepts described in FMCT with the concrete ones based on the testing theory described in this thesis and by applying these instantiated concepts to a concrete example, we hope to show viability of the testing theory in practical situations.

KW - METIS-118437

KW - FMT-TESTING

KW - EWI-12762

KW - IR-17918

M3 - PhD Thesis - Research UT, graduation UT

SN - 90-365-1128-3

PB - Universiteit Twente

CY - Enschede

ER -

Heerink AW. Ins and Outs in Refusal Testing. Enschede: Universiteit Twente, 1998. 188 p.