Patent ID: 7017150
Filing Date: 2006-03-21
Classification: G06F

Abstract:
1. A computer-implemented method of debugging software comprising: obtaining a software module; obtaining a first input test vector; obtaining a bug list, wherein said bug list comprises a minimal set of stimuli to reproduce a software bug in said software module; generating a first output vector by applying said first input test vector to said software module; applying a comparison test to said first output vector to determine whether a bug exists in said software module; applying a module decomposition test to said software module when the result of said comparison test is positive; obtaining a module decomposition list comprising two or more submodules of said software module and iteratively processing said module decomposition list when the result of said module decomposition test is positive, wherein iteratively processing said module decomposition list comprises removing at least one submodule; and appending said software module and said first input test vector to said bug list when said software module is a minimal module based on module decomposition list as determined by the module decomposition test.