Configuration-oriented symbolic test sequence construction method for EFSM

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2005, Pages 13-18

  Li, Shuhao ^a   Wang, Ji ^a   Wang, Xin ^a   Qi, Zhi Chang ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVE LANGUAGES; FINITE AUTOMATA; OPEN SYSTEMS; PARAMETER ESTIMATION; PARAMETERIZATION;

DOMAIN INTERVALS; EXTENDED FINITE STATE MACHINE (EFSM) MODELS; REACTIVE SYSTEMS;

COMPUTER SOFTWARE;

EID: 34248549619     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2005.61     Document Type: Conference Paper

References (12)

1. C. Bourhfir, E. Aboulhamid, R. Dssouli, N. Rico, "A Test Case Generation Approach for Conformance Testing of SDL Systems", Computer Comm., 2001, 24(3-4): 319-333.
2. S.T. Chanson, J. Zhu, "A Unified Approach to Protocol Test Sequence Generation", Proc. INFOCOM'93, vol. 1, San Francisco, CA, 1993, pp. 106-114.
3. R. Dssouli, K. Saleh, E. Aboulhamid, A. En-Nouaary, C. Bourhfir, "Test Development for Communication Protocols: Towards Automation" , Computer Networks, 1999, 31(17): 1835-1872.
4. A.Y. Duale, M. Uyar, "A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models", IEEE Transactions on Computers, 2004, 53(5): 614-627.
5. M.A. Fecko, M. Umit Uyar, A.Y. Duale, P.D. Amer, "A technique to generate feasible tests for communications systems with multiple timers", IEEE/ACM Transactions on Networking, 2003, 11(5): 796-809.
6. T. Higashino, G.v. Bochmann, "Automatic Analysis and Test Derivation for a Restricted Class of LOTOS Expressions with Data Parameters", ZEEE Transactions on Software Engineering, 1994, 20(1): 29-42.
7. C-M. Huang, M-S. Chiang, M-Y. Jang, "UIOe: a Protocol Test Sequence Generation Methods Using the Transition Executability Analysis (TEA)". Computer Comm., 1998, 21(16): 1462-1475.
8. S. Li, J. Wang, Z.C. Qi, "Property-Oriented Test Generation from UML Statecharts", Proc. ASE'04, Austria, pp. 122-131.
9. A. Petrenko, S. Boroday, R. Groz, "Confirming configurations in EFSM testing", ZEEE Transactions on Software Engineering, 2004, 30(1): 29-42.
10. T. Ramalingom, K. Thulasiraman, A. Das, "Context Independent Unique State Identification Sequences for Testing Communication Protocols Modelled as Extended Finite State Machines", Computer Comm., 2003, 26(14): 1622-1633.
11. Z. Wang, C. Liu, "The Application of Interval Computation in Software Testing", J. of Software, 1998, 9(6): 438-443.
12. Y. Zhang, L. Qian, Y. Wang, "Automatic Testing Data Generation in the Testing Based on EFSM", Chinese Journal of Computers, 2003, 26(10): 1295-1303.