Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in the early stage. However, static defect detection tools face the high false positive rate problem. Therefore, programmers have to spend a considerable amount of time on screening out real bugs from a large number of reported warnings, which is time-consuming and inefficient. To alleviate the above problem during the report inspection process, we present EFindBugs to employ an effective two-stage error ranking strategy that suppresses the false positives and ranks the true error reports on top, so that real bugs existing in the programs could be more easily found and fixed by the programmers. In the first stage, EFindBugs initializes the ranking by assigning predefined defect likelihood for each bug pattern and sorting the error reports by the defect likelihood in descending order. In the second stage, EFindbugs optimizes the initial ranking self-adaptively through the feedback from users. This optimization process is executed automatically and based on the correlations among error reports with the same bug pattern. Our experiment on three widely-used Java projects (AspectJ, Tomcat, and Axis) shows that our ranking strategy outperforms the original ranking in FindBugs in terms of precision, recall and F1-score.
To solve the defect of poor robustness and realtimeliness of traditional correlation matching algorithm, this paper proposes a novel method that combines normalized autocorrelation matching algorithm, template updating strategy and grey forecasting model GM(1,1) with priority of new information. The real-time updating of the template image size improves the deformation resistance capability of the autocorrelation matching algorithm, and assignment of great weight to new information improves the robustness of the grey model. The use of forecasting increases the speed of the adaptive template and improves the real-timeliness of the algorithm. Meanwhile, the results of template matching provide the GM(1,1) model with new data for forecasting the target position of the next frame of image. When human motion region is shaded, the forecast value is used to replace the real value to continue the motion and thus to improve the real-timeliness and robustness of the system.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.