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 conferencePaperAcademicpeer-review

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 languageUndefined
Pages67-82
Number of pages16
Publication statusPublished - 1998

Keywords

  • FMT-TESTING
  • IR-63296
  • EWI-6475

Cite this

Brinksma, H., Petrenko, A. (Ed.), Heerink, A. W., Yevtushenko, N. (Ed.), & Tretmans, G. J. (1998). Factorized Test Generation for Multi Input/Output Transition Systems. 67-82.
Brinksma, Hendrik ; Petrenko, A. (Editor) ; Heerink, A.W. ; Yevtushenko, N. (Editor) ; Tretmans, G.J. / Factorized Test Generation for Multi Input/Output Transition Systems. 16 p.
@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",

}

Brinksma, H, Petrenko, A (ed.), Heerink, AW, Yevtushenko, N (ed.) & Tretmans, GJ 1998, 'Factorized Test Generation for Multi Input/Output Transition Systems' pp. 67-82.

Factorized Test Generation for Multi Input/Output Transition Systems. / Brinksma, Hendrik; Petrenko, A. (Editor); Heerink, A.W.; Yevtushenko, N. (Editor); Tretmans, G.J.

1998. 67-82.

Research output: Contribution to conferencePaperAcademicpeer-review

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

ER -

Brinksma H, Petrenko A, (ed.), Heerink AW, Yevtushenko N, (ed.), Tretmans GJ. Factorized Test Generation for Multi Input/Output Transition Systems. 1998.