System and method for systematic error injection in generated code

摘要

A system and method introduces one or more errors into computer programming code generated from a model or other source program. The one or more errors are not present in the model, but are introduced into the code generated from the model. The one or more errors may simulate one or more bugs in the code generation process. The generated code, including the one or more introduced errors, may be analyzed by one or more verification tools. The one or more verification tools examine the generated code in an effort to detect the one or more errors that were introduced. The one or more verification tools may compare the generated code to the model or source program. If the one or more verification tools is able to detect the one or more introduced errors, then the one or more verification tools may be considered to be validated.

主权项

1. A non-transitory, computer-readable storage medium with an executable program stored thereon, where the program instructs a processor to:
access a model having executable semantics; generate code from the model by the processor; introduce one or more errors into the code generated from the model, where the one or more errors introduced into the code generated from the model are
not present in the model, andare introduced by at least one of
altering one or more in-memory intermediate representations for the model, where the one or more in-memory intermediate representations are utilized during code generation, ormodifying the generated code; and analyze, by the processor, the generated code that includes the one or more introduced errors.