Google团队发布规范驱动测试生成实证评估论文
热点事件持续更新
Google团队发布规范驱动测试生成实证评估论文
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
Google团队发布论文，验证了基于从代码中提取的“合同”来生成测试的方法，该方法据称能将缺陷检测率提升9.8个百分点。 但论文中的合同内容是从代码实现中提取的，并非独立于代码的规范，因此该方法无法独立验证代码行为的正确性。 此外，论文未评估该方法能否比基于完整代码可见的测试套件发现更多隐藏的真实缺陷。
AI 根据报道生成 · 4 小时前更新
最新进展10月6日 22:00
Google 团队测量了我论点的一半，另一半仍待验证报道时间线
沿着报道，了解事件的不同侧面。
10月6日
- Towards Data ScienceGoogle 团队测量了我论点的一半，另一半仍待验证
Google 团队在论文中验证了基于合同的测试生成能提升 9.8 个百分点的缺陷检测率，但合同内容是从代码中提取的，未实现独立验证。该方法通过让 AI 模型先推理代码并记录其合同（前提、后置条件和未定义行为），再生成测试用例，但合同仍依赖代码实现，无法独立判断正确行为。论文未测试隐藏验收标准是否能比完整代码可见的测试套件发现更多真实缺陷。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。