hrcak mascot   Srce   HID

Izvorni znanstveni članak
https://doi.org/10.17559/TV-20150317102804

Research of alarm correlations based on static defect detection

Dalin Zhang   ORCID icon orcid.org/0000-0003-0346-7020 ; National Research Center of Railway Safety Assessment, Beijing Jiaotong University, Beijing, China
Dahai Jin ; State Key Laboratory of Networking and Switching, Beijing University of Posts and Telecommunications, Beijing, China
Yunzhan Gong ; State Key Laboratory of Networking and Switching, Beijing University of Posts and Telecommunications, Beijing, China
Siru Chen ; History and Tourism Management, Inner Mongolia University, Hohhot, China
Chengcheng Wang ; Shanghai Stock Exchange, Shanghai, China

Puni tekst: engleski, pdf (2 MB) str. 311-318 preuzimanja: 209* citiraj
APA 6th Edition
Zhang, D., Jin, D., Gong, Y., Chen, S. i Wang, C. (2015). Research of alarm correlations based on static defect detection. Tehnički vjesnik, 22 (2), 311-318. https://doi.org/10.17559/TV-20150317102804
MLA 8th Edition
Zhang, Dalin, et al. "Research of alarm correlations based on static defect detection." Tehnički vjesnik, vol. 22, br. 2, 2015, str. 311-318. https://doi.org/10.17559/TV-20150317102804. Citirano 21.07.2019.
Chicago 17th Edition
Zhang, Dalin, Dahai Jin, Yunzhan Gong, Siru Chen i Chengcheng Wang. "Research of alarm correlations based on static defect detection." Tehnički vjesnik 22, br. 2 (2015): 311-318. https://doi.org/10.17559/TV-20150317102804
Harvard
Zhang, D., et al. (2015). 'Research of alarm correlations based on static defect detection', Tehnički vjesnik, 22(2), str. 311-318. https://doi.org/10.17559/TV-20150317102804
Vancouver
Zhang D, Jin D, Gong Y, Chen S, Wang C. Research of alarm correlations based on static defect detection. Tehnički vjesnik [Internet]. 2015 [pristupljeno 21.07.2019.];22(2):311-318. https://doi.org/10.17559/TV-20150317102804
IEEE
D. Zhang, D. Jin, Y. Gong, S. Chen i C. Wang, "Research of alarm correlations based on static defect detection", Tehnički vjesnik, vol.22, br. 2, str. 311-318, 2015. [Online]. https://doi.org/10.17559/TV-20150317102804
Puni tekst: hrvatski, pdf (2 MB) str. 311-318 preuzimanja: 267* citiraj
APA 6th Edition
Zhang, D., Jin, D., Gong, Y., Chen, S. i Wang, C. (2015). Istraživanje korelacija alarma na temelju detekcije statičkog kvara. Tehnički vjesnik, 22 (2), 311-318. https://doi.org/10.17559/TV-20150317102804
MLA 8th Edition
Zhang, Dalin, et al. "Istraživanje korelacija alarma na temelju detekcije statičkog kvara." Tehnički vjesnik, vol. 22, br. 2, 2015, str. 311-318. https://doi.org/10.17559/TV-20150317102804. Citirano 21.07.2019.
Chicago 17th Edition
Zhang, Dalin, Dahai Jin, Yunzhan Gong, Siru Chen i Chengcheng Wang. "Istraživanje korelacija alarma na temelju detekcije statičkog kvara." Tehnički vjesnik 22, br. 2 (2015): 311-318. https://doi.org/10.17559/TV-20150317102804
Harvard
Zhang, D., et al. (2015). 'Istraživanje korelacija alarma na temelju detekcije statičkog kvara', Tehnički vjesnik, 22(2), str. 311-318. https://doi.org/10.17559/TV-20150317102804
Vancouver
Zhang D, Jin D, Gong Y, Chen S, Wang C. Istraživanje korelacija alarma na temelju detekcije statičkog kvara. Tehnički vjesnik [Internet]. 2015 [pristupljeno 21.07.2019.];22(2):311-318. https://doi.org/10.17559/TV-20150317102804
IEEE
D. Zhang, D. Jin, Y. Gong, S. Chen i C. Wang, "Istraživanje korelacija alarma na temelju detekcije statičkog kvara", Tehnički vjesnik, vol.22, br. 2, str. 311-318, 2015. [Online]. https://doi.org/10.17559/TV-20150317102804

Sažetak
Traditional static defect detection tools can detect software defects and report alarms, but the correlations among alarms are not identified and massive independent alarms are against the understanding. Helping users in the alarm verification task is a major challenge for current static defect detection tools. In this paper, we formally introduce alarm correlations. If the occurrence of one alarm causes another alarm, we say that they are correlated. If one dominant alarm is uniquely correlated with another, we know verifying the first will also verify the others. Guided by the correlation, we can reduce the number of alarms required for verification. Our algorithms are inter-procedural, path-sensitive, and scalable. We present a correlation procedure summary model for inter-procedural alarm correlation calculation. The underlying algorithms are implemented inside our defect detection tools. We chose one common semantic fault as a case study and proved that our method has the effect of reducing 34,23 % of workload. Using correlation information, we are able to automate the alarm verification that previously had to be done manually.

Ključne riječi
abstract interpretation; alarm correlations; alarm verification; correlation summary; state slicing

Hrčak ID: 138082

URI
https://hrcak.srce.hr/138082

[hrvatski]

Posjeta: 738 *