该研究提出了三个相互关联的假设，探讨可执行规范在 AI 辅助软件开发中的作用。第一个假设是相关错误假设，强调了在代码审查过程中，错误之间的关联性如何影响软件质量。第二个假设基于复杂性科学，指出在复杂系统中，规范的执行能够有效降低错误发生的概率。第三个假设则映射了规范无法捕捉的残余缺陷，强调了在软件开发中，尽管有规范的指导，仍然可能存在未被发现的缺陷。这些假设共同构成了对 AI 辅助代码审查的完整论...