Test generation for interworking systems

Computer Communications

Volumn 23, Issue 7, 2000, Pages 642-652

  Kone O ^a   Castanet, R ^b  

^a LORIA   (France)

^b UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER ARCHITECTURE; COMPUTER SELECTION AND EVALUATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCURRENCY CONTROL; DATA COMMUNICATION SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; INTEROPERABILITY; NETWORK PROTOCOLS; REQUIREMENTS ENGINEERING;

AUTOMATIC TEST GENERATIONS; INTERWORKING SYSTEMS; PROTOCOL ENGINEERING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0033882852     PISSN: 01403664     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0140-3664(99)00223-6     Document Type: Article

References (57)

1. ISO/TC 97/SC 16/WG1 IS 7498. Basic Reference Model for Open System Interconnection, 1983.
2. Castanet R., Sijelmassi R. Methods and Semi-automatic Tools for Preparing Distributed Testing. PSTV VI. 1987;North Holland, New York.
3. J. Grabowski, Test case generation and test case specification with Message Sequence Charts, PhD thesis, University of Berne, February, 1994.
4. O. Koné, R. Castanet, Test Design From System Level Specification, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, August 1998.
5. Luo G., Bochmann G.v., Petrenko A. Test selection based on communicating non deterministic machines using a generalized Wp-method. IEEE Trans. Software Engng. SE-20:(2):1994;149-162.
6. Sabnani K., Dahbura A. A protocol test generation procedure. Comput. Networks ISDN Systems. 15:1988;285-297.
7. B. Sarikaya, Test Design for Computer Network Protocols, PhD thesis, McGill University, Montreal, March 1984.
8. Sidhu D., Leung T. Formal methods for protocol testing: a detailed study. IEEE Trans. Software Engng. 15:(4):1989;413-426.
9. Tretmans J. Conformance testing with labelled transition systems: implementation relations and test generation. Comput. Networks ISDN Systems. 29:1996;49-79.
10. Holzmann G. Sifakis J. Algorithms for Automated Protocol Validation. Proceedings of the Workshop on Automatic Verification of Methods for Finite State Systems, Grenoble, France. 1989.
11. Pehrson B. Protocol Verification for OSI. Computer Networks and ISDN Systems. vol. 18:1990;:1989;185-201 North Holland, Amsterdam.
12. West C.H. General Technique for Communication Protocol Validation. IBM J. Res. Develop. 22:1978;393-404.
13. Godefroid P., Wolper P. Larsen K.G., Skou A. Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. Proceedings of the CAV'91, Aalborg, Denmark, LNCS 575. 1991;332-342.
14. G. Holzmann, P. Godefroid, D. Pirottin, Coverage preserving reduction strategies for reachability analysis, Proceedings of the IFIP/PSTV'92. Orlando, 1992.
15. R. Gerth, D. Peled, M.Y. Vardi, P. Wolper, Simple on the fly automatic verification of of linear temporal logic, Proceedigns of the IFIP symposium on Protocol Specification Verification and Testing, Warsaw, Poland, June 1995.
16. Jard C., Jéron T., Fernandez J.C., Mounier L. On the fly verification of finite transition systems. Formal Meth. System Design. 1:1992;251-273.
17. Sokolsky O.V., Smolka S.A. Local Model Checking for Real-Time Systems. Computer Aided Verification (LNCS). 1995;211-224 Springer, Berlin.
18. Cheung S.C., Kramer J. Context constraints for compositional reachability analysis. ACM Trans. Software Engng Meth. 5:(4):1996;334-377.
19. Graf S., Steffen B. Clarke E.M., Kurshan R.P. Compositional Minimisation of Finite State Systems. Proceedings of the CAV'90, Springer, New Brunswick, LNCS 531. 1990;186-196.
20. Krimm J.P., Mounier L. Brinksma E. Compositional State Space Generation for Lotos Programs. Proceedings of the TACAS'97, Springer, Enschede, The Netherlands, LNCS 1217. 1997.
21. R. Castanet, O. Koné, P. Laurençot, On the fly test generation for real time protocols, Proceedings of the International Conference on Computer Communication and Networks, Louisiana, USA, October 1998.
22. Fernandez J.C., Jard C., Jeron T., Viho C. Using On-The-Fly Verification Techniques for the Generation of Test Suites. CAV'96. LNCS 1102. 1996;Springer, Berlin.
23. Arakawa N., Soncoka T. A Test Case Generation Method for Concurrent Programs. Protocol Test Systems. vol. IV:1992;Elsevier, Amsterdam.
24. Fukada A., et al. A Conformance Testing for Communication Protocols Modeled as a Set of DFSMs with Common Inputs. Testing of Communicating Systems. vol. 10:1997;Chapman & Hall, London.
25. O. Rafiq, R. Castanet, From Conformance Testing to Interoperability Testing, Proceedings of the Third IWPTS, October-November, Washington, DC, 1990.
26. Henninger O. On Test Case Generation from Asynchronously Communicating State Machines. Testing of Communicating Systems. vol. 10:1997;Chapman & Hall, London.
27. Kim M.C., Chanson S.T., Kang S.W., Shin J.H. An Approach for Testing Asynchronous Communicating Systems. Testing of Communicating Systems. vol. 9:1996;Chapman & Hall, London.
28. A. Ulrich, A description model to support test suite derivation for concurrent systems. 10.GI/ITG-Fachtagung Kommunikation in Verteilten Systemen, Braunschweig, Germany, 1997.
29. D. Lee, K. Sabnani, D. Kristol, S. Paul, Conformance testing of protocols specified as communicating FSMs, Proceedings of the IEEE INFOCOM'93, San Francisco, 1993.
30. Lima L.P., Cavalli A. A pragmatic approach to generating test sequences for embedded systems. Testing of Communicating Systems. vol. 10:1997;Chapman & Hall, London.
31. P. Saqui-Sannes, J.P. Courtiat, R. Casadessus, Verification by abstraction as a preamble to interoperability test suite generation, Proceedings of the IFIP symposium on Protocol Specification Verification and Testing, Vancouver, Canada, June 1994.
32. Bernot G., Gaudel M.C., Marre B. Software testing based on formal specifications: a theory and tool. Software Engng J. 6:(6):1991;387-405.
33. Brinksma E., Heerink L., Tretmans J. Developments in Testing Transition Systems. Testing of Communicating Systems. vol. 10:1997;Chapman & Hall, London.
34. B. Forghani, B. Sarikaya, Automatic dynamic behaviour generation, in: TTCN format from Estelle specification, Second International Workshop on Protocol Test Systems, Berlin, October 1989.
35. Koné O., Castanet R. Méthodes Formelles de Test de Conformité des Protocoles. TSI Journal Technique et Science Informatiques. vol. 5:1999;Hermann, Paris.
36. Lee D., Su D. Modeling and Testing of Protocol Systems. Testing of Communicating Systems. vol. 10:1997;Chapman & Hall, London.
37. Proposed ITU-T Z.500 and Committee Draft on Formal Methods in Conformance Testing, JTC1/SC21/WG1/Project 54.1, 1995.
38. Special Issue on Testing, 29, 1996.
39. ISO/IEC 9646, Information Technology - Open Systems Interconnection-Conformance Testing Methodology and Framework, Part 1-5.
40. M. Phalippou, R. Groz, From Estelle Specifications to Industrial Test Suites, Using an Empirical Approach, Proceedings of the IFIP International Conference FORTE'90, Madrid, Spain, 1990.
41. R. Castanet, C. Chevrier, O. Koné, B. Le Saec, An adaptative test sequence generation method for the users needs, Proceedings of the IWPTS, Evry, France, September 1995.
42. P.Corvisier et al., Les besoins de tests d'interopérabilité d'EDF, PSA PEUGEOT-CITROEN ET RENAULT S.A pour leurs profils de communication industriels. EDF, France, Juillet 1992.
43. Transport Class 4 tester Manual, Alcatel TITN Answare, Provence, XRTLE/T4E/v3.0/Dec90.
44. Clatin M., Groz R., Phalippou M., Thummel R. Two Approaches Linking a Test Generation Tool with Verification Techniques. Proceedings of the IWPTS. 1996;Elsevier, Amsterdam.
45. Berry G., Sehti R. From regular expressions to deterministic automata. Theor. Comput. Sci. 48:1986;117-126.
46. Brzozowski J.A. Derivatives of regular expressions. J. ACM. 11:(4):1964;481-494.
47. O. Drissi, Deriving Observers to validate Distributed Systems Properties, PhD thesis, University of Rennes-France 1988.
48. Gribomont P., Wolper P. Thayse A. From Modal Logic to Deductive Databases. 1989;Wiley, New York.
49. N.A. Lynch, M.R. Tuttle, An Introduction to Input Output Automata, MIT Report MIT/LCS/TM-373. Cambridge, MA, November 1988.
50. Milner R. Communication and Concurrency. 1989;Prentice Hall, Englewood Cliffs, NJ.
51. ITU-T Recommandation Q.2110: B-ISDN ATM Adaptation Layer - Service Specific Connection Oriented Protocol (SSCOP). ITU Telecommunication Standard Sector, 1994.
52. CCITT SG X: Recommandation Z.100: Specification and Description Language SDL, Contribution Com X-R215-E, 1987.
53. V. Bellis, L'étude d'interopérabilité de SPAG, ses conclusions et dévéloppements, Actes des Conferences, Journees du Test OSI, La Gaude, France, June 1990.
54. Koné O., Castanet R. Deriving Coordinated Testers for Interoperability. Protocol Test Systems. vol. VI:1994;Elsevier, Amsterdam.
55. Information Processing Systems, Open Systems Interconnection Estelle (a formal description technique based on extended state transition model), ISO IS 9074, 1989.
56. Garavel H., et al. Alur R., Henzinger T., et al. CADP A Protocol Validation and Verification Toolbox. Proceedings of the CAV'96, New Brunswick, LNCS 1102. 1996;437-440.
57. Dijkstra E. Notes on Structured Programming. 1972;1-82 Academic Press, New York.