Verification and test generation for the SSCOP protocol

Science of Computer Programming

Volumn 36, Issue 1, 2000, Pages 27-52

  Bozga, Marius ^a   Fernandez, Jean Claude ^b   Ghirvu, Lucian ^a   Jard, Claude ^c   Jéron, Thierry ^c   Kerbrat, Alain ^d   Morel, Pierre ^c   Mounier, Laurent ^a  

^a VERIMAG   (France)

^b 38402   (France)

^c CAMPUS DE BEAULIEU   (France)

^d VERILOG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SYSTEMS PROGRAMMING; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

SERVICE SPECIFIC CONNECTION ORIENTED (SSCOP) PROTOCOL;

ASYNCHRONOUS TRANSFER MODE;

EID: 0033905743     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(99)00017-9     Document Type: Article

References (29)

1. ISO / IEC International Standard 8807. LOTOS - a formal description technique based on the temporal ordering of observational behaviour, Technical report, International Organization for Standardization - Information Processing Systems - Open Systems Interconnection, Genève, September 1988.
2. ISO / IEC International Standard 9646- 1/2/3 . OSI-Open Systems Interconnection, Information Technology - Open Systems Interconnection Conformance Testing Methodology and Framework - Part 1: General Concept - Part 2: Abstract Test Suite Specification - Part 3 : The Tree and Tabular Combined Notation (TTCN), 1992.
3. A.V. Aho, R. Sethi, J.D. Ullman, Compilers: Principles, Techniques and Tools, Addison-Wesley, Reading, MA, 1986.
4. B. Algayres, Y. Lejeune, F. Hugonnet, GOAL: Observing SDL Behaviors with GEODE, in: SDL Forum'95, Elsevier, Amsterdam, 1995.
5. A. Bouajjani, J.-C. Fernandez, S. Graf, C. Rodriguez, J. Sifakis, Safety for Branching Time Semantics, in: 18th ICALP, Springer, Berlin, July 1991.
6. M. Bozga, J.-C. Fernandez, A. Kerbrat, L. Mounier, Protocol verification with the toolset, First edition of the STTT (Software Tools and Technology Transfer) Journal, 1997.
7. A. Cavalli, B.-H. Lee, T. Macavei, Test generation for the SSCOP-ATM networks protocol, in: Proceedings of SDL Forum'97, Elsevier, Amsterdam, 1997.
8. The ATM Forum Technical Committee, Conformance abstract test suite for the SSCOP for UNI 3.1, af-test-0067.000, September 1996. Available by ftp at ftp.atmforum.com.
9. I. Disenmayer, S. Gauthier, L. Boullier, L'outil TVEDA dans une chaîne de production de tests d'un protocole de télécommunication, in: G. Leduc (Ed.), CFIP'97: Ingénierie des Protocoles, Hermès, sept 1997, pp. 271-286.
10. J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, M. Sighireanu, CADP: a protocol validation and verification toolbox, in: R. Alur, T.A. Henzinger (Eds.), Proceedings of the eighth Conference on Computer-Aided Verification, CAV'96 (New Brunswick, New Jersey, USA, Lecture Notes in Computer Science, vol. 1102, Springer, Berlin, August 1996.
11. J.-C. Fernandez, C. Jard, T. Jéron, C. Viho, Using on-the-fly verification techniques for the Generation of test suites. in: R. Alur, T.A. Henzinger (Eds.), Proceedings of the eighth Conference on Computer-Aided Verification, CAV'96, New Brunswick, New Jersey, USA, Lecture Notes in Computer Science, vol 1102, Springer, Berlin, August 1996.
12. J.-C. Fernandez, C. Jard, T. Jéron, C. Viho, An experiment in automatic generation of test suites for protocoles with verification technology, Sci. Comput. Programming 29 (1997).
13. J.-C. Fernandez, L. Mounier, A local checking algorithm for boolean equation systems, Technical Report Spectre-95-07, Verimag, Grenoble-France, 1995.
14. H. Garavel, OPEN / CAESAR: an open software architecture for verification, simulation and testing, in: B. Steffen (Ed.), Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Lecture Notes in Computer Science, vol. 1384, Springer, Berlin, April 1998, pp. 68- 84.
15. R.J. Van Glabbeek, W.P. Weijland, Branching time and abstraction in bisimulation semantics (extended abstract), CS-R 8911, Centrum voor Wiskunde en Informatica, Amsterdam, 1989.
16. J. Grabowski, R. Scheurer, D. Hogrefe, Applying SAMSTAG to the B-ISDN Protocol SSCOP, Technical Report A-97-01, part I, University of Lübeck, January 97.
17. o 2334.
18. T. Jéron, P. Morel, Abstraction, τ -réduction et déterminisation à la volée: application à la génération de test. in: G. Leduc (Ed.), CFIP'97: Ingénierie des Protocoles. Hermes, September 1997.
19. A. Kerbrat, C. Rodriguez, Y. Lejeune, Interconnecting the and toolsets, in: Proceedings of SDL Forum'97, Elsevier, Amsterdam, 1997.
20. D. Kozen, Results on the Propositional μ -Calculus, Theoretical Computer Science, North-Holland, 1983.
21. R. Milner, A calculus of communication systems, Lecture Notes in Computer Science, vol. 92, Springer, Berlin, 1980.
22. ITU-T Recommendation Q.2110, B-ISDN - ATM Adaptation Layer - Service Specific Connection Oriented Protocol (SSCOP), 1994.
23. ITU-T Recommendation Q.2130, Couche d'adaptation du mode de transfert asynchrone de signalisation dans le RNIS á large bande - fonction de coordination propre au service pour la signalisation á l'interface utilisateur-réseau, 1994.
24. ITU-T Recommendation Z-100, Specification and Description Language, 1996.
25. ITU-T Recommendation Z-120, Message Sequence Charts, 1996.
26. J. Rumbaugh, M. Blaha, W. Premerlani, F. Edyy, W. Lorensen, Object-Oriented Modeling and Design, Prentice-Hall, Inc., Englewood Cliffs, NJ, 1991.
27. J. Tretmans, Test generation with inputs, outputs and repetitive quiescence, Software - Concepts and Tools 17(3) (1996) 103-120. Also: Technical Report No. 96-26, Centre for Telematics and Information Technology, University of Twente, The Netherlands.
28. VERILOG, ObjectGeode SDL Simulator Reference Manual, Technical Report, VERILOG, 1996.
29. Wegman M.N., Zadeck F.K. Constant propagation with conditional branches. ACM Trans. Programming Languages Systems. 13(2):1991;181-210.