Machine code analysis for identifying software defects

A system for machine code analysis, the system comprising:

• at least one processor;
• and
• at least one memory storing computer-executable instructions, wherein the at least one processor is configured to access the at least one memory and is configured to perform a method comprising:
• generating, for a software product comprising a first computer program in a first high level programming language, and a second computer program in a second high level programming language, machine code that is executable by a hardware of a system under test, the machine code comprising a first set of machine-executable instructions corresponding to the first computer program and a second set of machine-executable instructions corresponding to the second computer program;
• executing a set of test cases associated with the first computer program, the set of test cases causes execution of the first set of machine-executable instructions;
• determining a failing test case, from the set of test cases;
• analyzing the first set of machine-executable instructions from the machine code to identify a pattern of machine-executable instructions in the first set of machine-executable instructions causing the failing test case to fail;
• identifying, in the machine code of the software product, the pattern of machine-executable instructions to be present in the second set of machine-executable instructions;
• and
• responsively, generating one or more test cases to test the second computer program corresponding to the second set of machine-executable instructions having the identified pattern.

A computer program product for machine code analysis, the computer program product comprising a storage medium readable by a processing circuit, the storage medium storing instructions executable by the processing circuit to cause a method to be performed, the method comprising:

• generating, for a software product comprising a first computer program in a first high level programming language, and a second computer program in a second high level programming language, machine code that is executable by a hardware of a system under test, the machine code comprising a first set of machine-executable instructions corresponding to the first computer program and a second set of machine-executable instructions corresponding to the second computer program;
• executing a set of test cases associated with the first computer program, the set of test cases causes execution of the first set of machine-executable instructions;
• determining a failing test case, from the set of test cases;
• analyzing the first set of machine-executable instructions from portion of the machine code to identify a pattern of machine-executable instructions in the first set of machine-executable instructions causing the failing test case to fail;
• identifying, in the machine code of the software product, the pattern of machine-executable instructions to be present in the second set of machine-executable instructions;
• and
• responsively, generating one or more test cases to test the second computer program corresponding to the second set of machine-executable instructions having the identified pattern.