Academia.eduAcademia.edu

Figure 2 – uploaded by Durga Prasad Mohapatra

See full PDFdownloadDownload figure
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 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

Related Figures (5)

FIGURE 1: AN EXAMPLE PROGRAM TO EXPLAIN CONCOLIC TESTING
FIGURE 1: AN EXAMPLE PROGRAM TO EXPLAIN CONCOLIC TESTING
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 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 7: INPUT FILE CONSISTING OF TEST SUITE
FIGURE 8: COVERAGE FILE SHOWING THE COVERED NODES
FIGURE 8: COVERAGE FILE SHOWING THE COVERED NODES
Related topics:
Computer ScienceSoftwareSoftware QualityCode CoverageTest Suite
580 California St., Suite 400
San Francisco, CA, 94104
© 2025 Academia. All rights reserved