A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Conformance testing methodology of Internet protocols Internet application-layer protocol testing — the Hypertext Transfer Protocol
[chapter]
1998
Testing of Communicating Systems
Preserved Fulltext
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]
2000
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
1996
Protocol Test Systems VIII
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2009
Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2000
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1996
Testing of Communicating Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2000
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1996
Protocol Test Systems VIII
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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 (http://www.laas.fr ...
doi:10.1007/11430230_23
fatcat:hadubdn6qfhxzgijrqpdis3cwm
Some notes on the history of protocol engineering
2010
Computer Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
1999
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1997
StandardView
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of Grid Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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)
1998
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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