Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Wed 22 Jul 2020 13:50 - 14:10 at Zoom - BUILD TESTING Chair(s): Nazareno Aguirre

Modern software projects rely on build systems and build scripts to build executable artifacts correctly and efficiently. However, developing build scripts is error-prone. Dependency-related errors in build scripts, mainly including missing dependencies and redundant dependencies, are common in various kinds of software projects. These errors could lead to build failures, incorrect build results or poor performance in an incremental or/and parallel build. To detect such errors, various detection techniques are proposed based on different kinds of dependencies graphs. However, these techniques suffer from either low efficiency or high false positive problems, due to the deficiency of the underlying dependency graphs. In this work, we design a new dependency graph, the unified dependency graph (UDG), which leverages both static and dynamic information to uniformly encode the declared and actual dependencies between build targets and files. The construction of UDG facilitates the efficient and precise detection of detect dependency errors via simple graph traversals. We implement the proposed approach as a tool, Veribuild, and evaluate it on 42 well-maintained open-source projects. The experimental results have demonstrated that Veribuild has a good performance in efficiency and precision. Without losing precision, Veribuild incurs 58.2X less overhead than the state-of-the-art approach. By the time of writing, 398 detected dependency issues have been confirmed by the developers.

Wed 22 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

13:30 - 14:30: Technical Papers - BUILD TESTING at Zoom
Chair(s): Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

issta-2020-papers13:30 - 13:50
DOI Media Attached
issta-2020-papers13:50 - 14:10
Gang FanHong Kong University of Science and Technology, Chengpeng WangThe Hong Kong University of Science and Technology, Rongxin WuDepartment of Cyber Space Security, Xiamen University, Xiao XiaoSourcebrella Inc., Qingkai ShiThe Hong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology
DOI Media Attached
issta-2020-papers14:10 - 14:30
Zhibo Liu, Shuai WangHong Kong University of Science and Technology
DOI Media Attached