Metamorphic testing of a Monte Carlo modeling program

Authors:
Junhua Ding;Tong Wu;Dianxiang Wu;Jun Q. Lu;Xin-Hua Hu
Affiliations:
East Carolina University, Greenville, NC, USA;East Carolina University, Greenville, NC, USA;Dakota State University, Madison, SD, USA;East Carolina University, Greenville, NC, USA;East Carolina University, Greenville, NC, USA
Venue:
Proceedings of the 6th International Workshop on Automation of Software Test
Year:
2011

Citing 13
Cited 0

Parallel programming with MPI

Parallel programming with MPI
Software unit test coverage and adequacy

ACM Computing Surveys (CSUR)
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Pseudo-oracles for non-testable programs

ACM '81 Proceedings of the ACM '81 conference
Automated Metamorphic Testing

COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Software Testing and Analysis: Process, Principles and Techniques

Software Testing and Analysis: Process, Principles and Techniques
An Empirical Study on the Selection of Good Metamorphic Relations

COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 01
Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic Testing

QSIC '07 Proceedings of the Seventh International Conference on Quality Software
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles

ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Automatic system testing of programs without test oracles

Proceedings of the eighteenth international symposium on Software testing and analysis
A methodology for evaluating test coverage criteria of high levelPetri nets

Information and Software Technology
Application of Metamorphic Testing to Supervised Classifiers

QSIC '09 Proceedings of the 2009 Ninth International Conference on Quality Software
Self-Checked Metamorphic Testing of an Image Processing Program

SSIRI '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement

Quantified Score

Hi-index	0.00

Visualization

Abstract

Photon propagation in biological tissue can be equivalently modeled with Monte Carlo simulations numerically or by the Radiative Transfer Equation (RTE) analytically. However, testing of a Monte Carlo program modeling photon propagation in biological tissue is difficult due to the unknown character of the test oracles. Although approaches based on Beer-Lambert law, van de Hulst's table or RTE can be used for testing the Monte Carlo modeling program, these approaches are only applied to the program that is designed for homogeneous media. A rigorous way for testing the Monte Carlo modeling program for heterogeneous media is needed. In this paper, we investigate the effectiveness of the metamorphic testing approach to test a Monte Carlo modeling program for heterogeneous media. In addition, the metamorphic testing is extended with the evaluation of the adequacy of testing coverage criteria to measure the quality of the metamorphic testing, to guide the creation of metamorphic relations, to generate testing inputs, and to investigate the found exceptions. The effectiveness of the approach has been demonstrated through testing a Monte Carlo modeling program we developed for simulating photon propagation in human skins.