SoftWare IMmunization (SWIM) - A Combination of Static Analysis and Automatic Testing

Author

Li, J. Jenny ; Palframan, John ; Landwehr, Jim

Author_Institution

Dept. of Data Anal., Avaya Labs. Res., Basking Ridge, NJ, USA

fYear

2011

fDate

18-22 July 2011

Firstpage

656

Lastpage

661

Abstract

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.

Keywords

program diagnostics; program testing; program verification; software fault tolerance; SWIM technology; dynamic automatic testing; high false alarm rate; software immunization method; static program analysis; Computer architecture; IEEE Potentials; Java; Software; Spyware; System recovery; Testing; automatic testing; defect detection; dynamic analysis; prevention; static analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference (COMPSAC), 2011 IEEE 35th Annual

Conference_Location

Munich

ISSN

0730-3157

Print_ISBN

978-1-4577-0544-1

Electronic_ISBN

0730-3157

Type

conf

DOI

10.1109/COMPSAC.2011.91

Filename

6032413