背景：关于使用静态分析工具（例如 FindBugs）的最重要挑战是存在大量开发人员未采取行动的警告。已经提出了许多功能来构建分类模型，以自动识别可操作的警告。通过分析这些功能和相关研究，我们观察到一些限制，使用户缺乏应用这些功能的实用指南。
目的：这项工作旨在对所有公共可用特征进行系统的实验评估，并探索是否存在用于可操作警告识别的黄金特征集。方法：我们首先进行系统的文献回顾，收集所有公共可用的特征用于警告识别。我们采用 12 个项目，共 60 次修订作为我们的主题项目。然后，我们实施一个工具来提取每个项目修订的所有特征的值，以准备实验数据。
结果：对收集到的 116 个特征的实验评估表明，有一组共同的特征（23 个特征）在大多数项目修订的警告识别中起作用。这些特征可以在警告识别的时间成本低得多的情况下实现令人满意的性能。
结论：这些常用的特征可以被视为识别可操作警告的黄金特征集。这一发现可以作为促进现实世界警告识别的实用指南。
该技术针对检测产生的误报进行识别。
考点集中：
大数定律：测试执行次数够多、测试数据随机生成 \(\to\) 概率低的偶然现象发生
本文主要内容来自 SpriCoder的博客，更换了更清晰的图片并对原文的疏漏做了补充和修正。
本文主要内容来自 SpriCoder的博客，更换了更清晰的图片并对原文的疏漏做了补充和修正。
电子数字计算机，是一种能够自行按照已设定的程序进行数据处理的电子设备；是软件与硬件相结合、面向系统、侧重应用的自动化求解工具。
1946 年，首台计算机 ENIAC 诞生于美国。
短短 70 年，计算机技术迅猛发展，从科学计算、数据处理等应用领域，迅速扩展到实时控制、辅助设计、智能模拟等诸多领域。
1901 年，清政府试行“新政”，颁布《人才为政事之本》的兴学诏书，喻令各省督抚学政兴办各级学堂。南京大学的前身——三江师范学堂便在这样的历史背景下应运而生。
三江师范学堂的创始者，是 1902 年前后相继担任或署理两江总督的刘坤一、张之洞和魏光焘。
刘坤一：倡议“应从师范学堂入手”
掌握了商业模式画布之后的课程设置：
保证一个商业模式顺利运行所需的最重要的资产