Factorized Test Generation for Multi Input/Output Transition Systems

Hendrik Brinksma; A. Petrenko; A.W. Heerink; N. Yevtushenko; G.J. Tretmans

Factorized Test Generation for Multi Input/Output Transition Systems

Hendrik Brinksma, A. Petrenko (Editor), A.W. Heerink, N. Yevtushenko (Editor), G.J. Tretmans

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

1 Downloads (Pure)

Abstract

Abstract In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The test generation techniques are able to construct a sound (and complete) test suite for correctness criterion miocoF [5] by splitting up this correctness criterion into many simpler correctness criteria, and by generating tests for these simpler correctness criteria. By isolating the relevant part of the specification that is needed to generate tests for each of these simpler correctness criteria and using this part to generate tests from, test generation can be done more efficiently. These techniques are intended to keep the generation of tests from a specification feasible and manageable.

Original language	Undefined
Pages	67-82
Number of pages	16
Publication status	Published - 1998
Event	IFIP TC6 11th International Workshop on Testing Communicating Systems - Duration: 1 Jan 1998 → 1 Jan 1998

Workshop

Workshop	IFIP TC6 11th International Workshop on Testing Communicating Systems
Period	1/01/98 → 1/01/98

Keywords

FMT-TESTING
IR-63296
EWI-6475

Access to Document

http://eprints.eemcs.utwente.nl/secure2/6475/01/246_BrHeTr98.pdf

Cite this

@conference{2e65cd9a82b34fd383d25e38a89a8f57,

title = "Factorized Test Generation for Multi Input/Output Transition Systems",

abstract = "Abstract In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The test generation techniques are able to construct a sound (and complete) test suite for correctness criterion miocoF [5] by splitting up this correctness criterion into many simpler correctness criteria, and by generating tests for these simpler correctness criteria. By isolating the relevant part of the specification that is needed to generate tests for each of these simpler correctness criteria and using this part to generate tests from, test generation can be done more efficiently. These techniques are intended to keep the generation of tests from a specification feasible and manageable.",

keywords = "FMT-TESTING, IR-63296, EWI-6475",

author = "Hendrik Brinksma and A. Petrenko and A.W. Heerink and N. Yevtushenko and G.J. Tretmans",

year = "1998",

language = "Undefined",

pages = "67--82",

note = "IFIP TC6 11th International Workshop on Testing Communicating Systems ; Conference date: 01-01-1998 Through 01-01-1998",

}

TY - CONF

T1 - Factorized Test Generation for Multi Input/Output Transition Systems

AU - Brinksma, Hendrik

AU - Heerink, A.W.

AU - Tretmans, G.J.

A2 - Petrenko, A.

A2 - Yevtushenko, N.

PY - 1998

Y1 - 1998

N2 - Abstract In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The test generation techniques are able to construct a sound (and complete) test suite for correctness criterion miocoF [5] by splitting up this correctness criterion into many simpler correctness criteria, and by generating tests for these simpler correctness criteria. By isolating the relevant part of the specification that is needed to generate tests for each of these simpler correctness criteria and using this part to generate tests from, test generation can be done more efficiently. These techniques are intended to keep the generation of tests from a specification feasible and manageable.

AB - Abstract In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The test generation techniques are able to construct a sound (and complete) test suite for correctness criterion miocoF [5] by splitting up this correctness criterion into many simpler correctness criteria, and by generating tests for these simpler correctness criteria. By isolating the relevant part of the specification that is needed to generate tests for each of these simpler correctness criteria and using this part to generate tests from, test generation can be done more efficiently. These techniques are intended to keep the generation of tests from a specification feasible and manageable.

KW - FMT-TESTING

KW - IR-63296

KW - EWI-6475

M3 - Paper

SP - 67

EP - 82

T2 - IFIP TC6 11th International Workshop on Testing Communicating Systems

Y2 - 1 January 1998 through 1 January 1998

ER -