标签
Turso使用Quint形式化验证工具对SQLite的C API进行建模，并在SQLite自身中发现了超过10个漏洞，从而增强了其SQLite重写版的可靠性。
Drizz是一款用于移动/Web应用测试的AI代理，它使用自然语言和视觉理解。通过冷启动和推荐，我们获得了14个试点客户，现在正式在Product Hunt上线。
cargo-crap 是一个 Rust 工具，它使用 CRAP 指标来识别既复杂又测试不足的函数，帮助开发者管理 AI 生成代码中的风险。
作者解释了为EndBASIC的编译器和虚拟机切换到基于Markdown的测试套件的原因，目的是让这些测试作为LLM学习该语言独特特性的权威文档。
特斯拉正在德克萨斯州测试其Cybercab机器人出租车，该车采用全线控转向技术，表明其自动驾驶网约车服务的进展比预期更快。
Jarred Sumner 分享了 Bun 的 Rust 重写过程中一个最喜欢的测试失败：TOML 和 YAML 解析器的栈溢出测试失败了，因为 Rust 实现能够处理比预期更深层次的嵌套。
Savepoint 是一个命令监视工具，当指定命令（如测试）成功运行时，它会自动创建 Git 提交，帮助开发者在修复错误后保存进度。
这条推文总结了一篇关于Harness Engineering和Codex的OpenAI文章，讨论了使用AI代理构建一个100万行内部产品时遇到的挑战和见解。
用户描述了一个通过混合使用鼠标、键盘和截图方式控制整个桌面的CLI工具，该工具成功完成了发送电子邮件截图和远程桌面控制等任务。用户希望寻找具有挑战性的测试来验证其稳健性。
介绍使用Claude Code的/goal功能配合提示词“/goal all tests pass and lint is clean”来实现自动化测试和lint检查，相当于高效的QA工程师。
文章讨论了软件开发中不稳定测试（flaky tests）的问题，并提出一个简单的机械习惯：在使用合并队列时，继续在主分支上运行完整测试套件，并维护一个可见的近期主分支失败列表，以帮助识别和消除不稳定测试。
一位开发者认为，在 AI 编码代理时代，端到端测试比单元测试更重要。一个由代理编写的重构通过了所有单元测试，但却破坏了一个关键功能，这个缺陷只在手动端到端检查中被发现。
一篇教程，涵盖了在 Rust 中模拟网络调用的多种策略，以发出事件的 Kubernetes 控制器为例，重点强调不降低生产代码的可测试性。
该帖认为，AI 在编程中的核心价值不仅在于更快地编写代码，更在于实现可持续的高层级验证和测试，而这在过去需要耗费过高的人力成本。
一份共享资源，链接至专注于大语言模型 RAG 评估与测试的面试准备指南。
宣布一门关于使用Playwright进行React端到端测试的课程，涵盖浏览器自动化、用户旅程、认证、搜索、测试设置和调试技巧。