hrcak mascot   Srce   HID

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

Puni tekst: engleski, pdf (724 KB) str. 762-770 preuzimanja: 87* citiraj
APA 6th Edition
Zhu, H., Jin, D. i Gong, Y. (2019). Inter-Procedural Diagnosis Path Generation for Automatic Confirmation of Program Suspected Faults. Tehnički vjesnik, 26 (3), 762-770. https://doi.org/10.17559/TV-20190417093740
MLA 8th Edition
Zhu, Honglei, et al. "Inter-Procedural Diagnosis Path Generation for Automatic Confirmation of Program Suspected Faults." Tehnički vjesnik, vol. 26, br. 3, 2019, str. 762-770. https://doi.org/10.17559/TV-20190417093740. Citirano 13.11.2019.
Chicago 17th Edition
Zhu, Honglei, Dahai Jin i Yunzhan Gong. "Inter-Procedural Diagnosis Path Generation for Automatic Confirmation of Program Suspected Faults." Tehnički vjesnik 26, br. 3 (2019): 762-770. https://doi.org/10.17559/TV-20190417093740
Harvard
Zhu, H., Jin, D., i Gong, Y. (2019). 'Inter-Procedural Diagnosis Path Generation for Automatic Confirmation of Program Suspected Faults', Tehnički vjesnik, 26(3), str. 762-770. https://doi.org/10.17559/TV-20190417093740
Vancouver
Zhu H, Jin D, Gong Y. Inter-Procedural Diagnosis Path Generation for Automatic Confirmation of Program Suspected Faults. Tehnički vjesnik [Internet]. 2019 [pristupljeno 13.11.2019.];26(3):762-770. https://doi.org/10.17559/TV-20190417093740
IEEE
H. Zhu, D. Jin i Y. Gong, "Inter-Procedural Diagnosis Path Generation for Automatic Confirmation of Program Suspected Faults", Tehnički vjesnik, vol.26, br. 3, str. 762-770, 2019. [Online]. https://doi.org/10.17559/TV-20190417093740

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

Posjeta: 152 *