以偶然正确性概率为基础的测试充分度准则-计算机科学与探索.PDFVIP

ISSN 1673-9418 CODEN JKYTA8 E-mail: fcst@ Journal of Frontiers of Computer Science and Technology 1673-9418/2011/05(07)-0602-11 Tel: +86-10 DOI: 10.3778/j.issn.1673-9418.2011.07.004 * + 陈 洁, 李 倩, 赵建华 , 李宣东 南京大学 计算机科学与技术系, 南京 210093 * Test Adequacy Criterion Based on Coincidental Correctness Probability + CHEN Jie, LI Qian, ZHAO Jianhua , LI Xuandong Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China + Corresponding author: E-mail: zhaojh@ CHEN Jie, LI Qian, ZHAO Jianhua, et al. Test adequacy criterion based on coincidental correctness prob- ability. Journal of Frontiers of Computer Science and Technology, 2011, 5(7): 602-612. Abstract: This paper proposes a new test adequacy criterion based on coincidental correctness probability. By con- sidering the impact of coincidental correctness on the effectiveness of many test adequacy criteria, it designs an algorithm to calculate the probability that because of coincidental correctness, the output is still correct even when there is an error in the program. First, the use-definition dependence among statement instances is tracked in a pro- gram execution using control- and data- flow analysis, and the use-definition dependence graph is built based on the analysis result. Then the effect degrees of statement structure and transfer relationship on coincidental correctness probability are specified. Finally it gives an algorithm to get the test adequacy of the program in this execution. To evaluate the proposed