首页>
外国专利>
Method and apparatus for automatically isolating minimal distinguishing stimuli in design verification and software development
Method and apparatus for automatically isolating minimal distinguishing stimuli in design verification and software development
展开▼
机译:在设计验证和软件开发中自动隔离最小区分刺激的方法和装置
展开▼
页面导航
摘要
著录项
相似文献
摘要
The invention provides a method for detecting and isolating software bugs and generating a minimal set of stimuli to reproduce the bugs. The present invention utilizes a recursive algorithm to compare the output of successively smaller software blocks of a program in development to a verified output sample. The smallest software blocks which are found to contain a bug are isolated. For each of these isolated blocks, the smallest input vector is determined such that the application of this vector to the block expresses the bug. The present invention utilizes a separate recursive algorithm to determine these minimal vectors.
展开▼