253,006 Hits in 6.6 sec

Test Case Generation for Concurrent Systems Using Event Structures [chapter]

Konstantinos Athanasiou, Hernán Ponce-de-León, Stefan Schwoon
2015 Lecture Notes in Computer Science  
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

Bidush Kumar Sahoo, Mitrabinda Ray
2016 World Journal of Engineering and Technology  
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]

O. Henniger
1997 Testing of Communicating Systems  
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]

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  ...  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

Claude Jard
2003 Information and Software Technology  
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

Hernán Ponce de León, Stefan Haar, Delphine Longuet
2014 Software testing, verification & reliability  
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

Sandeep K. Singh, Sangeeta Sabharwal, J.P. Gupta
2012 Journal of Information Processing Systems  
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

Hyungchoul Kim, Sungwon Kang, Jongmoon Baik, Inyoung Ko
2007 Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007)  
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]

Hernán Ponce de León, Stefan Haar, Delphine Longuet
2012 Lecture Notes in Computer Science  
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]

Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe
1999 SDL '99  
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]

Myungchul Kim, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang
1999 IFIP Advances in Information and Communication Technology  
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]

Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jézéquel Jean-Marc, Alain Le Guennec
2002 Lecture Notes in Computer Science  
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]

Hernán Ponce de León, Stefan Haar, Delphine Longuet
2013 Lecture Notes in Computer Science  
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

Bidush Kumar Sahoo, Mitrabinda Ray
2016 Journal of Software  
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

Hernán Ponce de León, Stefan Haar, Delphine Longuet
2014 International Journal on Software Tools for Technology Transfer (STTT)  
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