Test program instruction generation
AssigneeArm Limited
InventorsSimon Craske, Eric Furbish, Jonathan Brawn
Life of this patent
Estimating the term…
Loading patent…
AssigneeArm Limited
InventorsSimon Craske, Eric Furbish, Jonathan Brawn
Estimating the term…
An architectural definition of an instruction set is parsed to identify distinct program instructions therein. These distinct program instructions are associated with operand defining data specifying the variables they require. A complete set of such distinct program instructions and their associated operand defining data is generated for the instruction set architecture and used to automatically generate instruction-generating code in respect of each of those distinct program instructions. The instruction-generating code can include an instruction constructor, an instruction mutator and an instruction encoder. The instruction-generating code which is automatically produced may be used by genetic algorithm techniques to develop test programs exploring a wide range of functional state of a data processing system under test. The architectural definition can also be parsed to identify a set of architectural state which may be reached excluding unreachable architectural points and unpredictable architectural points.
A method of automatically generating test program instructions for a data processing apparatus from an architectural definition of at least one instruction set of said data processing apparatus, said method comprising:
Apparatus for processing data operable to automatically generate test program instructions for a data processing apparatus from an architectural definition of at least one instruction set of said data processing apparatus, said apparatus comprising logic operable to perform the steps of:
A computer program product bearing a computer program for controlling a computer to perform a method of automatically generating test program instructions for a data processing apparatus from an architectural definition of at least one instruction set of said data processing apparatus, said method comprising:
Dependencies are inferred from the claim text.