Filters








1,456 Hits in 5.0 sec

Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in Iskratel [chapter]

Marjeta Frey-Pučko, Monika Kapus-Kolar, Roman Novak
1999 IFIP Advances in Information and Communication Technology  
In this paper we present the tool iATS (integrated Automatic Iest §.equence generator) for generation of conformance tests in development of digital switching systems SI2000.  ...  The tool generates test cases in TTCN form from an SDL specification of the service or protocol under test. Test cases are derived by implemented FSM-based methods.  ...  Stojsavljevic from IskraTEL for constructive comments and provision of a platform for test scenario execution on the real system.  ... 
doi:10.1007/978-0-387-35567-2_22 fatcat:rzb5rm45z5hunajy6p4omygbqe

Testing of 3G 1xEV-DV Stack — A Case Study [chapter]

Ira Acharya, Hemendra Kumar Singh
2003 Lecture Notes in Computer Science  
The strategy employed in the testing of a 3G 1xEV-DV Base Station stack has been covered as a case study.  ...  Time-to-market pressures necessitate a carefully worked out test strategy for verifying and validating the correctness of mobile communication solutions.  ...  The TTCN scripts were developed using Signaling Conformance Tests for CDMA 2000 Spread Spectrum Systems [17] , since 3GPP2 conformance test cases for 1xEV-DV were not released.  ... 
doi:10.1007/3-540-44830-6_3 fatcat:f3ynjy7onjedrlsfklwwnmqqru

Combined Application of SDL-92, OMT, MSC and TTCN [chapter]

Eurico Inocêncio, Manuel Ricardo, Hitoshi Sato, Toshimitsu Kashima
1996 IFIP Advances in Information and Communication Technology  
For that, MSC and SDL combined languages complemented with time and probabilistic descriptions, are being used to specify test purposes, describe and verify test cases.  ...  The paper describes the application of SDL-92[1] and OMT [2] to the design of a V5.x Access Network interface.  ...  The work of INESC personnel was in part funded by scholarships from JNICT. At last we would like to thank our work colleagues for they review and helpful suggestions.  ... 
doi:10.1007/978-0-387-35079-0_29 fatcat:c7aaihid5fb6rpz7hzmni4rxnu

Rapid generation of functional tests using MSCs, SDL and TTCN

R.L Probert, H Ural, A.W Williams
2001 Computer Communications  
This paper reports the results of a study undertaken to determine the suitability of CASE tools and formal methods for systematic, rapid generation of functional test cases.  ...  In particular, the study involves the use of Message Sequence Charts (MSCs) [International Telecommunications Union (ITU-T), ] and the use of the Telelogic Tau tool set [Telelogic Tau tool set, version  ...  Thanks also to Louise Desrochers for administrative support, and to members of the Telecommunications Software Engineering Research Group at the University of Ottawa for their feedback on a preliminary  ... 
doi:10.1016/s0140-3664(00)00229-2 fatcat:wpxc675cqjgslkx35oat4rilwu

Combining Design Methods for Service Development [chapter]

Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker
1999 Formal Methods for Open Object-Based Distributed Systems  
.), Formal Methods for Open Object-Based Distributed Systems  ...  Since the testing step normally takes a lot of the overall development time, an approach to reduce this time via automation of test execution in a distributed Common Object Request Broker Architecture  ...  This code can be enriched manually, if the SDL model is not fully complete (Le. generic). For the development of TICN test cases the ITEX tool set supplies powerful means.  ... 
doi:10.1007/978-0-387-35562-7_22 fatcat:uqrjxyjvkbbltkiip4tvyjmmdq

Ttcn-3 Based Conformance Testing Of A Node Monitoring Protocol For Manets

Mallikarjun B. Channappagoudar, Pallapa Venkataram
2014 Zenodo  
First, we use SDL to obtain MSCs, which represent the scenario descriptions by sequence diagrams, which in turn generate test sequences and test cases.  ...  In this paper, we have presented a formal approach for conformance testing of a Node Monitoring Protocol, which uses both static and mobile agents, for MANETs.  ...  Even the author proposed a tool for conformance of UML specification in [18] . Our proposed idea is to generate MSC automatically using SDL model.  ... 
doi:10.5281/zenodo.1090839 fatcat:hciqhytvtrarxeb6s4aa5dn6vm

An Agent-Based Mechanism for Testing SFC
SFC 테스트를 위한 에이전트 기반 메커니즘

Trinh Nguyen, Myungsik Yoo
2019 The Journal of Korean Institute of Communications and Information Sciences  
Simulation does not have to cover all aspects of the system. SDL tools usually simulate a system, and provide a user interface for control.  ...  The purpose of a conformance test suite is to check whether a product conforms to the standard. Each test case within a test suite is related to one or more conformance requirement of the standard.  ...  Bibliography The following material, though not specifically referenced in the body of the present document (or not publicly available), gives supporting information.  ... 
doi:10.7840/kics.2019.44.10.1949 fatcat:xm42xa5uejck7ikhcz6lusiwbq

Mutation Testing Applied to Validate SDL Specifications [chapter]

Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong
2004 Lecture Notes in Computer Science  
Mutation Testing is an error-based criterion that provides mechanisms to evaluate the quality of a test set and/or to generate test sets.  ...  We define a mutant operator set for SDL that intends to model errors related to the behavioral aspect of the processes, the communication among processes, the structure of the specification and some intrinsic  ...  [20] have used Mutation Testing to generate and select test cases to be applied at the conformance testing of communication protocols specified using SDL.  ... 
doi:10.1007/978-3-540-24704-3_13 fatcat:lbgz76yqijdx5geywt7w74gnua

The INTOOL/CATG European project: development of an industrial tool in the field of Computer Aided Test Generation [chapter]

Etienne Desécures, Laurent Boullier, Bernard Péquignot
1997 Testing of Communicating Systems  
After a survey of potential users' expectation, a tool has been developed and integrated in a complete test design factory covering several aspects of the test life-cycle from SDL editing to ATS completion  ...  This paper presents the work and the results of the INTOOLICATG project, initiated . by the EC to provide tools in the field of Computer Aided Test Generation of TTCN test suites.  ...  Test Environment (definition of a standardised architecture and process for conformance test tools).  ... 
doi:10.1007/978-0-387-35198-8_22 fatcat:rxndcafljndjzlkrmpwrxy4znu

Automating the process of test derivation from SDL specifications [chapter]

G.v. Bochmann, A. Petrenko, O. Bellal, S. Maguiraga
1997 SDL '97: Time for Testing  
In this paper, we present a set of automated tools for the development of conformance tests following a methodology based on a partial unfolding of a given SDL specification, describing the behavior of  ...  We also report on our experience of using the tool kit for the development of a test suite for the ATM PNNI signalling protocol. "Methods for the systematic testing of distributed software systems".  ...  We have presented a set of automated tools which can be used for the development of conformance tests following a methodology based on a partial unfolding of the SDL specification.  ... 
doi:10.1016/b978-044482816-3/50018-6 fatcat:6kfcbze2szdyhfvoxwk4gzumhm

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  
In this paper we describe three experiments in the automatic generation of conformance abstract test suites for protocol testing.  ...  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.  ...  These test purposes have been used by the automatic tools for the test cases selection. '---~~ TGV is a prototype tool for the generation of test suites developed by Inria.  ... 
doi:10.1007/978-0-387-35062-2_25 fatcat:4gkvhptjzrgqjo5kc6wpecd3r4

Fast Functional Test Generation Using an SDL Model [chapter]

Robert L. Probert, Alan W. Williams
1999 IFIP Advances in Information and Communication Technology  
This paper reports the results of a successful study undertaken to determine the suitability of CASE tools and formal methods for systematic, rapid generation of functional test cases.  ...  Tau tool set [4] which supports all three of these languages.  ...  INTRODUCTION The objective of the study was to generate functional tests for a telephone switching system.  ... 
doi:10.1007/978-0-387-35567-2_19 fatcat:bj3bmugdnzhzxhgmyfxnqre7o4

Application of Two Test Generation Tools to an Industrial Case Study [chapter]

Ana Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener
2006 Lecture Notes in Computer Science  
The tools used, for the automatic test generation, are a commercial tool TestComposer and SIRIUS, a tool developed by INT team.  ...  This paper describes the application of two test generation tools to an industrial case study: a reverse directory telephone service similar to deployed services of this category developed by France Telecom  ...  These two tools are based on a well adapted language for the formal specification of interactive systems: SDL (Specification Language Description).  ... 
doi:10.1007/11754008_9 fatcat:mvhu3hlxkbbpnc5afdmr7h6pyy

A test case generation approach for conformance testing of SDL systems

C. Bourhfir, E. Aboulhamid, R. Dssouli, N. Rico
2001 Computer Communications  
This paper presents an approach for automatic executable test case and test sequence generation for a protocol modeled by an SDL system.  ...  (or are influenced by) C, and generating test cases for it.  ...  TESDL [5] is a prototype tool for the automatic generation of test cases from SDL specifications in the context of the OSI Conformance Testing Methodology and Framework.  ... 
doi:10.1016/s0140-3664(00)00220-6 fatcat:of2dxl2fpffbbhxjekhm542dry

Future directions for protocol testing, learning the lessons from the past [chapter]

D. Rayner
1997 Testing of Communicating Systems  
A reflection on the history of all aspects of protocol testing reveals both successes and failures, although many observers take a purely negative view.  ...  Important lessons need to be learned if protocol testing in the future is to be regarded in a more positive light. There are now new signs of hope in some the most recent developments.  ...  The tools include editors, error checkers, compilers, interpreters, test case generators, test case validators. and behaviour simulators.  ... 
doi:10.1007/978-0-387-35198-8_1 fatcat:velg52utgrc35oheuwboghalfi
« Previous Showing results 1 — 15 out of 1,456 results