公开(公告)号：US20100057424A1

公开(公告)日：2010-03-04

申请号：US11658930

申请日：2005-07-28

申请人： Joerg Grosse ,  Mark Hampton

发明人： Joerg Grosse ,  Mark Hampton

IPC分类号： G06F17/50

CPC分类号： G06F17/5022

摘要： The invention relates to a method for rating the quality of a test program for integrated circuits simulated by means of a computer, comprising (a) provision of a first file which describes an integrated circuit; (b) simulation of a mutated integrated circuit which is obtained by incorporating mutations into the integrated circuit described in the first file; (c) supply of input values to the mutated integrated circuit and recording of the output values produced for these input values by the mutated integrated circuit; (d) comparison of the output values produced by the mutated integrated circuit with expected values which are provided by the test program, where the expected values have been generated in a reference system; and (e) rating of the quality of the test program on the basis of the comparison results.

摘要翻译： 本发明涉及一种用于评估通过计算机模拟的集成电路的测试程序的质量的方法，包括：（a）提供描述集成电路的第一文件; （b）通过将突变并入第一文件中描述的集成电路而获得的突变集成电路的模拟; （c）向突变集成电路提供输入值，并通过突变集成电路记录为这些输入值产生的输出值; （d）将突变集成电路产生的输出值与由测试程序提供的预期值进行比较，其中在参考系统中已经产生了预期值; 和（e）根据比较结果评估测试程序的质量。

公开(公告)号：US08311793B2

公开(公告)日：2012-11-13

申请号：US11658930

申请日：2005-07-28

申请人： Joerg Grosse ,  Mark Hampton

发明人： Joerg Grosse ,  Mark Hampton

IPC分类号： G06F17/50

CPC分类号： G06F17/5022

摘要： The disclosure relates to a method for rating the quality of a test program for integrated circuits simulated by means of a computer. The method includes provision of a first file which describes an integrated circuit; simulation of a mutated integrated circuit which is obtained by incorporating mutations into the integrated circuit described in the first file; supplying input values to the mutated integrated circuit and recording of the output values produced for these input values by the mutated integrated circuit; comparison of the output values produced by the mutated integrated circuit with expected values which are provided by the test program, where the expected values have been generated in a reference system; and rating of the quality of the test program on the basis of the comparison results.

摘要翻译： 本公开涉及一种用于评估通过计算机模拟的集成电路的测试程序的质量的方法。 该方法包括提供描述集成电路的第一文件; 通过将突变并入第一文件中描述的集成电路而获得的突变集成电路的仿真; 向突变集成电路提供输入值，并通过突变集成电路记录为这些输入值产生的输出值; 将突变集成电路产生的输出值与由测试程序提供的预期值进行比较，其中在参考系统中生成了预期值; 并根据比较结果对测试程序的质量进行评级。

公开(公告)号：US20100146490A1

公开(公告)日：2010-06-10

申请号：US12516546

申请日：2007-11-28

申请人： Joerg Grosse ,  Mark Hampton

发明人： Joerg Grosse ,  Mark Hampton

IPC分类号： G06F11/36

CPC分类号： G06F17/5081 ,  G06F11/3688

摘要： The invention relates to a method for testing a computer program after changing a first version of the computer program into a second version of the computer program due to a revision of the computer program. The method comprises the steps of(a) determining the mutations that can be inserted into the first version of the computer program, and the mutations that can be inserted into the second version of the computer program; and (b) comparing the first version of the computer program with the second version of the computer program to determine changed and unchanged mutations in the second version against the first version, wherein (b1) the mutations that can be inserted only in the first version of the computer program or only in the second version of the computer program are classified as changed mutations; and (b2) the mutations that can be inserted in the first and the second version are classified as unchanged mutations.

摘要翻译： 本发明涉及一种用于在将计算机程序的第一版本改为计算机程序的第二版本之后测试计算机程序的方法，这是由于计算机程序的修订。 该方法包括以下步骤：（a）确定可以插入到计算机程序的第一版本中的突变，以及可插入计算机程序的第二版本的突变; 和（b）将所述计算机程序的第一版本与所述计算机程序的第二版本进行比较，以针对所述第一版本确定所述第二版本中的改变和不变的突变，其中（b1）仅能够插入所述第一版本的所述突变 的计算机程序或仅在计算机程序的第二版本被分类为改变的突变; 和（b2）可以插入第一和第二版本的突变被分类为不变突变。

公开(公告)号：US08468503B2

公开(公告)日：2013-06-18

申请号：US12516546

申请日：2007-11-28

申请人： Joerg Grosse ,  Mark Hampton

发明人： Joerg Grosse ,  Mark Hampton

IPC分类号： G06F9/44 ,  G06F11/00

CPC分类号： G06F17/5081 ,  G06F11/3688

摘要： Methods for testing a computer program after changing a first version of the computer program into a second version of the computer program due to a revision of the computer program are provided. In one aspect, the method includes determining mutations inserted into the first version of the computer program, and the mutations inserted into the second version of the computer program, and comparing the first version of the computer program with the second version of the computer program to determine changed and unchanged mutations in the second version against the first version. The mutations that can be inserted only in the first version of the computer program or only in the second version of the computer program are classified as changed mutations and the mutations that can be inserted in the first and the second version are classified as unchanged mutations.

摘要翻译： 提供了由于计算机程序的修订而将计算机程序的第一版本更改为计算机程序的第二版本后的计算机程序的测试方法。 一方面，该方法包括确定插入到计算机程序的第一版本中的突变，以及插入计算机程序的第二版本中的突变，以及将计算机程序的第一版本与计算机程序的第二版本进行比较 确定第二版中的改变和不变的突变与第一个版本。 只能在计算机程序的第一版本或仅在计算机程序的第二版本中插入的突变被分类为改变的突变，并且可以插入第一和第二版本的突变被分类为不变突变。

公开(公告)号：US08010919B2

公开(公告)日：2011-08-30

申请号：US11658931

申请日：2005-07-28

申请人： Joerg Grosse ,  Mark Hampton

发明人： Joerg Grosse ,  Mark Hampton

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F11/008

摘要： The invention relates to a method for rating the quality of a computer program whose execution involves an integrated circuit's input data and output data being influenced, comprising (a) provision of a mutated integrated circuit which is obtained by incorporating one or more functional mutations into the (unmutated) integrated circuit; (b) influencing of the mutated integrated circuit's input data and output data, with the output data from the mutated integrated circuit being recorded; (c) comparison of the output data obtained in this manner from the mutated integrated circuit with the output data which the computer program expects when the unmutated integrated circuit is influenced; and (d) rating of the quality of the computer program on the basis of the comparison results.

摘要翻译： 本发明涉及一种用于评估其执行涉及集成电路的输入数据和受影响的输出数据的计算机程序的质量的方法，包括（a）提供突变的集成电路，其通过将一个或多个功能突变并入 （未显示）集成电路; （b）对突变集成电路的输入数据和输出数据的影响，来自突变集成电路的输出数据被记录; （c）将以这种方式获得的输出数据与突变集成电路的比较与计算机程序在未被忽略的集成电路影响时期望的输出数据进行比较; 和（d）根据比较结果评估计算机程序的质量。

公开(公告)号：US20090222774A1

公开(公告)日：2009-09-03

申请号：US11658931

申请日：2005-07-28

申请人： Joerg Grosse ,  Mark Hampton

发明人： Joerg Grosse ,  Mark Hampton

IPC分类号： G06F17/50 ,  G06F9/44

CPC分类号： G06F17/5022 ,  G06F11/008

摘要： The invention relates to a method for rating the quality of a computer program whose execution involves an integrated circuit's input data and output data being influenced, comprising (a) provision of a mutated integrated circuit which is obtained by incorporating one or more functional mutations into the (unmutated) integrated circuit; (b) influencing of the mutated integrated circuit's input data and output data, with the output data from the mutated integrated circuit being recorded; (c) comparison of the output data obtained in this manner from the mutated integrated circuit with the output data which the computer program expects when the unmutated integrated circuit is influenced; and (d) rating of the quality of the computer program on the basis of the comparison results.

摘要翻译： 本发明涉及一种用于评估其执行涉及集成电路的输入数据和受影响的输出数据的计算机程序的质量的方法，包括（a）提供突变的集成电路，其通过将一个或多个功能突变并入 （未显示）集成电路; （b）对突变集成电路的输入数据和输出数据的影响，来自突变集成电路的输出数据被记录; （c）将以这种方式获得的输出数据与突变集成电路的比较与计算机程序在未被忽略的集成电路影响时期望的输出数据进行比较; 和（d）根据比较结果评估计算机程序的质量。