A self-adaptive test framework for concurrent programs

Authors:
Manna Wu;Bo Zhou;Wei Shi
Affiliations:
Zhejiang University, Hangzhou, China;Zhejiang University, Hangzhou, China;Zhejiang University, Hangzhou, China
Venue:
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Year:
2009

Citing 3
Cited 0

Effective Generation of Test Sequences for Structural Testing of Concurrent Programs

ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
A New Algorithm for Reachability Testing of Concurrent Programs

ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Towards a better collaboration of static and dynamic analyses for testing concurrent programs

PADTAD '08 Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we describe a new test framework for concurrent programs. Testing on concurrent programs remains difficult due to the non-deterministic nature of concurrent programs. Approaches are proposed to surmount this difficulty. However, few of them are really effective. A new self-adaptive test framework is proposed to alleviate this problem, since it is impossible to solve it completely. This framework which is based on the study of concurrent test points tests each concurrent program like a circuit, while concurrent test points like components of the circuit. The original reason of concurrent bugs stems from the resource sharing among multiple processes or threads. Therefore, a controller is introduced in the framework to increasingly intensify resource competition via test data controlling, aiming to trigger concurrent bugs' emerging sooner once they exist.