Method for testing a computer program

Method according to any one of the preceding claims, further comprising

• c) the use of the results of a mutation analysis of all or a part of the mutations which can be inserted into the first version of the computer program and which in step (b) have been classified as changed mutations to select tests for the reduced regression testing of the second version of the computer program;
• and the use of all or a part of the mutations classified in step (b) as changed mutations except for that which can be inserted into the first version of the computer program for the mutation analysis of the second version of the computer program.

Method according to any one of the preceding claims, characterized in that in step (b) mutations classified as changed mutations that can be inserted into the second version but not into the first version are classified as new mutations.

Method according to any one of the preceding claims, characterized in that in step (b) mutations classified as changed mutations that can be inserted into the first version but not into the second version are classified as removed mutations.

Method according to any one of the preceding claims, characterized in that for testing the second version of the computer program a mutation analysis of the new mutations is conducted.

Method according to any one of the preceding claims, characterized in that for testing the second version of the computer program tests are performed that upon a mutation analysis of the first version of the computer program detected mutations classified as removed mutations.

Method according to any one of the preceding claims, characterized in that the mutations are classified as new mutations that either

• (b11) can be inserted into lines, statements and/or expressions of the source code of the second version which have been added to the second version of the computer program compared to the first version of the computer program;
• and/or
• (b12) can be inserted into lines, statements and/or expressions of the source code of the second version which have been changed in the second version of the computer program compared to the first version of the computer program.

Method according to any one of the preceding claims, characterized in that mutations are classified as removed mutations that either

• (b13) can be inserted into lines, statements and/or expressions of the source code of the first version which have been deleted in the second version of the computer program compared to the first version of the computer program;
• and/or
• (b14) can be inserted into lines, statements and/or expressions of the source code of the first version which have been changed in the second version of the computer program compared to the first version of the computer program.

Method according to any one of the preceding claims, characterized in that all mutations that can be inserted into lines, statements and/or expressions of the source code of the second version and have not been classified as new mutations or as removed mutations are classified as unchanged mutations.

Method according to any one of the preceding claims, characterized in that the second version of the computer program is assessed as “not deteriorated” against the first Version if tests are passed that upon a mutation analysis of the first version of the computer program detected mutations classified as removed mutations.

Method according to any one of the preceding claims, characterized in that source code containing not detected new mutants classified upon the mutation analysis of the mutations as new mutations, is characterized as not sufficiently tested.

Method according to any one of the preceding claims, characterized in that the source code describes an integrated circuit.

Method according to any one of the preceding claims, characterized in that it is carried out using a Field Programmable Gate Array (FPGA).