Proj CMI Paper Reading: A Probabilistic Analysis of the Efficiency of Automated Software Testing

Abstract

前提：
目标 1. 在最短的时间内达到对程序正确性的给定程度的置信度x 2. 在给定的时间范围内发现最⼤数量的错误

本文：

1. study the relative efficiencies of the random and systematic approaches to automated software testing 研究了⾃动化软件测试的随机和系统⽅法的相对效率
2. a general model for software testing
3. define sampling strategies for random (R) and systematic (S0) testing，设计了一个混合策略H，从随机策略R开始，当系统策略S0被预测能找到更多错误时就切换

实验：
H比S0和R更好