Method, system, and computer program product to generate test instruction streams while guaranteeing loop termination

A method, system, and computer program product for generating terminating, pseudo-random test instruction streams, including forward and backward branching instructions. A first instruction stream is generated, including at least one backward branching instruction and at least one forward branching...

Full description

Saved in:
Bibliographic Details
Main Authors BOHIZIC THEODORE J, DUALE ALI Y, WITTIG DENNIS W
Format Patent
LanguageEnglish
Published 12.10.2006
Subjects
Online AccessGet full text

Cover

Loading…
More Information
Summary:A method, system, and computer program product for generating terminating, pseudo-random test instruction streams, including forward and backward branching instructions. A first instruction stream is generated, including at least one backward branching instruction and at least one forward branching instruction. Each backward branching instruction is preceded by at least one forward branching instruction, which is used to guarantee termination of the loop formed by the backward branching instruction. Backward branching targets are resolved when the backward branching instruction is inserted into the first instruction stream. Forward branching targets remain unresolved in the first instruction stream. A set of potential branch targets is determined for each forward branching instruction. For each forward branching instruction, a branch target is randomly selected from the set of potential branch targets for that forward branching instruction. The final terminating instruction stream consists of the first stream, with all forward branch targets resolved.
Bibliography:Application Number: US20060449318