METHOD component testing microprocessors, test oracle component testing microprocessors, METHOD OF WORK test oracles, a method for constructing test oracles

摘要

1. A method for testing components of microprocessors by which testing organized as a series of operation cycles of the test component, wherein the beginning of each cycle via the test sequence generator creates another appeal to the test component and transmitting all incoming signals during this treatment the component under test and the oracle in After each stroke, the oracle transmit all the output signals of the component under test, and produce an assessment of their correctness as an answer to all this is received before of torque inputs, if Oracle detects an error in the form of non-compliance of the results needs to the component under test, the test is complete and reports a bug, if the error oracle does not show, then continue testing at the end of the test sequence using a generator test sequence creates zero input signals as many times as the tested component required for issuing the responses to all previously submitted input signals, wherein the via is checked oracle x correct, if Oracle detects an error, the test is complete and reports a bug, if the oracle of all the testing time will not detect an error, the following answers to all previously submitted inputs conclude the correct operation of the component under test, the test is completed and reported the successful completion of the test, the test pattern generator is built from a script that describes a set of different ways of accessing the component under test and oracle using compiler requirements model