Izvorni znanstveni članak

https://doi.org/10.17559/TV-20190417093740

Inter-Procedural Diagnosis Path Generation for Automatic Confirmation of Program Suspected Faults

Honglei Zhu ; State Key Laboratory of Network and Switching Technology, Beijing University of Posts and Telecommunications, No. 10 Xitucheng Road, 100876 Beijing, China
Dahai Jin ; State Key Laboratory of Network and Switching Technology, Beijing University of Posts and Telecommunications, No. 10 Xitucheng Road, 100876 Beijing, China
Yunzhan Gong ; State Key Laboratory of Network and Switching Technology, Beijing University of Posts and Telecommunications, No. 10 Xitucheng Road, 100876 Beijing, China

Sažetak

Static analysis plays an important role in the software testing field. However, the initial results of static analysis always have a large number of false positives, which need to be confirmed by manual or automatic tools. In this paper, a novel approach is proposed, which combines the demand-driven analysis and the inter-procedural dataflow analysis, and generates the inter-procedural diagnosis paths to help the testers confirm the suspected faults automatically. In our approach, first, the influencing nodes of suspected fault are calculated. Then, the CFG of each associated procedure is simplified according to the influencing nodes. Finally, the “section-whole” strategy is employed to generate the inter-procedural diagnosis path. In order to illustrate and verify our approach, an experimental study is performed on the five open source C language projects. The results show that compared with the traditional approach, our approach requires less time and can generate more inter-procedural diagnosis paths in the given suspected faults.

Ključne riječi

automatic confirmation; path generation; static analysis; suspected fault

Hrčak ID:

221002

URI

https://hrcak.srce.hr/221002

Datum izdavanja:

12.6.2019.

Posjeta: 1.526 *