Software Engineering Daily·· 16 小时前AI 评分22
Antithesis 如何用确定性模拟测试验证 AI 编码智能体时代的软件
Software Verification in the Age of Coding Agents
AI 导读
Antithesis 是一家围绕确定性模拟测试构建的软件验证公司，其平台在完全受控环境中运行客户软件，在运行时探索数千条路径，且这些路径并非预先指定或仅限预期用例，从而发现常规测试无法捕捉的罕见破坏性 bug。
来源：Software Engineering Daily · softwareengineeringdaily.com