Concerning the Ordering of Adaptive Test Sequences
The testing of a state-based system may involve the application of a number of adaptive test sequences. Where the implementation under test (IUT) is deterministic, the response of the IUT to some adaptive test sequence γ1 may be capable of determining the response of the IUT to some other adaptive test sequence γ2. Thus, the expected cost of applying a set of adaptive test sequences depends upon the order in which they are applied. This paper explores properties of adaptive test sequences and the problem of finding an order of application, of the elements from some set of adaptive test sequences, that minimises the expected cost of testing.
- 2.Brinksma, E.: A theory for the derivation of tests. In: Proceedings of Protocol Specification, Testing, and Verification VIII, Atlantic City, pp. 63–74. North-Holland, Amsterdam (1988)Google Scholar
- 5.Joint Technical Committee ISO/IEC JTC 1. International Standard ISO/IEC 9646-1. Information Technology - Open Systems Interconnection – Conformance testing methodology and framework - Part 1: General concepts. ISO/IEC (1994) Google Scholar
- 6.ITU-T. Recommendation Z.500 Framework on formal methods in conformance testing. International Telecommunications Union, Geneva, Switzerland (1997) Google Scholar
- 9.Tripathy, P., Naik, K.: Generation of adaptive test cases from non-deterministic finite state models. In: Proceedings of the 5th International Workshop on Protocol Test Systems, Montreal, pp. 309–320 (September 1992)Google Scholar