Lightweight State Capturing for Automated Testing of Multithreaded Programs

Unfolding based automated testing of multithreaded programs

Automated Software Engineering ◽

10.1007/s10515-014-0150-6 ◽

2014 ◽

Vol 22 (4) ◽

pp. 475-515 ◽

Cited By ~ 6

Author(s):

Kari Kähkönen ◽

Olli Saarikivi ◽

Keijo Heljanko

Keyword(s):

Automated Testing ◽

Multithreaded Programs

Download Full-text

Automated Testing of Definition-Use Data Flow for Multithreaded Programs

2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2017.23 ◽

2017 ◽

Cited By ~ 1

Author(s):

Xiaodong Zhang ◽

Zijiang Yang ◽

Qinghua Zheng ◽

Pei Liu ◽

Jialiang Chang ◽

...

Keyword(s):

Data Flow ◽

Automated Testing ◽

Multithreaded Programs

Download Full-text

Using unfoldings in automated testing of multithreaded programs

Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012 ◽

10.1145/2351676.2351698 ◽

2012 ◽

Cited By ~ 12

Author(s):

Kari Kähkönen ◽

Olli Saarikivi ◽

Keijo Heljanko

Keyword(s):

Automated Testing ◽

Multithreaded Programs

Download Full-text

Probability of detection of minute defects by ultrasonic automated testing equipment in view of Bayesian inference

Materials Testing ◽

10.3139/120.110815 ◽

2016 ◽

Vol 58 (1) ◽

pp. 27-30 ◽

Cited By ~ 1

Author(s):

Alex Leybovich

Keyword(s):

Bayesian Inference ◽

Probability Of Detection ◽

Testing Equipment ◽

Automated Testing

Download Full-text

ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/tpds.2014.2307864 ◽

2015 ◽

Vol 26 (1) ◽

pp. 13-23 ◽

Cited By ~ 10

Author(s):

Yan Cai ◽

Changjiang Jia ◽

Shangru Wu ◽

Ke Zhai ◽

Wing Kwong Chan

Keyword(s):

Large Scale ◽

Multithreaded Programs

Download Full-text

Platform Independent Analysis of Probabilities on Multithreaded Programs

International Journal of Software Innovation ◽

10.4018/ijsi.2013070104 ◽

2013 ◽

Vol 1 (3) ◽

pp. 48-65

Author(s):

Yuting Chen

Keyword(s):

Operating System ◽

Static Analysis ◽

Main Idea ◽

Experimental Results ◽

Machine To Machine ◽

Concurrent Program ◽

Acceptable Accuracy ◽

Multithreaded Programs ◽

Independent Analysis ◽

And Performance

A concurrent program is intuitively associated with probability: the executions of the program can produce nondeterministic execution program paths due to the interleavings of threads, whereas some paths can always be executed more frequently than the others. An exploration of the probabilities on the execution paths is expected to provide engineers or compilers with support in helping, either at coding phase or at compile time, to optimize some hottest paths. However, it is not easy to take a static analysis of the probabilities on a concurrent program in that the scheduling of threads of a concurrent program usually depends on the operating system and hardware (e.g., processor) on which the program is executed, which may be vary from machine to machine. In this paper the authors propose a platform independent approach, called ProbPP, to analyzing probabilities on the execution paths of the multithreaded programs. The main idea of ProbPP is to calculate the probabilities on the basis of two kinds of probabilities: Primitive Dependent Probabilities (PDPs) representing the control dependent probabilities among the program statements and Thread Execution Probabilities (TEPs) representing the probabilities of threads being scheduled to execute. The authors have also conducted two preliminary experiments to evaluate the effectiveness and performance of ProbPP, and the experimental results show that ProbPP can provide engineers with acceptable accuracy.

Download Full-text