Issue No. 01 - Jan. (2013 vol. 62)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2011.208
Bo Zhou , University of California, Riverside
Hiroyuki Okamura , Hiroshima University, Higashi-Hiroshima
Tadashi Dohi , Hiroshima University, Higashi-Hiroshima
In this paper, we propose a probabilistic approach to finding failure-causing inputs based on Bayesian estimation. According to our probabilistic insights of software testing, the test case generation algorithms are developed by Markov chain Monte Carlo (MCMC) methods. Dissimilar to existing random testing schemes such as adaptive random testing, our approach can also utilize the prior knowledge on software testing. In experiments, we compare effectiveness of our MCMC-based random testing with both ordinary random testing and adaptive random testing in real program sources. These results indicate the possibility that MCMC-based random testing can drastically improve the effectiveness of software testing.
Subspace constraints, Markov processes, Software testing, Correlation, Proposals, Software, Markov chain Monte Carlo, Software testing, random testing, adaptive random testing, Bayes statistics
H. Okamura, B. Zhou and T. Dohi, "Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods," in IEEE Transactions on Computers, vol. 62, no. , pp. 186-192, 2013.