J. P. Ansart
Abstract
This paper deals with a strategy for a development chain of protocols (specification, validation, conformity testing) based on knowledge of the RHIN project methodology and the tools which this project produced. This methodology is based on finite state machines with predicates and includes “conceptual” tools for specification (PDIL)and for validation (VADILOC). “Experimental” tools play a part in conformity testing (STQ, Cerbere, Genepi). The interaction between conceptual and experimental tools is provided by a test sequence generator GAST which, starting from an automaton whose communication has been validated, provides sequences to be used by the test tools.
- 1 J.P. ANSART, O. RAFIQ, V. CHARI PDIL: Protocol Description and Implementation Language. IFIP 82 (*). Google Scholar
Digital Library
- 2 J.P. ANSART Génépi: A Protocol Independent System For Testing Protocol Implementation. IFIP 82 (*). Google ScholarDigital Library
- 3 J.P. ANSART LISE: Logiciel Interactif de Simulation, validation et Evaluation de protocole. Rapport technique RHIN FDT 7539. Sept 83.Google Scholar
- 4 J.P. ANSART, V. CHARI, M. MEYER, O. RAFIQ, D. SIMON Description, simulation, implementation of communication protocols using PDIL. ACM Sigcomm' 83 Symposium on communication architectures and protocols, Un. of Texas et Austin, March 83. Google ScholarDigital Library
- 5 J.M. AYACHE, J.P. COURTIAT, M. DIAZ A specification language for the design of multilayer protocols. 15th Annual Hawaï.Int Conf. on System Sciences, Honolulu, June 82.Google Scholar
- 6 M. BILLAUD, A. VITAL Système de manipulation d'automates d'états finis avec predicats et applications. Rapport de DEA, Un. de Bordeaux I, Jun.82Google Scholar
- 7 G.V. BOCHMANN, J. GECSEI A unified method for the specification of communication protocols. Proc. IFIP congress Toronto, p. 229-234, Aug. 77.Google Scholar
- 8 G.V. BOCHMANN Finite state description of communication protocols. Computer Networks, Vol. 2, p. 361-372, Oct. 78.Google Scholar
- 9 B. BONHOMME STQ. Système de test et qualification. Journées RHIN () p. 207-225.Google Scholar
- 10 A. CHAMPEVILLE, K. DAHER Système de génération automatique de séquences de test. Rapport de DEA, Un. de Bordeaux, Jun. 83.Google Scholar
- 11 B. CHEZALVIEL-PRADIN Un outil graphique interactif pour la validation des systèmes à évolution parallèle décrits par les réseaux de Petri (OGIVE). Thèse de Docteur Ingénieur. UPS Toulouse, Déc. 79.Google Scholar
- 12 J. DAMIDAU, J.P. ANSART Cerbère. A tool to keep an Eye on high level protocols. IFIP 82 (*). Google ScholarDigital Library
- 13 P. GUITTON Réalisation d'un système de test de conformité d'implantation à Un protocole de communication. Rapport de DEA, Un. de Bordeaux I, Juin 82.Google Scholar
- 14 P. GUITTON Description, validation et test de conformité de protocoles. Thèse de 3è Cycle Un. de Bordeaux I, Janv. 84.Google Scholar
- 15 M. LUREAU, E. MARIANI PDIL: Implantation automatique de protocoles à partir d'une description formelle. Journées RHIN () pp. 125-139.Google Scholar
- 16 P.M. MERLIN A methodology for the design and implementation of communication protocols. IEEE trans. on communication, vol. COM 24-5, Jun 1976, pp. 614-621.Google Scholar
- 17 O. RAFIQ, J.P. ANSART Vadiloc. A protocol validator and its applications. IFIP, WG 6-1, 3 rd international workshop on protocol specification, testing and verification. Zurich; Jun. 83.Google Scholar
- 18 O. RAFIQ Etude sur les techniques de description des protocoles de communications et applications. Thèse d'Etat, Un. de Bordeaux I, Juin 1983.Google Scholar
- 19 D. RAYNER A system for testing protocol implementations. IFIP 82 (*). Google ScholarDigital Library
- 20 B. SARIKAYA, G.V. BOCHMANN Some experience with test sequence generation for protocols.# IFIP 82 (*). Google ScholarDigital Library
- 21 G.D. SCHUTZ, D.B. ROSE, C.H. WEST, J.P. GRAY Executable Description and Validation of SNA. IEEE trans. on Communications COM-28,4, April 1980.Google Scholar
- 22 N.V. STENNING A data transfer protocol. Computer networks, vol. 1-2, Sept. 76, p. 99-110.Google Scholar
- 23 P. ZAFIROPOULO, C.H. WEST, H. RUDIN, D.D. COWAN, D. BRAND Towards analysing and synthesizing protocols.# IEEE trans. on communication, vol. COM 28-4, April 80, p. 651-661.Google Scholar
Index Terms
- Some operational tools in a OSI protocols study environment
Recommendations
Some operational tools in a OSI protocols study environment
SIGCOMM '84: Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposiumThis paper deals with a strategy for a development chain of protocols (specification, validation, conformity testing) based on knowledge of the RHIN project methodology and the tools which this project produced. This methodology is based on finite state ...
CASE tools: understanding the reasons for non-use
Computer-Aided Software Engineering (CASE) technologies are tools that provide automated assistance for software development [3]. The goal of introducing CASE tools is the reduction of the time and cost of software development and the enhancement of the ...
Making active CASE tools—toward the next generation CASE tools
In CASE field, there is a long-standing topic, i.e. the reason that CASE tools seem to be dearly bought but sparsely used. Based on our practical experience of making and using CASE tools, we point out the reason is that today's CASE tools are actually ...
Comments