论文提倡在软件开发中结合测试、规范和证明

一篇题为“摆脱流沙：行动的呼吁”的新论文主张采用一种结合测试、规范和数学证明的务实软件开发方法。作者认为，尽管当前的开发实践取得了成功，但它们积累了大量的技术债务和风险，而这些风险因 AI 赋能的工程而加剧。他们建议在传统代码和测试的同时，逐步协同开发可执行的局部规范，以改善 AI 和人类开发者的反馈循环。该论文呼吁创建语义基础设施来支持这些更强大的反馈机制。 AI

影响 建议改进的软件开发实践可以减轻 AI 加剧的风险，从而构建更强大的 AI 系统。

排序理由 该项目是一篇在 arXiv 上发表的关于软件开发方法学的研究论文。[lever_c_降级自研究：ic=1 ai=0.7]

在 arXiv cs.AI 阅读 →

• alphaXiv
• arXiv
• CatalyzeX
• Connected Papers
• DagsHub
• Gotit.pub
• Hugging Face
• Litmaps
• machine language
• ScienceCast
• scite Smart Citations

• 论文
• 基础设施

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →