Abstract:
This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for their coverage testing. Such techni...Show MoreMetadata
Abstract:
This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for their coverage testing. Such techniques differ from others because they consider synchronization flow among processes/threads, distinct paradigms of communication/synchronization, method calls and pointer manipulation. The structural information gathered from the source code is kept in a test model based on a Parallel Control Flow Graph (PCFG) and helps the generation of an instrumented source code, used for a future generation of trace files and to replay the concurrent execution. The results show the techniques can generate both an instrumented code and a PCFG for Java concurrent programs effectively, extracting static and runtime information required for structural testing.
Published in: 2015 Latin American Computing Conference (CLEI)
Date of Conference: 19-23 October 2015
Date Added to IEEE Xplore: 17 December 2015
ISBN Information: