Applying extended finite state machines in software testing of interactive systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2844, Issue , 2003, Pages 34-45

  Fantinato, Marcelo ^a,b   Jino, Mario ^a  

^a UNIVERSITY OF CAMPINAS   (Brazil)

^b Instituto de Pesquisa e Ensino Boldrini   (Brazil)

Author keywords

Finite State Machines; Functional Testing; Model Based Testing; Testing Criteria

Indexed keywords

BEHAVIORAL RESEARCH; DATA FLOW ANALYSIS; DATA TRANSFER; FINITE AUTOMATA; INFORMATION USE; LOGIC CIRCUITS; MODEL CHECKING; TESTING;

DATA FLOW MODELING; EXTENDED FINITE STATE MACHINE; FUNCTIONAL TESTING; INTERACTIVE SYSTEM; MODEL BASED TESTING; MODELING TECHNIQUE; STRUCTURAL TESTING; TESTING CRITERIA;

SOFTWARE TESTING;

EID: 0142184067     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39929-2_3     Document Type: Article

References (28)

1. Beizer, B.: Software Testing Techniques. Second Edition, New York (1990)
2. Offutt, A., Liu, S. & Abdurazik, A.: Generating Test Data from State-Based Specifications. In: The Journal of Software Testing, Verification and Reliability - JSTVR (2000)
3. Rapps, S. & Weyuker, E.: Selection Software Testing Data Using Data Flow Information. In: IEEE Transactions on Software Engineering, V. SE-11, April (1985)
4. Rocha, A. R. C., Maldonado, J. C. & Weber, K. C.: Qualidade de Software - Teoria e Prática (In Portuguese). Prentice Hall (2001)
5. Apfelbaum, L. & Schroeder, J.: Reducing the Time to Thoroughly Test a GUI, In: Proceedings of Software Quality Week Conference, May (1998)
6. Dalal, S., Jain, A., Karunanithi, N., Leaton, J. & Lott, C.: Model-Based Testing of a Highly Programmable System, In: Proceedings of International Symposium on Software Reliability Engineering, IEEE Computer Society Press, November (1998), Pp.174-178
7. Pressman, R. S.: Software Engineering. Makron Books (1992)
8. Maldonado, J. Critérios Potenciais-Usos: Uma Contribuição ao Teste Estrutural de Software (In Portuguese), Ph.D. Thesis, UNICAMP, Campinas, Brazil (1991)
9. Chaim, M.: Poke-Tool - Uma Ferramenta Para Suporte Ao Teste Estrutural de Programas Baseado Em Análise de Fluxo de Dados (In Portuguese). Master Thesis, UNICAMP, Campinas, Brazil (1991)
10. Bueno, P. M. S., Chaim, M. L., Maldonado, J. C., Jino, M. & Vilela, P. R. S.: POKE-TOOL User's Manual. Technical Report, DCA/FEEC, UNICAMP, Campinas, SP, Brazil (1995)
11. El-Far, I. K. I.: Automated Construction of Software Behavior Models. Master Thesis, Florida Institute of Technology, Melbourne, Florida. Available at: www.model-based-testing.com (1999)
12. Bourhfir, C., Dssouli, R., & Aboulhamid, E. M.: Automatic Test Generation for EFSM-Based Systems. Publication departam. #1043, Available at: www. Umontreal.Ca/Labs/Teleinfo/Publistindex.html (1996)
13. th IFIP Conference on Formal Descriptions Techniques for Distributed Systems and Communication Protocol (FORTE'95), Montreal, Canada (1995), Pp.329-337
14. Fabbri, S. C. P. F., Maldonado, J. C., Sugeta, T. & Masiero, P. C.: Mutation Analysis Applied to Validate Specifications Based on Statecharts. In: Proceedings of International Syponsium on Software Reliability Engineering (ISSRE'99) (1999)
15. Budkowski, T. & Dembinski, P.: An Introduction to Estelle: A Specification Language for Distributed Systems. In: Computer Networks and ISDN, 14(1) (1987)
16. Miller, R. E. & Paul, S.: Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. In: Proceedings of Protocol Specification, Testing and Verification (PSTV'92), Florida, EUA (1992)
17. Ural, H. & Yang, B. A.: Test Sequence Selection Method for Protocol Testing. In: IEEE Transactions on Communication, Vol. 39, No 4 (1991)
18. ITU-T.: ITU-T Recommendation. Z.100: Specification and Description Language (SDL). ITU-T, Genebra. More information available at: http://www.sdl-forum.org (1998)
19. Spiveu, M.: The Z Notation: A Reference Manual. Second Edition, Prentice-Hall International (1992)
20. Robinson, H.: Finite State Model-Based Testing on a Shoestring. In: Proceedings of Software Testing Analysis and Review Conference, San Jose, CA, EUA (1999)
21. Robinson, H. & Rosaria, S.: Applying Models in your Testing Process. In: Information and Software Technology, 42 (2000), Pp.815-824
22. Naito, S. & Tsunoyama, M.: Fault Detection for Sequenctial Machines by Transition-Tours, In: Proceedings of FTCS - Fault Tolerant Computer Systems, (1981), Pp. 238-243
23. Chow, T. S.: Testing Software Design Modeled by Finite-State Machines. In: IEEE Transactions on Software Engineering, SE(4(3)) (1978)
24. Fujiwara, S., Bochmann, G. V., Khendek, F., Amalou, M. & Ghedamsi, A.: Test Selection Based on Finite State Models, In: IEEE Transaction on Software Engineering, Se17(6), (1991)
25. Gill, A.: Introduction to the Theory of Finite State Machines. Mcgraw-Hill Electronic Science Series (1962)
26. Gonenc, G.: A Method for the Design of Fault-Detection Experiments, In: IEEE Transaction on Computer, Vol C-19, Junho (1970), Pp 551-558
27. Kohavi, Z.: Switching and Finite Automata Theory. Mcgraw-Hil, New York (1978)
28. Sabnani, K. K. & Dahbura, A. T.: A Protocol Testing Procedure, In: Computer Networks and ISDN, Vol. 15, N. 4 (1998) Pp. 285-297