System and method for systematic error injection in generated code

A method comprising:

• storing a computer source program in a memory, the computer source program conforming to a first programming language;
• translating by a processor coupled to the memory, the computer source program into a new format conforming to a second programming language that is different from the first programming language;
• introducing one or more errors into the new format of the computer source program, where the one or more introduced errors
• do not exist in the computer source program;
• and
• are introduced by at least one of
• altering one or more in-memory intermediate representations for the computer source program, where the one or more in-memory intermediate representations are utilized during the translating, or
• modifying the translated source program;
• and
• analyzing the translated source program in an effort to detect the one or more introduced errors.

An apparatus comprising:

• means for storing an executable model in a memory;
• means for generating computer programming code from the executable model;
• means for introducing one or more errors, not appearing in the executable model, into the computer programming code generated from the executable model, the one or more errors introduced by at least one of
• altering one or more in-memory intermediate representations for the executable model, where the one or more in-memory intermediate representations are utilized by the means for generating computer programming code, or
• modifying the generated computer programming code;
• and
• means for verifying the generated code, where the verifying means attempts to detect the one or more errors introduced into the generated computer programming code.

A data processing machine comprising:

• memory configured to store a system model having executable semantics, and instructions;
• a processor coupled to the memory, the processor configured by the instructions stored in the memory to:
• execute the system model;
• generate computer programming code from the system model;
• and
• introduce an error into the computer programming code generated from the system model, where
• the error is not present in the system model,
• the error is introduced by at least of
• altering one or more in-memory intermediate representations for the system model, where the one or more in-memory intermediate representations are utilized during generation of the computer programming code, or
• modifying the generated code, and
• the error simulates a bug in a code generation unit.

A method comprising:

• accessing a model having executable semantics;
• generating, by a processor, a first in-memory intermediate representation of the model;
• modifying, by the processor, the first in-memory intermediate representation by making one or more alterations to the first in-memory intermediate representation, the modifying creating a second in-memory intermediate representation;
• utilizing, by the processor, the second in-memory intermediate representation to generate code for the model, the generated code including one or more effors, where the one or more eors in the generated code
• correspond to the one or more alterations made to the first in-memory intermediate representation, and
• are not present in the model;
• and
• analyzing, by the processor, the generated code that includes the one or more errors.

An apparatus comprising:

• a memory storing a model having executable semantics;
• and
• a processor coupled to the memory, the processor configured to
• generate a first in-memory intermediate representation of the model,
• modify the first in-memory intermediate representation by making one or more alterations to the first in-memory intermediate representation, the modifying creating a second in-memory intermediate representation, utilize the second in-memory intermediate representation to generate code for the model, the generated code including one or more errors corresponding to the one or more alterations made to the first in-memory intermediate representation, the one or more errors are not present in the model, and
• analyze the generated code that includes the one or more errors.