• Find People
  • Campus Map
  • PiratePort
  • A-Z
    • About
    • Submit
    • Browse
    • Login
    View Item 
    •   ScholarShip Home
    • ECU Main Campus
    • College of Engineering and Technology
    • Computer Science
    • View Item
    •   ScholarShip Home
    • ECU Main Campus
    • College of Engineering and Technology
    • Computer Science
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of The ScholarShipCommunities & CollectionsDateAuthorsTitlesSubjectsTypeDate SubmittedThis CollectionDateAuthorsTitlesSubjectsTypeDate Submitted

    My Account

    Login

    Statistics

    View Google Analytics Statistics

    Self-Checked Metamorphic Testing of Monte Carlo Simulation

    Thumbnail
    View/ Open
    Wu_ecu_0600M_10371.pdf (1.506Mb)

    Show full item record
    Author
    Wu, Tong
    Abstract
    Photon propagation in biological tissues can be modeled with Monte Carlo simulations numerically. However, testing a such program is difficult due to the unknown character of the test oracles. Although approaches based on Beer-Lambert law, van de Hulst's table or Radiative Transfer Equation (RTE) can be used for testing the Monte Carlo modeling programs, these approaches are only applied to the programs that are designed for homogeneous media. A rigorous way for testing the Monte Carlo modeling programs for heterogeneous media is needed.   Metamorphic testing, as an effective approach for testing systems that do not have test oracles, is one of possible supplementary approaches to test a Monte Carlo modeling program for heterogeneous media. In metamorphic testing, instead of verifying the correctness of a test output, the satisfaction of a metamorphic relation of the test outputs is checked. If a violation of the metamorphic relation is found, the system implementation must have some faults. However, checking only the metamorphic relations is not good enough to ensure the testing quality. Randomly or accidently generated incorrect outputs may satisfy a metamorphic relation as well. Therefore, it is necessary to provide a systematic approach to measure the test effectiveness of a metamorphic testing, to choose metamorphic relations, and to generate test input data.   In this thesis, we propose a new approach called self-checked metamorphic testing. In our new approach, the original metamorphic testing is extended with the evaluation of the adequacy of testing coverage criteria to measure the quality of a metamorphic testing, to guide the creation of metamorphic relations, to generate testing inputs, and to investigate the found exceptions. The effectiveness of this approach has been demonstrated through testing a parallel Monte Carlo modeling program we developed for simulating photon propagation in human skins.   This thesis contains three parts of work. In first part, the enhanced Monte Carlo modeling program was used to preliminarily study the relationship between the height of the collection lens and the contrast values of the reflectance image of the system. In second part, the homogenous part of the Monte Carlo program was validated with van de Hulst's table method, which compares the simulation results with the calculated values on van de Hulst's table. The third and the main part of the thesis is applying the self-checked metamorphic testing approach to test the Monte Carlo modeling program.  
    URI
    http://hdl.handle.net/10342/3602
    Subject
     Computer science; Metamorphic testing; Monte Carlo modeling; Test adequacy criteria 
    Date
    2011
    Citation:
    APA:
    Wu, Tong. (January 2011). Self-Checked Metamorphic Testing of Monte Carlo Simulation (Master's Thesis, East Carolina University). Retrieved from the Scholarship. (http://hdl.handle.net/10342/3602.)

    Display/Hide MLA, Chicago and APA citation formats.

    MLA:
    Wu, Tong. Self-Checked Metamorphic Testing of Monte Carlo Simulation. Master's Thesis. East Carolina University, January 2011. The Scholarship. http://hdl.handle.net/10342/3602. September 22, 2023.
    Chicago:
    Wu, Tong, “Self-Checked Metamorphic Testing of Monte Carlo Simulation” (Master's Thesis., East Carolina University, January 2011).
    AMA:
    Wu, Tong. Self-Checked Metamorphic Testing of Monte Carlo Simulation [Master's Thesis]. Greenville, NC: East Carolina University; January 2011.
    Collections
    • Computer Science
    • Master's Theses
    Publisher
    East Carolina University

    xmlui.ArtifactBrowser.ItemViewer.elsevier_entitlement

    East Carolina University has created ScholarShip, a digital archive for the scholarly output of the ECU community.

    • About
    • Contact Us
    • Send Feedback