Coverage Based Testing for Concurrent Software

Authors:
Juichi Takahashi;Hideharu Kojima;Zengo Furukawa
Affiliations:
-;-;-
Venue:
ICDCSW '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops
Year:
2008

Citing 0
Cited 2

Research in concurrent software testing: a systematic review

Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Symbolic execution of concurrent objects in CLP

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Concurrent programming is playing key roles for improving software performance since multi-core processors are used on various computing system. However, there may be not standard methodology for testing concurrent program. Especially, it would be difficult to know the quality of concurrent software. In this research, one of quality indexes, which would be defined by our research, is concurrent coverage criteria and is used for concurrent software testing. The concurrent coverage criteria would intend to find concurrent software specific defects, such as race conditions.