Abstract
Testers use model-based testing to design abstract tests from models of the system ' s behavior. Testers instantiate the abstract tests into concrete tests with test input values and test oracles that check the results. Given the same test inputs, more elaborate test oracles has the potential to reveal more failures, and may also is more Costly. This is the investigates the ability for test oracles to reveal failures.
P.s
When tests is executed, a fault may is triggered to produce an error state, which then propagates to an external failure. This is known as the reachability, infection, and propagation (RIP) model. But even if a fault propagates to a failure, it was only useful if the failing part of the the output State was revealed to the Tester. With manual testing, it can is assumed that all failures is revealed, but when automated, the test could not check the part of output is erroneous. Therefore, this paper extends the traditional RIP to the reachability, infection, propagation, and revealability (RIPR) mod El.
Test Oracle Strategies for model-based Testing