DocumentCode :
3736963
Title :
Test suites for benchmarks of static analysis tools
Author :
Shinichi Shiraishi;Veena Mohan;Hemalatha Marimuthu
Author_Institution :
Toyota InfoTechnology Center, U.S.A., Inc. 465 Bernardo Avenue, Mountain View, CA 94043
fYear :
2015
Firstpage :
12
Lastpage :
15
Abstract :
This paper proposes test suites for the benchmarks of static analysis tools. In our test suites, a wide variety of common defects are intentionally implemented. In addition, we also propose several criteria for the evaluation of static analysis tools. By using them, we can compare the performance of static analysis tools in a quantitative manner. Our test suites are available in the public domain. Moreover, this paper provides the evaluation results of the top performance tools as references. We would like to anticipate the further improvement of static analysis tools leveraged by our test suites and reference data.
Keywords :
"Memory management","Software","Concurrent computing","Productivity","Resource management","Dynamic scheduling","Vehicle dynamics"
Publisher :
ieee
Conference_Titel :
Software Reliability Engineering Workshops (ISSREW), 2015 IEEE International Symposium on
Type :
conf
DOI :
10.1109/ISSREW.2015.7392027
Filename :
7392027
Link To Document :
بازگشت