Automatic interoperability test case generation based on formal definitions

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

Volumn 4916 LNCS, Issue , 2008, Pages 234-250

  Desmoulin, Alexandra ^a   Viho, César ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; FORMAL METHODS; PROBLEM SOLVING; STATE SPACE METHODS;

AUTOMATIC INTEROPERABILITY TEST CASE GENERATION; CADP TOOLBOX; FORMAL DEFINITIONS;

INTEROPERABILITY;

EID: 44649122285     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79707-4_17     Document Type: Conference Paper

References (20)

1. ISO. Information Technology - Open Systems Interconnection Conformance Testing Methodology and Framework - Parts 1-7. International Standard ISO/IEC 9646/1-7 (1992)
2. Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46-65. Springer, Heidelberg (1999)
3. Jard, C., Jéron, T.: Tgv: Theory, principles and algorithms. STTT 7(4), 297-315 (2005)
4. Tretmans, J., Brinksma, E.: Torx: Automated model based testing. In: Hart-man, A., Dussa-Zieger, K. (eds.) Proceedings of the First European Conference on Model-Driven Software Engineering, Nurnberg, Germany (December 2003)
5. Desmoulin, A., Viho, C.: Formalizing interoperability for test case generation purpose. In: IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, Columbia, MD, USA (September 2005)
6. Castanet, R., Koné, O.: Deriving coordinated testers for interoperability. In: Rafiq, O. (ed.) Protocol Test Systems, Pau-France, vol. VI C-19, pp. 331-345. IFIP, Elsevier Science B.V., Amsterdam (1994)
7. Seol, S., Kim, M., Kang, S., Ryu, J.: Fully automated interoperability test suite derivation for communication protocols. Comput. Networks 43(6), 735-759 (2003)
8. Castanet, R., Kone, O.: Test generation for interworking systems. Computer Communications 23, 642-652 (2000)
9. Walter, T., Schieferdecker, I., Grabowski, J.: Test architectures for distributed systems: State of the art and beyond. In: Petrenko, Yevtushenko (eds.) Testing of Communicating Systems, IFIP, Kap, pp. 149-174 (September 1998)
10. Barbin, S., Tanguy, L., Viho, C.: Towards a formal framework for interoperability testing. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Cheju Island, Korea, Août, pp. 53-68 (2001)
11. Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Wu, J., Chanson, S., Gao, Q. (eds.) Formal methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX 1999, Beijing, China, pp. 25-40. Kluwer Academic Publishers, Dordrecht (1999)
12. Verhaard, L., Tretmans, J., Kars, P., Brinksma, E.: On asynchronous testing. In: Bochman, G.V., Dssouli, R., Das, A. (eds.) Fifth inteernational workshop on protocol test systems, pp. 55-66. North-Holland, Amsterdam (1993) IFIP Transactions
13. Desmoulin, A., Viho, C.: Quiescence Management Improves Interoperability Testing. In: 17th IFIP International Conference on Testing of Communicating Systems (Testcom), Montreal, Canada (May-June 2005)
14. El-Fakih, K., Trenkaev, V., Spitsyna, N., Yevtushenko, N.: Fsm based interoperability testing methods for multi stimuli model. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol. 2978, pp. 60-75. Springer, Heidelberg (2004)
15. Griffeth, N.D., Hao, R., Lee, D., Sinha, R.K.: Integrated system interoperability testing with applications to voip. In: FORTE/PSTV 2000: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification. Kluwer, B.V., Dordrecht (2000)
16. Bochmann, G., Dssouli, R., Zhao, J.: Trace analysis for conformance and arbitration testing. IEEE transaction on software engeneering 15(11), 1347-1356 (1989)
17. Gadre, J., Rohrer, C., Summers, C., Symington, S.: A COS study of OSI interoperability. Computer standards and interfaces 9(3), 217-237 (1990)
18. de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering. ACM Press, New York, NY, USA (2001)
19. Fernandez, J.-C., Jard, C., Jéron, T., Viho, C.: Using on-the-fly verification techniques for the generation of test suites. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102. Springer, Heidelberg (1996)
20. Garavel, H., Lang, F., Mateescu, R.: An overview of cadp 2001. Technical Report 0254, INRIA (2001)