公开(公告)号：US20070233765A1

公开(公告)日：2007-10-04

申请号：US11758357

申请日：2007-06-05

申请人： Sanjay Gupta ,  Steven Roberts ,  Christopher Spandikow

发明人： Sanjay Gupta ,  Steven Roberts ,  Christopher Spandikow

IPC分类号： G06F17/11

CPC分类号： G06F11/263

摘要： A system and method for test generation for system level verification using parallel algorithms are provided. The present invention generates test patterns for system level tests by exploiting the scalability of parallel algorithms while allowing for data set coloring and expected result checking. Based on the characteristics of the system being tested an iterative parallel algorithm is selected from a plurality of possible parallel algorithms. The selected parallel algorithm is then separated into separate program statements for execution by a plurality of processors. A serial version of the selected algorithm is executed to generate a set of expected results. The devised parallel version of the selected algorithm is then run to generate a set of test result data which is compared to the set of expected results. If the two sets of data match, it is determined that the system is operating correctly.

摘要翻译： 提供了一种使用并行算法进行系统级验证的测试生成系统和方法。 本发明通过利用并行算法的可扩展性同时允许数据集着色和预期结果检查来生成用于系统级测试的测试模式。 基于被测系统的特征，从多个可能的并行算法中选择迭代并行算法。 然后将所选择的并行算法分离成单独的程序语句以供多个处理器执行。 执行所选算法的串行版本以产生一组预期结果。 然后运行所选算法的设计的并行版本以生成与一组预期结果进行比较的一组测试结果数据。 如果两组数据匹配，则确定系统正常运行。

公开(公告)号：US20060276998A1

公开(公告)日：2006-12-07

申请号：US11146987

申请日：2005-06-06

申请人： Sanjay Gupta ,  Steven Roberts ,  Christopher Spandikow

发明人： Sanjay Gupta ,  Steven Roberts ,  Christopher Spandikow

IPC分类号： G06F15/00

CPC分类号： G06F11/263

摘要： A system and method for test generation for system level verification using parallel algorithms are provided. The present invention generates test patterns for system level tests by exploiting the scalability of parallel algorithms while allowing for data set coloring and expected result checking. Based on the characteristics of the system being tested an iterative parallel algorithm is selected from a plurality of possible parallel algorithms. The selected parallel algorithm is then separated into separate program statements for execution by a plurality of processors. A serial version of the selected algorithm is executed to generate a set of expected results. The devised parallel version of the selected algorithm is then run to generate a set of test result data which is compared to the set of expected results. If the two sets of data match, it is determined that the system is operating correctly.

摘要翻译： 提供了一种使用并行算法进行系统级验证的测试生成系统和方法。 本发明通过利用并行算法的可扩展性同时允许数据集着色和预期结果检查来生成用于系统级测试的测试模式。 基于被测系统的特征，从多个可能的并行算法中选择迭代并行算法。 然后将所选择的并行算法分离成单独的程序语句以供多个处理器执行。 执行所选算法的串行版本以产生一组预期结果。 然后运行所选算法的设计的并行版本以生成与一组预期结果进行比较的一组测试结果数据。 如果两组数据匹配，则确定系统正常运行。