Generating feasible transition paths for testing from an extended finite state machine (EFSM)

Proceedings - 2nd International Conference on Software Testing, Verification, and Validation, ICST 2009

Volumn , Issue , 2009, Pages 230-239

  Kalaji, Abdul Salam ^a   Hierons, Robert M ^a   Swift, S ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW; EXTENDED FINITE STATE MACHINE; MODEL BASED TESTING; RESEARCH PROBLEMS; TEST DATA; TRANSITION PATHS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTOUR FOLLOWERS; SOFTWARE TESTING;

VERIFICATION;

EID: 67649230534     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2009.29     Document Type: Conference Paper

References (31)

1. B. Korel, "Automated software test data generation," Software Engineering, IEEE Transactions on, vol. 16, pp. 870-879, 1990. (Pubitemid 20738724)
2. P. McMinn, "Search-based software test data generation: a survey: Research Articles," Software Testing, Verification & Reliability, vol. 14, pp. 105-156, 2004.
3. C. C. Michael, G. McGraw, and M. A. Schatz, "Generating software test data by evolution," Software Engineering, IEEE Transactions on, vol. 27, pp. 1085- 1110, 2001. (Pubitemid 34035564)
4. A. Petrenko, S. Boroday, and R. Groz, "Confirming configurations in EFSM testing," Software Engineering, IEEE Transactions on, vol. 30, pp. 29-42, 2004.
5. R. Lai, "A survey of communication protocol testing," Journal of Systems and Software, vol. 62, pp. 21-46, 2002. (Pubitemid 34506097)
6. D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines-a survey," Proceedings of the IEEE, vol. 84, pp. 1090-1123, 1996. (Pubitemid 126752579)
7. A. Y. Duale and M. U. Uyar, "A method enabling feasible conformance test sequence generation for EFSM models," Computers, IEEE Transactions on, vol. 53, pp. 614-627, 2004.
8. L. H. Tahat, B. Vaysburg, B. Korel, and A. J. Bader, "Requirement- based automated black-box test generation," presented at COMPSAC 2001. 25th Annual International, pp. 489-495, 2001. (Pubitemid 33068663)
9. S. T. Chanson and J. Zhu, "A unified approach to protocol test sequence generation," presented at Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies. Networking: Foundation for the Future. IEEE, pp. 106-114, 1993.
10. H. Ural and B. Yang, "A test sequence selection method for protocol testing," Communications, IEEE Transactions on, vol. 39, pp. 514-523, 1991.
11. K. Derderian, R. M. Hierons, M. Harman, and Q. Guo, "Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms," in Proceedings of the 2005 conference on Genetic and evolutionary computation. Washington DC, USA: ACM, pp. 1081-1082, 2005. (Pubitemid 43226418)
12. A. Y. Duale, M. U. Uyar, B. D. McClure, and S. Chamberlain, "Conformance testing: towards refining VHDL specifications," presented at Military Communications Conference Proceedings, 1999. MILCOM 1999. IEEE, pp. 140-144, 1999. (Pubitemid 32132440)
13. R. M. Hierons, T.-H. Kim, and H. Ural, "On the testability of SDL specifications," Computer Networks, vol. 44, pp. 681-700, 2004.
14. L.-S. Koh and M. T. Liu, "Test path selection based on effective domains," presented at Network Protocols, 1994. Proceedings., 1994 International Conference on, Boston, MA, pp. 64-71, 1994.
15. T. Ramalingom, K. Thulasiraman, and A. Das, "Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines," Computer Communications, vol. 26, pp. 1622-1633, 2003.
16. B. Sarikaya, G. v. Bochmann, and E. Cerny, "A Test Design Methodology for Protocol Testing," Software Engineering, IEEE Transactions on, vol. SE-13, pp. 518-531, 1987. (Pubitemid 17582472)
17. C.-J. Wang and M. T. Liu, "Generating test cases for EFSM with given fault models," presented at TwelfthAnnual Joint Conference of the IEEE Computer and Communications Societies. Networking: Foundation for the Future. IEEE, pp. 774-781, 1993.
18. C.-H. Shih, J.-D. Huang, and J.-Y. Jou, "Stimulus generation for interface protocol verification using the nondeterministic extended finite state machine model," presented at High-Level Design Validation and Test Workshop, 2005. Tenth IEEE International, pp. 87-93, 2005. (Pubitemid 46170660)
19. G. V. Bochmann, "Specifications of a simplified transport protocol using different formal description techniques," Computer Networks and ISDN Systems, vol. 18, pp. 335-377, 1990.
20. J. H. Holland, Adaptation in natural and artificial systems. Cambridge, MA: MIT Press, 1992.
21. G. E. Liepins and M. R. Hilliard, "Genetic algorithms: Foundations and applications," Annals of Operations Research, vol. 21, pp. 31-57, 1989.
22. X. Yao, "Global optimisation by evolutionary algorithms," presented at Parallel Algorithms/Architecture Synthesis, 1997. Proceedings. Second Aizu International Symposium, pp. 282-291, 1997.
23. M. Srinivas and L. M. Patnaik, "Genetic algorithms: a survey," Computer, vol. 27, pp. 17-26, 1994.
24. A. Baresel, D. Binkley, M. Harman, and B. Korel, "Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach," in Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis. Boston, Massachusetts, USA: ACM, pp. 108-118, 2004. (Pubitemid 41121382)
25. K-C. Tai, "A program complexity metric based on data flow information in control graphs," in Proceedings of the 7th international conference on Software engineering. Orlando, Florida, United States: IEEE Press, pp. 239-248, 1984.
26. M. Weiser, "Program slicing," in Proceedings of the 5th international conference on Software engineering. San Diego, California, United States: IEEE Press, pp. 439-449, 1981.
27. K.-T. Cheng and A. S. Krishnakumar, "Automatic generation of functional vectors using the extended finite state machine model," ACM Transactions on Design Automation of Electronic Systems., vol. 1, pp. 57-79, 1996. (Pubitemid 126767530)
28. T. A. Dahbura, K. K. Sabnani, and M. U. Uyar, "Formal methods for generating protocol conformance test sequences," Proceedings of the IEEE, vol. 78, pp. 1317-1326, 1990.
29. A. Petrenko, G. v. Bochmann, and M. Yao, "On fault coverage of tests for finite state specifications," Computer Networks and ISDN Systems, vol. 29, pp. 81-106, 1996.
30. R. M. Hierons and M. Harman, "Testing conformance of a deterministic implementation against a nondeterministic stream X-machine," Theoretical Computer Science, vol. 323, pp. 191-233, 2004.
31. H. Pohlheim, "GEATbx - Genetic and Evolutionary Algorithm Toolbox," http://www.geatbx.com, 2008.