×

Method and apparatus for automatically isolating minimal distinguishing stimuli in design verification and software development

  • US 20030051232A1
  • Filed: 08/29/2001
  • Published: 03/13/2003
  • Est. Priority Date: 08/20/2001
  • Status: Active Grant
First Claim
Patent Images

1. A method of debugging software comprising:

  • obtaining a software module;

    obtaining a first input test vector;

    obtaining a bug list;

    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; and

    appending said software module and said first input test vector to said bug list when the result of said module decomposition test is negative.

View all claims
  • 2 Assignments
Timeline View
Assignment View
    ×
    ×