Automated Testing of Definition-Use Data Flow for Multithreaded Programs

作者：Zhang Xiaodong^*; Yang Zijiang; Zheng Qinghua; Liu Pei; Chang Jialiang; Hao Yu; Liu Ting

来源：10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW), 2017-03-13 To 2017-03-17.

DOI：10.1109/ICST.2017.23

• Multithreaded Program
• Symbolic Analysis
• Guided Execution
• Definition-Use

With the advent of multicore processors, there is a trend towards multithreading to take advantage of parallel computing resources. Due to greatly increased complexity, programmers need effective testing methodology that can thoroughly test multithreaded programs. There has been significant progress based on symbolic execution that attempts to exhaustively explore all the intra-thread paths and inter-thread interleavings. However, such testing approach faces two insuperable challenges. Firstly, exploring an astronomically large number of paths and interleavings limits its scalability. Secondly, a path itself does not directly help programmers understand program behavior. In this paper, we propose an alternate testing methodology that focuses on definition-use data flow instead of paths/interleavings. Such approach not only leads to orders of magnitude reduction in testing complexity, but also gives programmers direct help on examining the shared variable usage in a multithreaded program.

• 出版日期2017
• 单位西安交通大学