Filters








2,355 Hits in 6.9 sec

Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs

Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
2015 Journal of Robotics, Networking and Artificial Life (JRNAL)  
In order to improve the efficiency of testing Java multi-threaded programs, this research proposes a testing method to detect order violation in them using similarity of interleaving.  ...  The proposed method improves the efficiency of testing by executing interleaving which can test the places where lead the order violation easily in source codes and by reducing interleaving which is similar  ...  In order to improve the efficiency of testing for Java multi-threaded programs, this research proposes a testing method to detect order violation in them using similarity of interleaving.  ... 
doi:10.2991/jrnal.2015.1.4.10 fatcat:xsyongxdnjfzxfjzz5loga2pra

Unit Testing Concurrent Java Programs

Suma Shivaprasad, Nanditha Prasad
2013 International Journal of Computer Applications  
They are not suitable for unit testing multithreaded programs.  ...  Conventional unit-testing practices focus on testing small units of programs sequentially and are very likely to miss concurrent bugs such as race conditions, deadlocks and memory inconsistencies even  ...  PROPOSED APPROACH JPF and TestNG Integration This approach proposes a concurrent unit testing framework which combines unit testing of TestNG and model checking of a framework called Java Path Finder  ... 
doi:10.5120/11435-6798 fatcat:4lte3b3p3nfy5g7633xwhd7zxm

A Lightweight and Portable Approach to Making Concurrent Failures Reproducible [chapter]

Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu
2010 Lecture Notes in Computer Science  
We implement the ConCrash approach in a prototype tool for Java and experimented on a number of multi-threaded Java benchmarks.  ...  Such bugs are often hard to reproduce because they typically happen under very specific interleaving of the executing threads.  ...  We thank anonymous reviewers for useful comments. We also thank Shan Lu and STAP group members for their valuable discussions.  ... 
doi:10.1007/978-3-642-12029-9_23 fatcat:3qfxc2rwnbaqraumrnlxdfespa

Thread algebra for strategic interleaving

J. A. Bergstra, C. A. Middelburg
2007 Formal Aspects of Computing  
We take a thread as the behavior of a sequential deterministic program under execution and multi-threading as the form of concurrency provided by contemporary programming languages such as Java and C#.  ...  We use deadlock freedom as an example to show that there are properties of multi-threaded programs that depend on the interleaving strategy used.  ...  Acknowledgements We thank Alban Ponse and Mark van der Zwaag from the University of Amsterdam, Programming Research Group, for pointing out a shortcoming of the axioms for cyclic interleaving with blocked  ... 
doi:10.1007/s00165-007-0024-9 fatcat:ujj2swq7xvgexcwqlrlcb65ivu

Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs [chapter]

Pavel Parizek, Tomas Kalibera
2009 Lecture Notes in Computer Science  
We have implemented the technique in Java PathFinder and performed a number of experiments on Purdue Collision Detector, which is a non-trivial multi-threaded Java program.  ...  and use a threading model based on limited preemption.  ...  This work was partially supported by the Czech Academy of Sciences project 1ET400300504 and by the Grant Agency of the Czech Republic project 201/08/0266.  ... 
doi:10.1007/978-3-642-04570-7_10 fatcat:frizevkkdfforokcs2avqbcdqu

An efficient method for detecting concurrency errors in object-oriented programs

YanXiang He, Wei Wu, Yong Chen
2012 Science China Information Sciences  
Acknowledgements The work presented in this paper was supported in part by National Natural Science Foundation of China (Grant Nos. 90818018, 9111800).  ...  When a class instance is used in a multi-threaded program, the class member variables can be accessed by different threads at the same time.  ...  After generating the test case source code, we used method "compile" to translate the Java file to a Java class byte code file.  ... 
doi:10.1007/s11432-012-4751-z fatcat:2zcbgvaflbcvbcanbdrjsqbbbi

A Novel Test Coverage Metric for Concurrently-Accessed Software Components [chapter]

Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu
2006 Lecture Notes in Computer Science  
We propose a novel, practical coverage metric called "location pairs" (LP) for concurrently-accessed software components.  ...  We describe a software tool for measuring LP coverage and outline an inexpensive application of predicate abstraction and model checking for ruling out infeasible coverage targets.  ...  [11] defines a hierarchy of structural coverage metrics for testing multi-threaded programs.  ... 
doi:10.1007/11759744_5 fatcat:nevokadxcvdffeukxx2fcc7rv4

Extraction of component-environment interaction model using state space traversal

Pavel Parizek, Nodir Yuldashev
2010 Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10  
We present a technique for automated extraction of models of component-environment interaction from multi-threaded software systems implemented in Java, which is based on state space traversal.  ...  The model of C-E interaction is then used as an input to tools that implement the methods.  ...  CONCLUSION We proposed a technique for automated extraction of models of component-environment interaction from multi-threaded Java programs, which is based on state space traversal.  ... 
doi:10.1145/1774088.1774552 dblp:conf/sac/ParizekY10 fatcat:h6ytuhx765aezopaai7seezhta

Approximating happens-before order: interplay between static analysis and state space traversal

Pavel Parízek, Pavel Jančík
2014 Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014  
Techniques and tools for verification of multi-threaded programs must cope with the huge number of possible thread interleavings.  ...  Tools based on systematic exploration of a program state space employ partial order reduction to avoid redundant thread interleavings.  ...  INTRODUCTION Many tools for testing and verification of multi-threaded programs are based on systematic traversal of a program state space.  ... 
doi:10.1145/2632362.2632365 dblp:conf/spin/ParizekJ14 fatcat:b3zt67sotbhybghi2sisd2yyv4

Using Contracts to Guide the Search-Based Verification of Concurrent Programs [chapter]

Christopher M. Poskitt, Simon Poulding
2013 Lecture Notes in Computer Science  
Search-based techniques can be used to identify whether a concurrent program exhibits faults such as race conditions, deadlocks, and starvation: a fitness function is used to guide the search to a region  ...  We sketch an example of how contracts might be used in this way, and outline our plans for investigating this verification approach.  ...  to a metric similar in nature to the branch distance [9] used in other forms of search-based testing.  ... 
doi:10.1007/978-3-642-39742-4_22 fatcat:3hioidtbzfcnxh7i54e6f7246i

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.  ...  A number of methods such as locking, serialization, time stamp etc. are proposed to deal with non deterministic behavior.  ...  The testing methods include the process of finding bugs. A software testing criterion is a word to be fulfilled by a set of test cases and can be used as a rule for the generation of test data.  ... 
doi:10.17706/jsw.11.10.994-1007 fatcat:gi3btbjua5ahpjpsjgkyigpl5m

A method for verifying concurrent Java components based on an analysis of concurrency failures

Brad Long, Paul Strooper, Luke Wildman
2007 Concurrency and Computation  
Finally, we propose to combine these tools and techniques into a method for verifying concurrent Java components.  ...  As a starting point for determining the concurrency failures in Java components, a petri-net model of Java concurrency is used.  ...  A method for verifying concurrent Java components We now propose a 9-step method for verifying multi-threaded components that can be used by software developers and testers in industry without the need  ... 
doi:10.1002/cpe.1063 fatcat:km6vlhnsnrggpcpipepj7hf46e

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code

Ziyi LIN, Yilei ZHOU, Hao ZHONG, Yuting CHEN, Haibo YU, Jianjun ZHAO
2017 IEICE transactions on information and systems  
However, for concurrent programs, test cases alone are typically insufficient to reproduce buggy behaviours, due to the nondeterminism of multi-threaded executions.  ...  In this paper, we propose a novel approach, called SPDebugger, that provides finer-grained thread controlling over test cases, programs under test, and even third party library code, to reproduce the predesigned  ...  Acknowledgements We would like to thank the anonymous reviewers for their constructive comments.  ... 
doi:10.1587/transinf.2016edp7388 fatcat:txf5hrf7wfakrhw6ouqhf5fqzi

JAIP-MP: A Four-Core Java Application Processor for Embedded Systems [chapter]

Chun-Jen Tsai, Tsung-Han Wu, Hung-Cheng Su, Cheng-Yang Chen
2016 IFIP Advances in Information and Communication Technology  
For each test programs, the test scores roughly stand for the number of iterations each test program can execute per seconds by all threads.  ...  Single-core Multithread Performance Evaluation To evaluate the multi-threading performance of the proposed JAIP, we used the multithreading benchmark programs from the JemBench suites [23] .  ...  Table 3 and Table 4 show the synchronization overhead of the proposed architecture under the Matrix test.  ... 
doi:10.1007/978-3-319-46097-0_9 fatcat:be27yrq5tjctbfo6czcwetrfg4

Detecting atomic-set serializability violations in multithreaded programs through active randomized testing

Zhifeng Lai, S. C. Cheung, W. K. Chan
2010 Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10  
We have implemented our technique as a prototype system ASSETFUZZER and applied it to a number of subject programs for evaluating concurrency defect analysis techniques.  ...  Concurrency bugs are notoriously difficult to detect because there can be vast combinations of interleavings among concurrent threads, yet only a small fraction can reveal them.  ...  However, the number of possible interleavings for a multithreaded program is often myriad. Researchers have proposed various criteria for analyzing concurrency defects.  ... 
doi:10.1145/1806799.1806836 dblp:conf/icse/LaiCC10 fatcat:hxzjwcg3irbwpnwbgomdn3sx3e
« Previous Showing results 1 — 15 out of 2,355 results