SoftWare IMmunization (SWIM) - A combination of static analysis and automatic testing

J. Jenny Li, John Palframan, Jim Landwehr

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

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.

Original languageEnglish
Title of host publicationProceedings - 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011
Pages656-661
Number of pages6
DOIs
StatePublished - 2011
Event35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011 - Munich, Germany
Duration: 18 Jul 201121 Jul 2011

Publication series

NameProceedings - International Computer Software and Applications Conference
ISSN (Print)0730-3157

Conference

Conference35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011
Country/TerritoryGermany
CityMunich
Period18/07/1121/07/11

Keywords

  • Automatic testing
  • Defect detection and prevention
  • Dynamic analysis
  • Static analysis

Cite this