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.
Filters
Test Case Generation for Concurrent Systems Using Event Structures
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
cases No choice between outputs due to concurrency: smaller test cases
Unfoldings Complete behavior of a system ≈ (infinite) unfolding event structure. ...
2 Global Test Cases
3 The TOURS prototype
Example
⇐ concurrent ? ...
Smaller and fewer test cases with partial order ...
doi:10.1007/978-3-319-21215-9_2
fatcat:shcnidzhybavdls66tlgjq74oe
A Comparative Study on Test Case Generation of Concurrent Programs
2016
World Journal of Engineering and 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 2017; you can also visit the original URL.
The file type is application/pdf.
It is used for automated test case generation and execution by using high-level Petri net is a finite state test model. ...
It needs constrained elements to generate test case which includes structural element and constraint. The selection of good test cases has been addressed by test data generation technique. ...
Model Based Testing (MBT) uses behavior models of a system under test (SUT) for generating and executing test cases. ...
doi:10.4236/wjet.2016.42027
fatcat:tg3xqrbv4jdlbkceoyn265c4am
On test case generation from asynchronously communicating state machines
[chapter]
1997
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 2017; you can also visit the original URL.
The file type is application/pdf.
This paper proposes an approach for generating test cases in Concurrent TTCN from a system of asynchronously communicating finite state machines. ...
cases from prime event structures. ...
Section 5 deals with the generation of test cases in Concurrent TTCN from a prime event structure. Section 6 gives concluding remarks. ...
doi:10.1007/978-0-387-35198-8_16
fatcat:uuzaljicnjdoloo4sttpvbu5ay
Automatic Generation of Test Purposes for Testing Distributed Systems
[chapter]
2004
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.
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. ...
In [6] , an algorithm for transforming a system of asynchronously communicating state machines into a labeled event structure is given and a method with implicit test purposes for generating test cases ...
doi:10.1007/978-3-540-24617-6_13
fatcat:twihyu4xmrfmbn2q6xpwph7cli
Synthesis of distributed testers from true-concurrency models of reactive systems
2003
Information and Software 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 2011; you can also visit the original URL.
The file type is application/pdf.
Automatic synthesis of test cases for conformance testing has been principally developed with the objective of generating sequential test cases. ...
König, we propose to use a true-concurrency model based on graph unfolding. ...
In general, to reduce the complexity, one extracts only one test case using some heuristics. ...
doi:10.1016/s0950-5849(03)00061-2
fatcat:hu6gztmbcja4zmle62pai4ahum
Model-based testing for concurrent systems with labelled event structures
2014
Software testing, verification & reliability
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.
Second, we define a whole framework for testing concurrent systems from labeled event structures. ...
Input/Output Labeled Event Structures
Syntax We shall be using event structures following Winskel et al [31] to describe the dynamic behavior of a concurrent system. ...
The test cases are denoted using a process-algebraic notation: ";" denotes action prefix and "+" denotes choice. ...
doi:10.1002/stvr.1543
fatcat:jzz6rikb6vf7xntl4m6i3geb24
A Novel Approach for Deriving Test Scenarios and Test Cases from Events
2012
Journal of Information Processing 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 2017; you can also visit the original URL.
The file type is application/pdf.
Test cases that use events are an apt choice for these types of systems. ...
Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. ...
In [55] , both use case and state diagrams are used for generating system-level test cases. In [56] authors have transformed Use Cases to a UML state model to generate test cases. ...
doi:10.3745/jips.2012.8.2.213
fatcat:oz4sg2a5prflpcve3qziokf66a
Test Cases Generation from UML Activity Diagrams
2007
Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007)
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 proposes a method to generate test cases from UML activity diagrams that minimizes the number of test cases generated while deriving all practically useful test cases. ...
This conversion is performed based on the single stimulus principle, which helps avoid the state explosion problem in test generation for a concurrent system. ...
By reducing the number of test cases for concurrent system testing while keeping all practically useful test cases, we can save cost and time in software development without compromising quality of the ...
doi:10.1109/snpd.2007.189
dblp:conf/snpd/KimKBK07
fatcat:z5ylmdv3ybewlikkwrvhknmpqq
Conformance Relations for Labeled Event Structures
[chapter]
2012
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 2012; you can also visit the original URL.
The file type is application/pdf.
We propose a theoretical framework for testing concurrent systems from true concurrency models like Petri nets or networks of automata. ...
The underlying model of computation of such formalisms are labeled event structures, which allow to represent concurrency explicitly. ...
The only advantage of using labeled event structures as a specification formalism for testing remains in the conciseness of the concurrent model with respect to a sequential one. ...
doi:10.1007/978-3-642-30473-6_8
fatcat:7coy7qt3erfyvokt6oesetb3si
SDL and MSC Based Test Generation for Distributed Test Architectures
[chapter]
1999
SDL '99
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.
In this paper, we explain how concurrent TTCN test cases can be generated directly from SDL system speci cations and MSC test purposes. ...
Most of the SDL and MSC based test generation methods and tools produce nonconcurrent TTCN test cases only. ...
Acknowledgements We would like to thank Stefan Heymer for valuable comments on earlier drafts of this paper and for careful proofreading. ...
doi:10.1016/b978-044450228-5/50026-6
fatcat:55ijjubjvbejfjjf6ii7enzq4u
An enhanced model for testing asynchronous communicating systems
[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.
In our previous work [Kim 96), an approach to derive test cases for concurrent systems was developed. ...
for deriving the test cases. ...
[Henni 97] proposes an approach for generating test cases in Concurrent TTCN from a system of asynchronous communicating finite state machines. ...
doi:10.1007/978-0-387-35578-8_19
fatcat:xtknpkemjfcovi6z5cboc6ig3e
System Test Synthesis from UML Models of Distributed Software
[chapter]
2002
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 2003; you can also visit the original URL.
The file type is application/pdf.
We illustrate the system test synthesis process using an Air Traffic Control software case study. ...
We present a method and a tool for automated synthesis of test cases from generic test scenarios and a design model of the application, remaining entirely within the UML framework. ...
useful for testing concurrent applications in the interleaving-model context. ...
doi:10.1007/3-540-36135-9_7
fatcat:smzbpxu7nnar5orja2rhwf7oyu
Unfolding-Based Test Selection for Concurrent Conformance
[chapter]
2013
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.
In order to test such concurrent systems, we choose to use Petri nets as specifications and define a concurrent conformance relation named coioco. ...
Model-based Testing of Concurrent Systems. ...
Conclusion and Future Work We have presented a testing framework and a test generation algorithm for true concurrency specifications of distributed and concurrent systems. ...
doi:10.1007/978-3-642-41707-8_7
fatcat:tp5estojdnhytlzhwyuprkhoc4
Concurrent Defects and Test Coverage Criteria
2016
Journal of Software
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.
The processes usually work together by conversing using variables or message passing. So, testing a concurrent program is complex for its non determinism behavior. ...
The paper deals with several coverage criteria for testing concurrent programs. ...
Structural criteria use the code, the accomplishment and structural features of the program for selecting test cases. ...
doi:10.17706/jsw.11.10.994-1007
fatcat:gi3btbjua5ahpjpsjgkyigpl5m
Model-based testing for concurrent systems: unfolding-based test selection
2014
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 2015; you can also visit the original URL.
The file type is application/pdf.
In order to test such concurrent systems, we choose to use Petri nets as specifications and define a concurrent conformance relation named co-ioco. ...
Model-based testing has mainly focused on models where concurrency is interpreted as interleaving (like the ioco theory for labeled transition systems), which may be too coarse when one wants concurrency ...
However, under such an assumption, controllability of test cases must be ensured during their construction. ...
doi:10.1007/s10009-014-0353-y
fatcat:ugcf37setzddhcor6wkipudtki
« Previous
Showing results 1 — 15 out of 253,006 results