International Conference on Formal Techniques for Networked and Distributed Systems

FORTE 2003: Formal Techniques for Networked and Distributed Systems - FORTE 2003 pp 289-302

Concerning the Ordering of Adaptive Test Sequences

  • Robert M. Hierons
  • Hasan Ural
Conference paper

DOI: 10.1007/978-3-540-39979-7_19

Volume 2767 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
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

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.

Download to read the full conference paper text

Copyright information

© IFIP International Federation for Information Processing 2003

Authors and Affiliations

  • Robert M. Hierons
    • 1
  • Hasan Ural
    • 2
  1. 1.Department of Information Systems and ComputingBrunel UniversityUxbridgeUK
  2. 2.School of Information Technology and Engineering, Faculty of EngineeringUniversity of OttawaOttawaCanada