Metamorphic testing of a Monte Carlo modeling program

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 1-7

  Ding, Joshua ^a   Wu, Tong ^a   Xu, Dianxiang ^b   Lu, Jun Q ^a   Hu, Xin Hua ^a  

^a EAST CAROLINA UNIVERSITY   (United States)

^b DAKOTA STATE UNIVERSITY   (United States)

Author keywords

metamorphic testing; monte carlo methods; test adequacy criteria

Indexed keywords

BEER LAMBERT LAW; BIOLOGICAL TISSUES; COVERAGE CRITERIA; HETEROGENEOUS MEDIA; HOMOGENEOUS MEDIA; HUMAN SKIN; METAMORPHIC TESTING; MONTE CARLO; MONTE CARLO MODELING; MONTE CARLO PROGRAMS; MONTE CARLO SIMULATION; PHOTON PROPAGATION; RADIATIVE TRANSFER EQUATIONS; TEST ADEQUACY CRITERIA; TEST ORACLES;

COMPUTER SIMULATION; HEALTH CARE; MONTE CARLO METHODS; PHOTONS; SOFTWARE ENGINEERING; TISSUE; TISSUE ENGINEERING;

SOFTWARE TESTING;

EID: 79959406787     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1982595.1982597     Document Type: Conference Paper

References (32)

1. S.R. Arridge. "Optical tomography in medical imaging. Inverse Problems", 15:R41-93, 1999.
2. C. Chen, J.Q. Lu, K. Li, S. Zhao, R.S. Brock, X.H. Hu, "Numerical study of reflectance imaging using a parallel Monte Carlo method", Medical Physics, vol. 34, pp. 2939-2948, 2007.
3. W. K. Chan, S. C. Cheung, and K. R. Leung, "A metamorphic testing approach for online testing of service-oriented software applications", International Journal of Web Services Research 4, 1, pp. 60-80, 2007.
4. T. Y. Chen, S. C. Cheung, and S. Yiu, "Metamorphic testing: a new approach for generating next test cases", Tech. Rep. HKUST-CS98-01, Dept. of Computer Science, Hong Kong Univ. of Science and Technology, 1998.
5. T. Y. Chen, J. W. K. Ho, H. Liu, and X. Xie. "An innovattive approach for testing bioinformatics programs using metamorphic testing", BMC Bioinformatics, pp. 10-24, 2009.
6. T. Y. Chen, T. H. Tse, and Z. Q. Zhou, "Fault-based testing without the need fo oracles". Information and Software Technology, 44(15), pp. 923-931, 2002.
7. T. Y. Chen, T. H. Tse, and Z. Q. Zhou, "Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing". In Proc. of the Inter. Symposium on Software Testing and Analysis (ISSTA), pp. 191-195, 2002.
8. T. Y. Chen, D. H. Huang, T. H. Tse, and Z. Q. Zhou, "Case studies on the selection of useful relations in metamorphic testing", In Proc. of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering, pp. 569-583, 2004.
9. M. D. Davis, and E. J. Weyuker, "Pseudo-oracles for non-testable programs", In Proc. of the ACM '81 Conference, pp. 254-257, 1981.
10. J. Ding, P. J. Clarke, G. Argote-Garcia, X. He, "A methodology for evaluating test coverage criteria of high levelPetri nets". Information & Software Technology 51(11): pp. 1520-1533, 2009.
11. J. Ding, T. Wu, J. Q. Lu, X. Hu, "Self-Checked Metamorphic Testing of an Image Processing Program," The 4th IEEE Intl. Conf. on Security Software Integration and Reliability Improvement, Singapore, June 9-11, 2010.
12. T. J. Farrell, M. S. Patterson, and B. C. Wilson, "A diffusion theory model of spatially resolved, steady-state diffuse reflectance for the non-invasive determination of tissue optical properties in vivo," Med. Phys. 19, pp. 879-888, 1992.
13. th Annual International Computer Software and Applications Conference, pp. 34-40, 2003.
14. R. A. J. Groenhuis, J. J. Ten Bosch, and H. A. Ferwerda, "Scattering and absorption of turbid materials determined from reflection measurements. 1: Theory," Appl. Opt. 22, pp. 2456-2462, 1983.
15. th International Conference on Quality Software. pp. 404-409, 2007.
16. A. Ishimaru, "Wave propagation and scattering in random media", Academic Press, New York, Vol. 1, 1978.
17. J.M. Kaltenbach, M. Kaschke "M. Frequency- and time-domain modelling of light transport in random media", Proc SPIE; ISll:65-86, 1993.
18. M. Keijzer, S. L. Jacques, S. A. Prahl, A. J. Welch, "Light distributions in artery tissure: Monte Carlo simulations for finite-diameter laser beams." Lasers Surg, Med. 9 pp. 148-154, 1989.
19. J. Q. Lu, X. H. Hu, and K. Dong, "Modeling of the rough-interface effect on a converging light beam propagating in a skin tissue phantom", Appl. Opt. 39, 5890-5897 2000.
20. th Annual International Computer Software and Applications Conference (COMPSAC), pp. 475-484, 2006.
21. C. Murphy, K. Shen, and G. Kaiser. "Automatic system testing of program without test oracles". In Proc. of the 2009 ACM Inter. Symposium of Software Testing and Analysis (ISSTA), 2009.
22. th Int. conference on software engineering and knowledge engineering (SEKE), pp. 867-872, 2008.
23. nd IEEE International Conference on Software Testing, Verication and Validation (ICST), 2009.
24. st edition , 1996.
25. M. Pezzè, and M. Young, "Software Testing and Analysis: Process, Principles, and Techniques", Wiley, 2007.
26. S.A. Prahl, M. keijzer, S. L. Jacques, A. J. Welch "A Monte Carlo model of light propagation in tissue, Proc. SPIE IS 5 pp. 102-111, 1989.
27. Z. Song, K. Dong, X. H. Hu, and J. Q. Lu, "Monte Carlo simulation of converging laser beams propagating in biological materials", Appl. Opt. 38, 2944-2949 1999.
28. H. C. Van De Hulst, "Multiple Light Scattering. Tables, Formulas, and Applications". Vol. 1, Academic Pr, 1980
29. nd edition, CRC Press, Boca Raton, 2001.
30. E.J. Weyuker, "On testing non-testable program", Computer Journal, vol. 25, (4), pp. 465- 470, 1982.
31. th International Conference on Quality Software (QSIC), 2009.
32. H. Zhu, P. A. Hall, and J. H. May. "Software unit test coverage and adequacy". ACM Comput. Surv. vol. 29, 4, pp. 366-427, 1997.