Testing theory in practice: a simple experiment

R. Terpstra; Z. Brezocnik; T. Kapus; Luis Ferreira Pires; A.W. Heerink; G.J. Tretmans

Testing theory in practice: a simple experiment

R. Terpstra, Z. Brezocnik (Editor), T. Kapus (Editor), Luis Ferreira Pires, A.W. Heerink, G.J. Tretmans

Research output: Contribution to conference › Paper › peer-review

95 Downloads (Pure)

Abstract

In this paper we discuss the experiences gained in conducting a simple testing experiment. The goal of this experiment is to apply the abstract, formal testing framework [8] in a practical setting, and to indicate the critical aspects in its application to realistic testing situations. For that purpose a formal description of the system under test (SUT) is made from which tests are systematically derived. These tests are interpreted and executed by a tester against concrete implementations, thereby giving an indication about the correctness of these implementations.

Original language	Undefined
Pages	168-183
Number of pages	16
Publication status	Published - 1996
Event	COST 247 International Workshop on Applied Formal Methods in System Design 1996 - Maribor, Slovenia Duration: 17 Jun 1996 → 19 Jun 1996

Workshop

Workshop	COST 247 International Workshop on Applied Formal Methods in System Design 1996
Country/Territory	Slovenia
City	Maribor
Period	17/06/96 → 19/06/96

Keywords

IR-66782
SCS-Services
EWI-8783

Access to Document

http://lms.uni-mb.si/cost247/proc/

Cite this

@conference{6c2e39a7987448ffb334a20e549f2b51,

title = "Testing theory in practice: a simple experiment",

abstract = "In this paper we discuss the experiences gained in conducting a simple testing experiment. The goal of this experiment is to apply the abstract, formal testing framework [8] in a practical setting, and to indicate the critical aspects in its application to realistic testing situations. For that purpose a formal description of the system under test (SUT) is made from which tests are systematically derived. These tests are interpreted and executed by a tester against concrete implementations, thereby giving an indication about the correctness of these implementations.",

keywords = "IR-66782, SCS-Services, EWI-8783",

author = "R. Terpstra and Z. Brezocnik and T. Kapus and {Ferreira Pires}, Luis and A.W. Heerink and G.J. Tretmans",

note = "Imported from research group ASNA (ID number 241); COST 247 International Workshop on Applied Formal Methods in System Design 1996 ; Conference date: 17-06-1996 Through 19-06-1996",

year = "1996",

language = "Undefined",

pages = "168--183",

}

TY - CONF

T1 - Testing theory in practice: a simple experiment

AU - Terpstra, R.

AU - Ferreira Pires, Luis

AU - Heerink, A.W.

AU - Tretmans, G.J.

A2 - Brezocnik, Z.

A2 - Kapus, T.

N1 - Imported from research group ASNA (ID number 241)

PY - 1996

Y1 - 1996

N2 - In this paper we discuss the experiences gained in conducting a simple testing experiment. The goal of this experiment is to apply the abstract, formal testing framework [8] in a practical setting, and to indicate the critical aspects in its application to realistic testing situations. For that purpose a formal description of the system under test (SUT) is made from which tests are systematically derived. These tests are interpreted and executed by a tester against concrete implementations, thereby giving an indication about the correctness of these implementations.

AB - In this paper we discuss the experiences gained in conducting a simple testing experiment. The goal of this experiment is to apply the abstract, formal testing framework [8] in a practical setting, and to indicate the critical aspects in its application to realistic testing situations. For that purpose a formal description of the system under test (SUT) is made from which tests are systematically derived. These tests are interpreted and executed by a tester against concrete implementations, thereby giving an indication about the correctness of these implementations.

KW - IR-66782

KW - SCS-Services

KW - EWI-8783

M3 - Paper

SP - 168

EP - 183

T2 - COST 247 International Workshop on Applied Formal Methods in System Design 1996

Y2 - 17 June 1996 through 19 June 1996

ER -