公开(公告)号：CN101482858B

公开(公告)日：2013-08-14

申请号：CN200810188997.2

申请日：2008-12-29

申请人： 英特尔公司

发明人： P·曼纳瓦 ,  S·朴 ,  A·丁甘卡 ,  C-T·周 ,  N·米特尔 ,  M·拉达克里西南 ,  S·玛雅科

IPC分类号： G06F15/177

摘要： 本发明描述了一种用于确保诸如协议或互连体系结构的体系结构的有效确认覆盖的方法和装置。生成体系结构的状态的覆盖空间并将其存储在数据库中。在模拟期间，标记遇到的覆盖空间的状态。由此，可确定遇到和未遇到的状态。基于未遇到的状态，开发目标测试套件以将先前模拟期间未遇到的状态中的至少某些作为目标。这种从模拟到基于在模拟期间未遇到的覆盖空间的状态改进测试套件的反馈环可递归地重复，直到达到覆盖空间的足够的确认，即足够的确认置信水平。

公开(公告)号：CN101482858A

公开(公告)日：2009-07-15

申请号：CN200810188997.2

申请日：2008-12-29

申请人： 英特尔公司

发明人： P·曼纳瓦 ,  S·朴 ,  A·丁甘卡 ,  C-T·周 ,  N·米特尔 ,  M·拉达克里西南 ,  S·玛雅科

IPC分类号： G06F15/177

摘要： 本文描述了一种用于确保诸如协议或互连体系结构的体系结构的有效确认覆盖的方法和装置。生成体系结构的状态的覆盖空间并将其存储在数据库中。在模拟期间，标记遇到的覆盖空间的状态。由此，可确定遇到和未遇到的状态。基于未遇到的状态，开发目标测试套件以将先前模拟期间未遇到的状态中的至少某些作为目标。这种从模拟到基于在模拟期间未遇到的覆盖空间的状态改进测试套件的反馈环可递归地重复，直到达到覆盖空间的足够的确认，即足够的确认置信水平。