Applying adaptive test cases to nondeterministic implementations

Information Processing Letters

Volumn 98, Issue 2, 2006, Pages 56-60

  Hierons, R M ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

Adaptive test cases; Minimising cost; Nondeterministic implementation; Software engineering; State based testing; Test execution

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; NETWORK PROTOCOLS; PROBLEM SOLVING;

ADAPTIVE TEST CASES; MINIMISING COST; NONDETERMINISTIC IMPLEMENTATION; STATE-BASED TESTING; TEST EXECUTION;

SOFTWARE ENGINEERING;

EID: 32844458394     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2005.12.001     Document Type: Article

References (10)

1. H. AboElFotoh, O. Abou-Rabia, and H. Ural A test generation algorithm for protocols modeled as non-deterministic FSMs Software Engrg. J. 8 4 1993 184 188
2. J. Grabowski, A. Wiles, C. Willcock, and D. Hogrefe On the design of the new testing language TTCN-3 Testing of Communicating Systems, Ottawa, August 29-September 1, 2000 2000 Kluwer Academic Publishers Dordrecht 161 176
3. R.M. Hierons Testing from a non-deterministic finite state machine using adaptive state counting IEEE Trans. Comput. 53 10 2004 1330 1342
4. R.M. Hierons, and H. Ural Concerning the ordering of adaptive test sequences 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003), Berlin, Germany, September 29-October 2, 2003 Lecture Notes in Comput. Sci. vol. 2767 2003 Springer-Verlag Berlin 289 302
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
6. ITU-T Recommendation Z.500. Framework on Formal Methods in Conformance Testing 1997 International Telecommunications Union Geneva, Switzerland
7. G.-V. Jourdan, H. Ural, and N. Zaguia Minimizing the number of inputs while applying adaptive tests Inform. Process. Lett. 94 4 2005 165 169
8. G.L. Luo, G.V. Bochmann, and A. Petrenko Test selection based on communicating nondeterministic finite state machines using a generalized Wp-method IEEE Trans. Software Engrg. 20 2 1994 149 161
9. P. Tripathy, K. Naik, Generation of adaptive test cases from non-deterministic finite state models, in: Proc. 5th Internat. Workshop on Protocol Test Systems, Montreal, September 1992, pp. 309-320
10. H. Zhu, and X. He A methodology of testing high-level Petri nets Inform. Software Technol. 44 2002 473 489