TY - GEN
T1 - SoftWare IMmunization (SWIM) - A combination of static analysis and automatic testing
AU - Li, J. Jenny
AU - Palframan, John
AU - Landwehr, Jim
PY - 2011
Y1 - 2011
N2 - Static program analysis uses many checkers to discover a very large number of programming issues, but with a high false alarm rate. With the aid of dynamic automatic testing, the actual severe defects can be confirmed by failures of test cases. After defects are fixed, similar types of defects tend to reoccur again. In this paper, we propose a SoftWare IMmunization (SWIM) method to combine static analysis and automatic testing results for detecting severe defects and preventing similar defects from reoccurring, i.e. to have the software immunized from the same type of defects. Three industrial trials of the technology demonstrated the feasibility and defect detection accuracy of the SWIM technology.
AB - Static program analysis uses many checkers to discover a very large number of programming issues, but with a high false alarm rate. With the aid of dynamic automatic testing, the actual severe defects can be confirmed by failures of test cases. After defects are fixed, similar types of defects tend to reoccur again. In this paper, we propose a SoftWare IMmunization (SWIM) method to combine static analysis and automatic testing results for detecting severe defects and preventing similar defects from reoccurring, i.e. to have the software immunized from the same type of defects. Three industrial trials of the technology demonstrated the feasibility and defect detection accuracy of the SWIM technology.
KW - Automatic testing
KW - Defect detection and prevention
KW - Dynamic analysis
KW - Static analysis
UR - http://www.scopus.com/inward/record.url?scp=80055014594&partnerID=8YFLogxK
U2 - 10.1109/COMPSAC.2011.91
DO - 10.1109/COMPSAC.2011.91
M3 - Conference contribution
AN - SCOPUS:80055014594
SN - 9780769544397
T3 - Proceedings - International Computer Software and Applications Conference
SP - 656
EP - 661
BT - Proceedings - 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011
T2 - 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011
Y2 - 18 July 2011 through 21 July 2011
ER -