国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

Whether the software runs reliably will directly affect the reliable operation of the system, and there is an urgent need to have means to guarantee software quality. Static analysis has been widely used in the field of software testing due to its features such as fully automatic operation, earlier implementation, no need to execute code, etc. It has become an important means to guarantee software quality. Testing tools can greatly improve the efficiency of software testing. At present, there are many software testing tools for static analysis, different tools have different characteristics and defect detection capabilities, and all of them have not low false positive rate and false negative rate, how to evaluate and select the testing tool has become an urgent problem to be solved. Based on the benchmark test set of CWE, and the five evaluation metrics of precision, recall, F1-Score, CWE coverage and Overall-Score, the evaluation process of software testing tools for static analysis is elaborated. A case study was conducted using three open-source software static analysis tools, CppCheck, TscanCode, and Flawfinder, which provides guidance and reference for the evaluation and selection of software static analysis tools.