Filters








14 Hits in 4.3 sec

Autolink — Putting SDL-based test generation into practice [chapter]

M. Schmitt, A. Ek, J. Grabowski, D. Hogrefe, B. Koch
1998 Testing of Communicating Systems  
AUTOLINK is a tool for automatic test generation. It allows to generate TTCN test suites based on a given SDL specification and MSC requirements.  ...  The first big challenge for AUTOLINK was the creation of a test suite for the Intelligent Network Application Protocol at ETSI.  ...  However, when putting these methods into practice, many test generation tools fail due to implementation-specific restrictions.  ... 
doi:10.1007/978-0-387-35381-4_14 fatcat:sxv2fn4npbhexdwvcg43b3uipy

Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation [chapter]

Dieter Hogrefe, Beat Koch, Helmut Neukirchen
2001 Lecture Notes in Computer Science  
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already available or currently  ...  The implications for currently available test generation tools are shown and proposals for their improvement are made.  ...  reduction of the state space during exploration-based test generation with timed SDL; automatic generation of time requirements for test equipment with timed SDL; improvement of the capabilities to efficiently  ... 
doi:10.1007/3-540-48213-x_11 fatcat:wo3uv7m7abc23dlysu5pqpnaky

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.  ...  This turned out not to be practical except for the simpler of the two SDL models. 8. We used the Autolink and the set of test MSCs from step 6 to generate TTCN dynamic behaviour scenarios.  ...  The Autolink output was imported into the ITEX tool.  ... 
doi:10.1016/s0140-3664(00)00229-2 fatcat:wpxc675cqjgslkx35oat4rilwu

Formal Test Automation: A Simple Experiment [chapter]

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe Feijs, Sjouke Mauw, Lex Heerink
1999 IFIP Advances in Information and Communication Technology  
The test scenarios are derived from multiple specification languages: LOTOS, Promela and SDL. A central theme of this study is the usability of batch-oriented and on-the-fly testing approaches.  ...  To facilitate the derivation from multiple formal description techniques and the different test execution approaches, an open, generic environment called TorX is introduced.  ...  The batch testing experiment is based on the Tau tool [1] Autolink which is based on the work in [10] , i.e. the derivation of TTCN test cases from SDL in a semi-automated way.  ... 
doi:10.1007/978-0-387-35567-2_12 fatcat:bnbwpazevbb2jg7anb2ryhchea

Testing and Test Generation: State of the Art and Future Expectations [chapter]

Anders Ek
1998 Testing of Communicating Systems  
So, how do formal methods, testing and test generation fit into this?  ...  Formal methods, testing and test generation are in this paper discussed from a pragmatical industrial perspective and in particular as seen from a CASE tool vendors point of view.  ...  Fortunately, quite a lot of effort has been put into solving this by allowing the user to guide and control the automatic generation of test cases including e.g. controlling the naming and parametrisation  ... 
doi:10.1007/978-0-387-35381-4_18 fatcat:x7ha7bvj45fjznnkzwypxj5yza

Automatic Generation of Test Purposes for Testing Distributed Systems [chapter]

Olaf Henniger, Miao Lu, Hasan Ural
2004 Lecture Notes in Computer Science  
In this paper, we present an algorithm for generating test purpose descriptions in form of MSC's from a given labeled event structure that represents the behavior of a system of asynchronously communicating  ...  Only few test generation tools, like Autolink [4] in the Telelogic Tau toolset and TestComposer [5] in the Telelogic ObjectGeode toolset are applicable to complex multi-process SDL specifications of  ...  Loop while the event queue is not empty, get the first event from the queue and put all its predecessors that have not been put into the event set yet into the event queue and into the event set.  ... 
doi:10.1007/978-3-540-24617-6_13 fatcat:twihyu4xmrfmbn2q6xpwph7cli

TimedTTCN-3 Based Graphical Real-Time Test Specification [chapter]

Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen
2003 Lecture Notes in Computer Science  
Our approach includes the automatic generation of TIMEDTTCN-3 test cases based on MSC test purposes and TIMEDGFT diagrams.  ...  For a complete integration of TIMEDTTCN-3 into the TTCN-3-based testing process, the usage of TIMEDTTCN-3 in combination with MSC and GFT needs to be established.  ...  Autolink [20] and Testcomposer [15] support the generation of TTCN-2++ test cases either from SDL specifications and MSC test purposes or directly from MSC test purposes.  ... 
doi:10.1007/3-540-44830-6_9 fatcat:r6r57vzxzje4rj4tvf5jtyclqa

Experiences modelling and using formal object-oriented telecommunication service frameworks

Mario Kolberg, Richard O Sinnott, Evan H Magill
1999 Computer Networks  
In particular we highlight the advantages of SDL and tools as well as issues and problems incurred.  ...  This paper describes experiences in using SDL and its associated tools to create telecommunication services by producing and specialising object-oriented frameworks.  ...  The Autolink tool of the SDT Validator allows for the semi-automatic generation of TTCN test suites based on SDL speci cations.  ... 
doi:10.1016/s1389-1286(99)00121-8 fatcat:i46zvn4le5hvnabjkkauobo5nm

Testing Concurrent Systems: A Formal Approach [chapter]

Jan Tretmans
1999 Lecture Notes in Computer Science  
A framework for testing based on formal specifications is presented.  ...  This framework is elaborated for labelled transition systems, providing formal definitions of conformance, test execution and test derivation.  ...  Acknowledgement Numerous people, in particular the participants in the ISO/ITU-T standardization group on "Formal Methods in Conformance Testing", the partners in the Côte de Resyste research project,  ... 
doi:10.1007/3-540-48320-9_6 fatcat:p5immsyol5gkxhcndk7tlb7wnq

Library-Based Design and Consistency Checking of System-Level Industrial Test Cases [chapter]

Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide
2001 Lecture Notes in Computer Science  
In this paper we present a new coarse grain approach to automated integrated (functional) testing, which combines three paradigms: library-based test design, meaning construction of test graphs by combination  ...  library-based consistency checking, allowing continuous verification of application-and aspect-specific properties by means of model checking.  ...  In fact, the gentle entry into practice due to incremental formalization was a 'conditio sine qua non' for the acceptance of the environment, because there has been some negative experience with formal  ... 
doi:10.1007/3-540-45314-8_17 fatcat:l2g2qtacwvexfo3yu7johm5uby

Using static analysis to improve automatic test generation

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
2003 International Journal on Software Tools for Technology Transfer (STTT)  
The automatic construction of test cases based on the model approach is hindered by the state explosion problem.  ...  Our method reduces its magnitude by reconsidering the test case generation at a higher level and by taking advantage of some static analysis techniques, in particular the slicing techniques.  ...  Test cases can be automatically generated from formal specifications and tools such as tgv [11] , tveda [18] , autolink [21] or torx [2] concretely implement this activity.  ... 
doi:10.1007/s10009-002-0098-x fatcat:u33sgvbdsbejtjbwiz6alxw26i

Using Static Analysis to Improve Automatic Test Generation [chapter]

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
2000 Lecture Notes in Computer Science  
The automatic construction of test cases based on the model approach is hindered by the state explosion problem.  ...  Our method reduces its magnitude by reconsidering the test case generation at a higher level and by taking advantage of some static analysis techniques, in particular the slicing techniques.  ...  Test cases can be automatically generated from formal specifications and tools such as tgv [11] , tveda [18] , autolink [21] or torx [2] concretely implement this activity.  ... 
doi:10.1007/3-540-46419-0_17 fatcat:yt32k2t4wzaoncyythvcf2ahke

Automated Tuning of Reactive Sputtering Control Systems

J. Brindley, B. Daniel, V. Bellido-Gonzalez, F. Papa
2014 Society of Vacuum Coaters 57th (2014) Annual Technical Conference Proceedings   unpublished
Autolink supports the automatic generation of TTCN test suites based on an SDL specification and a test purpose described in MSC.  ...  To put it in practical terms: the potential advantage is in reducing the size of the generated tests rather than in finding more errors.  ...  Proof : Let us put ε = P m A,s,i (pass). By assumption ε < 1. So: Proof : First we will prove the monotonicity property for the summation. Let us take A ∈ ALGS and s ∈ SPECS.  ... 
doi:10.14332/svc14.proc.1850 fatcat:45btdvakdbav7dbiwff3wmkreu

Using formal specifications to support testing

Robert M. Hierons, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick (+3 others)
2009 ACM Computing Surveys  
Finite State-Based Languages Model-based languages such as Z, VDM and B can describe arbitrarily general systems, and have potentially infinite state.  ...  FSM based test techniques have been considered when testing from such specifications.  ...  Acknowledgements This work was supported by EPSRC Formal Methods and Testing (FORTEST) grant GR/R43150.  ... 
doi:10.1145/1459352.1459354 fatcat:423uyowpgjaxljjli2u47rcpay