Figure 1 AN EXAMPLE PROGRAM TO EXPLAIN CONCOLIC TESTING
Related Figures (5)
FIGURE 2: SCHEMATIC REPRESENTATION OF OUR APPROACH The requirement states that if there exists a test suite T_1 that achieves 100% coverage on M’ with respect to N’, then coverage of T_1 on M with respect to N is 100%. The main purpose of our proposed MC/DC tester is to extend the Concolic testing to get increased MC/DC coverage. Transformations of programs under test to include extra conditions are a feasible alternative to attain that aim. After program transformation, let us drive a Concolic tester FIGURE 6: SCREEN SHOT SHOWING THE COMPILATION AND EXECUTION OF THE PROGRAM IN FIG. 5. FIGURE 5: AN EXAMPLE OF PROGRAM TO DEMONSTRATE CREST TOOL FIGURE 7: INPUT FILE CONSISTING OF TEST SUITE FIGURE 8: COVERAGE FILE SHOWING THE COVERED NODES
