25 Hits in 6.0 sec

Conformance testing methodology of Internet protocols Internet application-layer protocol testing — the Hypertext Transfer Protocol [chapter]

Roland Gecse
1998 Testing of Communicating Systems  
This paper examines the applicability of OSI conformance test methodology to Internet protocols.  ...  It summarizes the differences between them and introduces the Internet Reference Model along with a new abstract test method, which was designed for the practical purposes of conformance testing of TCP  ...  The final verdict is calculated in the postamble. Figure 8 shows the concurrent TTCN (ISO/IEC 9646-3, 1998) test case for test purpose 3.1.  ... 
doi:10.1007/978-0-387-35381-4_3 fatcat:kxrzgxapjna2nobu53lfjprrzm

Conformance Testing of Corba Services Using TTCN [chapter]

Alexey Mednonogov, Hannu H. Kari, Olli Martikainen, Jari Malinen
2000 IFIP Advances in Information and Communication Technology  
part of ISO 9646-3 standard.  ...  At the same time, TTCN as a part of ISO-9646 standard [2] is a mature framework, widely recognized for its flexibility and industrial strength.  ... 
doi:10.1007/978-0-387-35516-0_12 fatcat:suvizugygnaivmifxrwwur6qae

The Testing of BT's Intelligent Peripheral using abstract test suites from ETSI [chapter]

N. Webster
1996 Protocol Test Systems VIII  
Keywords Tree and tabular combined notation, abstract test suites, intelligent peripheral. A. Cavalli et al. (eds.), Protocol Test Systems VIII  ...  This is achieved by reducing the need for expensive in-house test development whilst maintaining the testing quality through a set of approved tests which are independent of development.  ...  A number of conformance test specifications are available which are based on the ISO 9646 [1] methodology and are written in the Tree and Tabular Combined Notation (TTCN).  ... 
doi:10.1007/978-0-387-34988-6_21 fatcat:lvzckkktdjcu3j2rnwhovy27ru

Network protocol interoperability testing based on contextual signatures and passive testing

Fatiha Zaidi, Emmanuel Bayse, Ana Cavalli
2009 Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09  
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants.  ...  To illustrate the application of the proposed approach, a real case study is proposed: the Wireless Application (WAP) protocol.  ...  The ISO 9646 standard [1] mentions that conformance testing can increase the probability of interoperability, but cannot guarantee the successful interaction between different implementations.  ... 
doi:10.1145/1529282.1529284 dblp:conf/sac/ZaidiBC09 fatcat:aqsppv373baexpmcrjnpvpq2py

Verification of Test Suites [chapter]

Claude Jard, Thierry Jéron, Pierre Morel
2000 IFIP Advances in Information and Communication Technology  
This test suite aligns with the principles defined in the OSI conformance testing methodology and framework ISO 9646 Parts 1-2 [7] . The test scripts are written in TTCN.  ...  Formally: Definition 5 Let S be a specification and TC a test case. TC is unsound W.r.t.  ... 
doi:10.1007/978-0-387-35516-0_1 fatcat:an6igmqwwbca5fpkspkduuxvjm

Assessment of automatic generation methods of conformance test suites in an industrial context [chapter]

Laurent Doldi, Vincent Encontre, Jean-Claude Fernandez, Thierry Jéron, Sylvie Bricquir, Nathalie Texier, Marc Phalippou
1996 Testing of Communicating Systems  
Abstract conformance test suites have been generated in TTCN language. The study proved that the technology transfer to obtain a commercial tool is now possible.  ...  In this paper we describe three experiments in the automatic generation of conformance abstract test suites for protocol testing.  ...  The goal of the study is to prove that the automatic generation of conformance test sequences from a formal specification of a protocol and test purposes is feasible and profitearning in industrial context  ... 
doi:10.1007/978-0-387-35062-2_25 fatcat:4gkvhptjzrgqjo5kc6wpecd3r4

Verification and test generation for the SSCOP protocol

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
2000 Science of Computer Programming  
The results obtained give some hints on a methodology for the formal validation of large systems.  ...  This paper presents such a combination, illustrated on an industrial protocol, large enough to break any brute force approach.  ...  ISO 9646 recommends to generate a generic test case and then to take into account the test architecture for the production of an abstract test case.  ... 
doi:10.1016/s0167-6423(99)00017-9 fatcat:l75fdipb3zd45kob55km6t2xd4

Two approaches linking a test generation tool with verification techniques [chapter]

Marylène Clatin, Roland Groz, Marc Phalippou, Richard Thummel
1996 Protocol Test Systems VIII  
Preliminary results on non-trivial protocols are commented.  ...  The first method is a kind of symbolic execution. The second method consists in linking the test generation tool with a tool permitting sophisticated types of reachability analysis.  ...  ISO has established a methodology in its IS-9646 standard.  ... 
doi:10.1007/978-0-387-34988-6_10 fatcat:jdpbuufisvg4zhgjisruv56rom

A Model-Based Approach for Robustness Testing [chapter]

Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
2005 Lecture Notes in Computer Science  
This generation technique is inspired from the ones used in (classical) conformance testing -already implemented in several tools. This framework is illustrated on a small example.  ...  Robustness testing is a part of the validation process which consists in testing the behavior of a system implementation under exceptional execution conditions in order to check if it still fulfills some  ...  This work was partly initiated in a joint work on robustness testing inside a French action supported by the Cnrs and gathering members of Irisa, Laas, Labri, Lri and Verimag laboratories (  ... 
doi:10.1007/11430230_23 fatcat:hadubdn6qfhxzgijrqpdis3cwm

Some notes on the history of protocol engineering

Gregor v. Bochmann, Dave Rayner, Colin H. West
2010 Computer Networks  
The standardization of Formal Description Techniques in the 1980ies is discussed in the following section, as well as the standardization of conformance testing.  ...  Then it concentrates on the development of protocol engineering, that is, the methods for the specification of communication protocols and services, the verification of protocols and their implementation  ...  Within ISO itself, several standards were produced for test suites for particular protocols, each test suite being constructed in accordance with ISO/IEC 9646.  ... 
doi:10.1016/j.comnet.2010.05.019 fatcat:glvxu3spb5gczgvskx2h76q2zm

External Conformance Requirements: Concepts, Methods and Tools [chapter]

Rafał Artych, Krzysztof M. Brzeziński
1999 IFIP Advances in Information and Communication Technology  
We present the idea and formal notation of external requirements imposed by a Network Operator on protocol implementations. We also report on the support tool ORB.  ...  In this paper we propose to re-use and extend the elements of standard conformance testing methodology, in order to cover particular needs of a telecommunications Network Operator.  ...  Acknowledgments The ORB system was designed and implemented in LTiV (Laboratory of Testing and Verification, Warsaw University of Technology) on contract from the TP S.A., the leading Polish network operator  ... 
doi:10.1007/978-0-387-35567-2_23 fatcat:stttg6wg6ngabilnunfej6xxam

Metrology for information technology

Lisa Carnahan, Gary Carver, Martha Gray, Michael Hogan, Theodore Hopp, Jeffrey Horlick, Gordon Lyon, Elena Messina
1997 StandardView  
The task group members had a wide spectrum of experiences and perspectives on testing and measuring physical and IT quantities.  ...  conformity testing Conformity evaluation by means of testing ISO/IEC -Guide 2 inspection Conformity evaluation by observation and ISO/IEC -Guide 2 judgement accompanied as appropriate by measurement, testing  ... 
doi:10.1145/266231.266236 fatcat:5ikqbouyyzfrzb2tgztyewlp44

TGV: theory, principles and algorithms

Claude Jard, Thierry Jéron
2004 International Journal on Software Tools for Technology Transfer (STTT)  
This paper presents the TGV tool allowing the automatic synthesis of conformance test cases from a formal specification of a reactive system.  ...  The paper describes the main elements of the underlying testing theory, based on a model of transitions system which distinguishes inputs, outputs and internal actions, and based on the concept of conformance  ...  Acknowledgements: The TGV tool is the result of a common work during several years.  ... 
doi:10.1007/s10009-004-0153-x fatcat:lbzoyswq4nh5tjqxuvj4xcx7ua

Grid and Cloud Computing: Opportunities for Integration with the Next Generation Network

Thomas Rings, Geoff Caryer, Julian Gallop, Jens Grabowski, Tatiana Kovacikova, Stephan Schulz, Ian Stokes-Rees
2009 Journal of Grid Computing  
Finally, a proposal how the testing methods developed at the European Telecommunications Standards Institute (ETSI) can be applied to improve the quality of standards and implementations is presented.  ...  The goal of NGN is to provide a more flexible network infrastructure that supports not just data and voice traffic routing, but also higher level services and interfaces for thirdparty enhancements.  ...  This work focuses on conformance testing adopting the international ISO/IEC multi-part standard 9646 OSI Conformance Testing Methodology and Framework [37] for test specification and implementation using  ... 
doi:10.1007/s10723-009-9132-5 fatcat:4vhoyb7dzvg3paxcov5ymsvvhe

Test Automation for Reactive Systems - Theorie and Practice (Dagstuhl Seminar 98361)

Ed Brinksma, Jan Peleska, Michael Siegel
first part of the talk presents the ingredients which are needed for conformance testing based on formal methods: what is conformance in a formal setting; what is testing; what is test execution; what  ...  Its aim is to automatically generate test cases from formal specifications in the context of conformance testing of protocols.  ...  Contents Testing Real-Time Systems  ... 
doi:10.4230/dagsemrep.223 fatcat:h4dkketaezgbta5f2btqxok4ja
« Previous Showing results 1 — 15 out of 25 results