Minimizing the number of inputs while applying adaptive test cases

Information Processing Letters

Volumn 94, Issue 4, 2005, Pages 165-169

  Jourdan, Guy Vincent ^a   Ural, Hasan ^a   Zaguia, Nejib ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Adaptive test cases; Adaptive testing; Minimization of test inputs; Software engineering

Indexed keywords

ALGORITHMS; EMBEDDED SYSTEMS; MIDDLEWARE; MOBILE TELECOMMUNICATION SYSTEMS; NETWORK PROTOCOLS; SOFTWARE ENGINEERING; WORLD WIDE WEB;

ADAPTIVE TEST CASES; ADAPTIVE TESTING; IMPLEMENTATION UNDER TEST (IUT); MINIMIZATION OF TEST INPUTS;

SET THEORY;

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

References (7)

1. J. Grabowski, A. Wiles, C. Willcock, and D. Hogrefe On the design of the new testing language TTCN-3 Testing of Communicating Systems, Ottawa, Canada, September 2000 2000 Kluwer Academic Publishers Dordrecht 161 176
2. R.M. Hierons, and H. Ural Concerning the ordering of adaptive test sequences 23rd IFIP Internat. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE 2003) Lecture Notes in Comput. Sci. vol. 2767 2003 Springer-Verlag Berlin 289 302
3. R. Lai A survey of communication protocol testing J. Systems Softw. 62 1 2002 21 46
4. D. Lee, and M. Yannakakis Principles and methods of testing finite-state machines: a survey Proc. IEEE 84 8 1996 1089 1123
5. A. Pelc, and E. Upfal Reliable fault diagnosis with few tests Combin. Probab. Comput. 7 3 1998 323 333
6. A. Watanabe, K. Sakamura, A specification-based adaptive test case generation strategy for open operating system standards, in: Proc. 18th Internat. Conf. on Software Engineering, Berlin, Germany, May 1996, pp. 81-89
7. M. Yannakakis, Testing finite state machines, in: Proc. 23th Annual ACM Symp. on Theory of Computing, New Orleans, LA, January 1991, pp. 476-485