发明名称 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
代理机构 代理人
主权项
地址