Ins and Outs in Refusal Testing

A.W. Heerink

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    33 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 UT

    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.