Nature-inspired techniques for conformance testing of object-oriented software

Applied Soft Computing Journal

Volumn 10, Issue 3, 2010, Pages 730-745

  Bouchachia, A ^a   Mittermeir, R ^a   Sielecky, P ^a   Stafiej, S ^a   Zieminski, M ^a  

^a UNIVERSITY OF KLAGENFURT   (Austria)

Author keywords

Ant colony systems; Conformance testing; Evolutionary programming; Genetic algorithms; Testing data generation

Indexed keywords

CONFORMANCE TESTING; EVOLUTIONARY PROGRAMMING; FINITE STATE MACHINES; META HEURISTICS; OBJECT ORIENTED SOFTWARE; OBJECT-ORIENTED TESTING; OPTIMIZATION PROBLEMS; TESTING DATA;

COMPUTER SOFTWARE SELECTION AND EVALUATION; HEURISTIC METHODS; OBJECT ORIENTED PROGRAMMING; SOFT COMPUTING; SOFTWARE TESTING;

GENETIC ALGORITHMS;

EID: 77649238616     PISSN: 15684946     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.asoc.2009.09.003     Document Type: Article

References (50)

1. Al-Dallal J., and Sorenson P. Reusing class-based test cases for testing object-oriented framework interface classes. Journal of Softw. Maintenance 17 3 (2005) 169-196
2. Ali S., Briand L., Rehman M., Asghar H., Iqbal M., and Aamer Nadeem A. A state-based approach to integration testing based on UML models. Inform. Softw. Technol. 49 11-12 (2007) 1087-1106
3. Báck T., Gunter R., and Schwefel H. Evolutionary programming and evolution strategies: Similarities and differences. Proceedings of the 2nd Annual Conference on Evolutionary programming. Evolutionary Programming Society (1993)
4. Baresel A., Pohlheim H., and Sadeghipour S. Structural and Functional Sequence Test of Dynamic and State-based Software with Evolutionary Algorithms (2003), GECCO pp. 2428-2441
5. Bertolino A. Software testing research: achievements, challenges, dreams. Proceedings of the International Conference on Software Engineering (Future of Software Engineering). IEEE Computer Society (2007) pp. 85-103
6. Beydeda S., and Gruhn V. Integrating white- and black-box techniques for class-level regression testing. Proceedings of the 25th International Computer Software and Applications Conference on Investigating Software Development (2001)
7. Binder R. Testing Object-oriented Systems: Models, Patterns and Tool (1999), Addison-Wesley
8. Blickle T., and Thiele L. A comparison of selection schemes used in evolutionary algorithms. Evolut. Comput. 4 4 (1997) 361-394
9. Bogdanov K., Holcombe M., Ipate F., Seed L., and Vanak S. Testing methods for x-machines: a review. Formal Asp. Comput. 18 1 (2006) 3-30
10. Bonabeau E., Dorigo M., and Theraulaz G. Swarm Intelligence: From Natural to Artificial Systems (1999), Oxford University Press
11. Bouchachia A. An immune genetic algorithm for software test data generation. Proceedings of the 7th International Conference on Hybrid Intelligent Systems (HIS 2007). IEEE Computer Society (2007) pp. 84-89
12. Briand L., Di Penta M., and Labiche Y. Assessing and improving state-based class testing: a series of experiments. IEEE Trans. Softw. Eng. 30 11 (2004) 101-130
13. Chen H., Tse T., and Chen T. Taccle: a methodology for object-oriented software testing at the class and cluster levels. ACM Trans. Softw. Eng. Methodol. 10 1 (2001) 56-109
14. Chow T. Testing software design modeled by finite state machines. IEEE Trans. Softw. Eng. 4 3 (1978) 178-187
15. De Jong K.A. Evolutionary Computation: A Unified Approach (2006), MIT Press
16. Doong R., and Frankl P. The ASTOOT approach to testing object-oriented programs. ACM Trans. Softw. Eng. Methodol. 3 2 (1994) 101-130
17. Dorigo M., and Gambardella L. Ant colony system: a cooperative learning approach to the traveling salesman problem. IEEE Trans. Evolut. Comput. 1 1 (1997) 53-66
18. Dorigo M., Maniezzo V., and Colorni A. The ant system: optimization by a colony of cooperating agents. IEEE Trans. Syst. Man Cybern.: Part B 26 1 (1996) 29-41
19. Dorigo M., and Stützle T. Ant Colony Optimization (2004), MIT Press
20. El-Fakih K., Yevtushenko N., and Bochmann G. Fsm-based incremental conformance testing methods. IEEE Trans. Softw. Eng. 30 7 (2004) 425-436
21. Ferguson R., and Korel B. The chaining approach for software test data generation. ACM Trans. Softw. Eng. Methodol. 5 1 (1996) 63-86
22. Fogel L., Owens A., and Walsh M. Artificial Intelligence through Simulated Evolution (1966), John Wiley, New York
23. Fujiwara S., Bochmann G.v., Khendek F., Amalou M., and Ghedamsi A. Test selection based on finite state models. IEEE Trans. Softw. Eng. 17 6 (1991) 591-603
24. Gallagher L., Offutt J., and Cincotta A. Integration testing of object-oriented components using finite state machines: Research articles. Softw. Test. Verif. Reliab. 16 4 (2006) 215-266
25. Guo Q., Hierons R., Harman M., and Derderian K. Computing unique input/output sequences using genetic algorithms. Proceedings of Workshop on Formal Approaches to Testing of Software (2003) pp. 146-177
26. Guo Q., Hierons R., Harman M., and Derderian K. Improving test quality using robust unique input/output circuit sequences (uiocs). Inform. Softw. Technol. 48 8 (2006) 696-707
27. Guo Q., Hierons R., Harman M., and Derderian K. Heuristics for fault diagnosis when testing from finite state machines: research articles. Softw. Test. Verif. Reliab. 17 1 (2007) 41-57
28. Hartmann J., Imoberdorf C., and Meisinger M. UML-based integration testing. Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis (2000) pp. 60-70
29. Holland J. Adaptation in Natural and Artificial Systems (1975), The University of Michigan Press, Ann Arbor
30. Hong H., Kwon Y., and Cha S. Testing of object oriented programs based on finite state machines. Proceedings of the 2nd Asia-Pacific Software Engineering Conference (1995)
31. Jorgensen P., and Erickson C. Object-oriented integration testing. Commun. ACM 37 9 (1994) 30-38
32. Karl Doerner K., and Gutjahr W. Extracting test sequences from a markov software usage model by aco. Proceedings of the GECCO'03 (2003) pp. 2465-2476
33. Kennedy J., Eberhart R., and Shi Y. Swarm Intelligence (2001), Morgan Kaufmann Publ.
34. Y. Kim, H. Hong, D. Bae, S. Cha, Test cases generation from UML state diagrams, IEE Proc. of the 9th International Conference on Engineering Complex Computer System, 2004, pp. 75-84.
35. Korel B. Dynamic method of software test data generation. Softw. Test. Verif. Reliab. 2 4 (1992) 203-213
36. Lee D., and Yannakakis M. Testing finite-state machines: State identification and verification. IEEE Trans. Comput. 43 3 (1994) 306-320
37. Li H., and Lam C. An ant colony optimization approach to test sequence generation for statebased software testin. Proceedings of the International Conference on Quality Software (2005) pp. 255-264
38. Luo G., von Bochmann G., and Petrenko A. Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Trans. Softw. Eng. 20 2 (1994) 149-162
39. Hierous R. Comparing test sets and criteria in the presence of test hypotheses and fault domains. Trans. Softw. Eng. Methodol. 11 4 (2002) 427-448
40. Martina Marré M., and Bertolino A. Using spanning sets for coverage testing. IEEE Trans. Softw. Eng. 29 11 (2003) 974-984
41. McMinn P., and Holcombe M. The state problem for evolutionary testing. Proceedings of the Genetic and Evolutionary Computation Conference (GECC0) (2002)
42. McMinn P., and Holcombe M. Evolutionary testing of state-based programs. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2005) (2005) pp. 1013-1020
43. Offutt A., Xiong Y., and Liu S. Criteria for generating specification-based tests. Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (1999) pp. 119-126
44. Pargas R., Harrold M., and Peck R. Test-data generation using genetic algorithms. Softw. Test. Verif. Reliab. 9 4 (1999) 263-282
45. Ramalingam T., Das A., and Thulasiraman K. On testing and diagnosis of communication protocols based on the FSM model. Comput. Commun. 18 5 (1995) 329-337
46. Sidhu D., and Leung T. Formal methods for protocol testing: a detailed study. IEEE Trans. Softw. Eng. 15 4 (1989) 413-426
47. Tonella P. Evolutionary testing of classes. Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis (2004) pp. 119-128
48. Wappler S., and Lammermann F. Using evolutionary algorithms for the unit testing of object-oriented software. Proceedings of GECCO'05 (2005) pp. 1053-1060
49. Wegener J., Baresel A., and Sthamer H. Evolutionary test environment for automatic structural testing. Information and Software Technology 43 (2001) 841-854
50. Weyuker E. More experience with data flow testing. IEEE Trans. Softw. Eng. 19 9 (1993) 912-919