发明名称 |
METHOD FOR EVALUATING THE QUALITY OF A COMPUTER PROGRAM |
摘要 |
The invention relates to a method for evaluating the quality of a computer program that, during execution, the input data and the output data of an integrated circuit are influenced. The method comprises the following steps: (a) preparing a mutated integrated circuit which is obtained by incorporating one or more functional mutations into the (unmutated) integrated circuit; (b) influencing the input data and the output data of the mutated integrated circuit during which the output data of the mutated integrated circuit are recorded; (c) comparing the hereby obtained output data obtained of the mutated integrated circuit with the output data that are expected when influencing the unmutated integrated circuit by the computer program, and; (d) evaluating the quality of the computer program on basis of the comparison results. |
申请公布号 |
WO2006012867(A2) |
申请公布日期 |
2006.02.09 |
申请号 |
WO2005DE01340 |
申请日期 |
2005.07.28 |
申请人 |
CERTES S.A.;GROSSE, JOERG;HAMPTON, MARK |
发明人 |
GROSSE, JOERG;HAMPTON, MARK |
分类号 |
(IPC1-7):G06F17/50 |
主分类号 |
(IPC1-7):G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|