Abstract.
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.
Chapter PDF
Similar content being viewed by others
References
AboElFotoh, H., Abou-Rabia, O., Ural, H.: A test generation algorithm for protocols modeled as non-deterministic FSMs. The Software Engineering Journal 8, 184–188 (1993)
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)
Grabowski, J., Wiles, A., Willcock, C., Hogrefe, D.: On the design of the new testing language TTCN-3. In: Testing of Communicating Systems, Ottawa, August 29 - September 1, pp. 161–176. Kluwer Academic Publishers, Dordrecht (2000)
Hierons, R.M.: Generating candidates when testing a deterministic implementation against a non-deterministic finite state machine. The Computer Journal 46, 307–318 (2003)
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)
ITU-T. Recommendation Z.500 Framework on formal methods in conformance testing. International Telecommunications Union, Geneva, Switzerland (1997)
Lee, D., Yannakakis, M.: Principles and methods of testing finite-state machines - a survey. Proceedings of the IEEE 84, 1089–1123 (1996)
Tretmans, J.: Conformance testing with labelled transitions systems: Implementation relations and test generation. Computer Networks and ISDN Systems 29, 49–79 (1996)
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)
Yoo, S., Kim, M., Kang, D.: An approach to dynamic protocol testing. In: IFIP TC6 10th International Workshop on Testing of Communicating Systems, Cheju Island, Korea, pp. 183–199. Chapman and Hall, London (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP International Federation for Information Processing
About this paper
Cite this paper
Hierons, R.M., Ural, H. (2003). Concerning the Ordering of Adaptive Test Sequences. In: König, H., Heiner, M., Wolisz, A. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2003. FORTE 2003. Lecture Notes in Computer Science, vol 2767. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39979-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-39979-7_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20175-5
Online ISBN: 978-3-540-39979-7
eBook Packages: Springer Book Archive