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