Filters








23 Hits in 2.7 sec

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

M. Schmitt, A. Ek, J. Grabowski, D. Hogrefe, B. Koch
<span title="">1998</span> <i title="Springer US"> Testing of Communicating Systems </i> &nbsp;
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.  ...  Finally, a summary and outlook is given in Section 7. THE AUTOLINK TOOL AUTO LINK is a tool which supports the automatic generation of TTCN test suites based on SDL specifications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35381-4_14">doi:10.1007/978-0-387-35381-4_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sxv2fn4npbhexdwvcg43b3uipy">fatcat:sxv2fn4npbhexdwvcg43b3uipy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727113037/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35381-4_14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/4b/8c4bf6f749a512d11c822f4e61c23a0bd5b3bf65.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35381-4_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

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

Dieter Hogrefe, Beat Koch, Helmut Neukirchen
<span title="">2001</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The implications for currently available test generation tools are shown and proposals for their improvement are made.  ...  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  ...  Nevertheless, automatic test generation benefits for two reasons from such time annotations. First, the state space of a timed SDL model can be reduced in comparison to an untimed specification.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48213-x_11">doi:10.1007/3-540-48213-x_11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wo3uv7m7abc23dlysu5pqpnaky">fatcat:wo3uv7m7abc23dlysu5pqpnaky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321050735/https://notendur.hi.is/~helmut/publications/DH_BK_HN_2001_SDLForum/sdlforum2001.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/cf/dacff9758e7bd9762787863a60b10082e354cda2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48213-x_11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

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
<span title="">1999</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
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 TTCN test suite derived by Autolink has then to be completed with declarations (e.g. for types and PCOs) using a program that is automatically generated from the SDL specification by Tau's Link Tool  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35567-2_12">doi:10.1007/978-0-387-35567-2_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bnbwpazevbb2jg7anb2ryhchea">fatcat:bnbwpazevbb2jg7anb2ryhchea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170629193443/http://satoss.uni.lu/members/sjouke/papers/BeFe99.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/94/a2/94a26f86370e9064653bff71f972475b4eb61193.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35567-2_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

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

Marjeta Frey-Pučko, Monika Kapus-Kolar, Roman Novak
<span title="">1999</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
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.  ...  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.  ...  Stojsavljevic from IskraTEL for constructive comments and provision of a platform for test scenario execution on the real system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35567-2_22">doi:10.1007/978-0-387-35567-2_22</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rzb5rm45z5hunajy6p4omygbqe">fatcat:rzb5rm45z5hunajy6p4omygbqe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502203054/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35567-2_22.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f0/99/f099a70f76c3963c2d6938ccb23b4c8278662f4a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35567-2_22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Automatic Generation of Conformance Tests from Message Sequence Charts [chapter]

Paul Baker, Paul Bristow, Clive Jervis, David King, Bill Mitchell
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Over the past five years our group has developed a tool that automatically generates conformance test scripts from a combination of Message Sequence Chart (MSC)s, specifying dynamic behaviour, and Protocol  ...  We cover test generation for both single process test scripting and concurrent test scripting, where a test is distributed across autonomous processes, co-ordinating through additional messaging.  ...  The TTCN model of concurrent testing assumes that the IUT is running in parallel with a unique master test controller (MTC) and a number of PTCs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36573-7_12">doi:10.1007/3-540-36573-7_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g7gqt65qibafbeqm2cpruvl7iy">fatcat:g7gqt65qibafbeqm2cpruvl7iy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20081101013746/http://eprints.ecs.soton.ac.uk/16045/2/SAM_paper2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/06/9c/069c5161d44b14d747bc70c26b1461a4380ab85a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36573-7_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

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

Anders Ek
<span title="">1998</span> <i title="Springer US"> Testing of Communicating Systems </i> &nbsp;
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.  ...  So, how do formal methods, testing and test generation fit into this?  ...  Nowadays, the tool support for SDL based development and code generation from SDL are very good and both our Telelogic Tau tools and other tools like Veri logs ObjectGeode are now successfully competing  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35381-4_18">doi:10.1007/978-0-387-35381-4_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x7ha7bvj45fjznnkzwypxj5yza">fatcat:x7ha7bvj45fjznnkzwypxj5yza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719031950/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35381-4_18.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a3/b1/a3b12ad28f06605f6b2c441e47528679b20749fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35381-4_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Combining Design Methods for Service Development [chapter]

Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker
<span title="">1999</span> <i title="Springer US"> Formal Methods for Open Object-Based Distributed Systems </i> &nbsp;
This methodology is not to be understood as a top-down approach, but it is more an iterative application of each of the stages from an abstract level down to a detailed specification and implementation  ...  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  ...  Implementation & Testing Phase To support the implementation of a service, there are different tools which can generate implementation language code from a SDL specification.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35562-7_22">doi:10.1007/978-0-387-35562-7_22</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uqrjxyjvkbbltkiip4tvyjmmdq">fatcat:uqrjxyjvkbbltkiip4tvyjmmdq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180729014141/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35562-7_22.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/41/d3/41d33e5d204978f331482c454e7d52bafb1909b9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35562-7_22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Improving time-to-market using SDL tools and techniques

Nikolai N. Mansurov, Robert L. Probert
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/blfmvfslmbggxhopuigjdb3jma" style="color: black;">Computer Networks</a> </i> &nbsp;
The Test Generation Process Using the Tau Tool • Step 1: Run Tau "validator" tool which generates the state space for the SDL model. • Step 2: Choose a path through the state space, using a graphical navigator  ...  His research interests and publications are in computer-aided software engineering tools for formal specification languages, MSC, SDL, automatic code generation, reverse engineering, semantic based  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1389-1286(00)00200-0">doi:10.1016/s1389-1286(00)00200-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/64xlcxsb6jcxtisswznq5rtozq">fatcat:64xlcxsb6jcxtisswznq5rtozq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809054418/http://panda.ispras.ru/groups/case/downloads/ttm_tutorial_2001.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/33/f8/33f8ce110d8ce23d56855cb11974aaa6d54a03cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1389-1286(00)00200-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

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

Olaf Henniger, Miao Lu, Hasan Ural
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
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  ...  The labeled event structure is a non-interleaving behavior model describing the behavior of a system in terms of the partial ordering of events.  ...  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  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24617-6_13">doi:10.1007/978-3-540-24617-6_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/twihyu4xmrfmbn2q6xpwph7cli">fatcat:twihyu4xmrfmbn2q6xpwph7cli</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705104515/http://www.site.uottawa.ca/%7Eural/publications/C-03-FATES.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9e/1e/9e1e9b409e0653b5191084fed6ad128cc829627b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24617-6_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

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

Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Both, MSC and GFT allow an automatic generation of TTCN-3 test case descriptions. TIMEDTTCN-3 is an extension of TTCN-3 for testing real-time properties and has been submitted for standardization.  ...  Our approach includes the automatic generation of TIMEDTTCN-3 test cases based on MSC test purposes and TIMEDGFT diagrams.  ...  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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44830-6_9">doi:10.1007/3-540-44830-6_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r6r57vzxzje4rj4tvf5jtyclqa">fatcat:r6r57vzxzje4rj4tvf5jtyclqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030052121/https://link.springer.com/content/pdf/10.1007%2F3-540-44830-6_9.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/86/c1/86c16831d2184a34a2b715c8acc2465bfe1878a4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44830-6_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Generation of test purposes from Use Case Maps

Daniel Amyot, Luigi Logrippo, Michael Weiss
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/blfmvfslmbggxhopuigjdb3jma" style="color: black;">Computer Networks</a> </i> &nbsp;
It is therefore a natural candidate for use in the process of generating requirementsdirected test suites. We survey several approaches for deriving test purposes from UCM models.  ...  A test purpose is composed of a test goal (a partiallyordered sequence of events) and of an expected test verdict (pass for an acceptance test, and fail for a rejection test).  ...  TTCN test cases from SDL specifications [20] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.comnet.2005.05.006">doi:10.1016/j.comnet.2005.05.006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bie36tsy3zc5xj7xv7efr3btxa">fatcat:bie36tsy3zc5xj7xv7efr3btxa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070724073352/http://www.csi.uottawa.ca/~luigi/papers/05_amyot_logrippo_weiss.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/49/30/493086a18861e04d730558ca81e0b42a498e7a66.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.comnet.2005.05.006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Testing Concurrent Systems: A Formal Approach [chapter]

Jan Tretmans
<span title="">1999</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
A framework for testing based on formal specifications is presented.  ...  A test derivation algorithm is given and its tool implementation is briefly discussed.  ...  testing engineers at CMG The Hague B.V. and at CMG Finance B.V., and the members of the Formal Methods and Tools group at the University of Twente, contributed to the developments described in this paper  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48320-9_6">doi:10.1007/3-540-48320-9_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p5immsyol5gkxhcndk7tlb7wnq">fatcat:p5immsyol5gkxhcndk7tlb7wnq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170517180223/http://www.cis.upenn.edu:80/~lee/05cis700/papers/Tre99.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/28/44/284422c1897484f5297a0f6a39223d36a08f9704.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48320-9_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination

Tiziana Margaria, Bernhard Steffen
<span title="">2002</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
These features enable test engineers to graphically design complex test cases, which, in addition, can even be automatically checked for their intended purposes via model checking.  ...  This induces an understandable modelling paradigm of system-wide test cases which is adequate for the needs and requirements of industrial test engineers.  ...  We provide tools for the automatic generation of tool-specific adapter code that makes legal test blocks out of such test scripts.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80404-3">doi:10.1016/s1571-0661(04)80404-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7vtyyq66wnadja4qetborcmk74">fatcat:7vtyyq66wnadja4qetborcmk74</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190330024900/https://core.ac.uk/download/pdf/82660342.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/53/8b53e9a29a43dcb0e44d47da8d9554acdeb42089.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80404-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Using static analysis to improve automatic test generation

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
<span title="2003-02-01">2003</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zzy5ovlifvatfirg4js7u4uetq" style="color: black;">International Journal on Software Tools for Technology Transfer (STTT)</a> </i> &nbsp;
The specification is simplified by pipelining a set of three modules, each one implementing a different slicing technique.  ...  Conformance testing is still the main industrial validation technique for telecommunication protocols.  ...  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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-002-0098-x">doi:10.1007/s10009-002-0098-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u33sgvbdsbejtjbwiz6alxw26i">fatcat:u33sgvbdsbejtjbwiz6alxw26i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727141248/https://link.springer.com/content/pdf/10.1007%2F3-540-46419-0_17.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/aa/fe/aafe7f68eb3fb7b6beae240b8fcee36ea6596d88.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-002-0098-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

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
<span title="">2001</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
of test case components on a coarse granular level, incremental formalization, through successive enrichment of a special-purpose environment for application-specific test development and execution, and  ...  These features and their impact for the test process and the test engineers are illustrated along an industrial application: an automated integrated testing environment for CTI-Systems.  ...  Generalizations of the currently considered functional tests to other forms of testing like performance tests and stress tests are also possible, but require more effort and are planned for a successive  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45314-8_17">doi:10.1007/3-540-45314-8_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l2g2qtacwvexfo3yu7johm5uby">fatcat:l2g2qtacwvexfo3yu7johm5uby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726222016/https://link.springer.com/content/pdf/10.1007%2F3-540-45314-8_17.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a7/3e/a73ee9ee5e0491d51795fbdc2cb17ce7d70407a9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45314-8_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 23 results