Proj CMI Paper Reading: On the Efficiency of Automated Testing

Abstract

背景：

1. 对比之下，抽样系统而带有成本，随机测试不系统不承担分析成本

本文：
任务：探究系统测试与随机测试的理论效率
方法：

1. 对最有效的系统测试技术S0进行数学建模，其中每个采样测试输⼊都严格增加“置信度”并受分析成本 c 的影响。存在⼀个最⼤分析成本，超过该成本 R（？？？）通常⽐S0更有效
2. 设需要程序在其输⼊的 x%中置信正确运行，我们证明了S0的 c 的上限，超过该上限 R 平均⽽⾔更有效。
   2.1 这个界限仅渐近地取决于 x。