编程与软件工程sqlite.org编辑精选
SQLite 是如何测试的
How SQLite is tested
2009 — 2025，它一次次回到首页
黑点是上首页（≥ 50 分）的那次投稿，空心点是没冲上去的投稿，点越大分数越高。
导读
这是 SQLite 官方文档页，系统介绍 SQLite 的测试体系：多种测试方法（TCL 测试、模糊测试、回归测试、静态分析等）和海量测试用例，展示了这个小型开源项目如何靠极致测试获得极高可靠性。文中也坦言静态分析帮助有限，为消除编译警告反而引入过更多 bug。
为什么经久不衰：它罕见地公开了一个高可靠性开源项目的完整测试方法论，且多年来持续更新，对任何关心软件质量与测试工程的开发者都有长期参考价值。
HN 评论精选
静态分析的实际效果有限，甚至可能因消除警告而引入新问题。
静态分析那一节颇有点打脸：原文说静态分析对发现 SQLite 的 bug 帮助不大，找到的只是少数例外；而为了让它无警告编译而引入的 bug，比静态分析找到的还多。
panic查看英文原文
The section on static analysis is somewhat damning: Static analysis has not proven to be especially helpful in finding bugs in SQLite. Static analysis has found a few bugs in SQLite, but those are the exceptions. More bugs have been introduced into SQLite while trying to get it to compile without warnings than have been found by static analysis.
亲身经历佐证 SQLite 团队响应迅速、修复时补全测试。
2010 年我偶然发现一个导致 Firefox 段错误的 bug……SQLite 团队响应快得离谱，围绕修复加了一大堆测试。不是每天都能说自己发现并协助排查了一个可能影响数亿用户的 bug。
chris_wot查看英文原文
In 2010 I stumbled upn a bug that segfaulted Firefox: https://bugzilla.mozilla.org/show_bug.cgi?id=581946 The SQLite guy were ridiculously responsive and added all sorts of tests around the fix. It's not every day you can say you found and helped troubleshoot a bug that literally could be affected 100s of millions of users!
文章讲的是测试类型而非执行方式，读者想知道具体流程与平台。
标题写的是“how”，但文章其实只讲了测试的各类别，没讲“怎么”做。我很好奇：是点一个按钮跑全部测试，还是各自独立运行？在哪些平台上测？
onderkalaci查看英文原文
The title says "how SQLite is tester", well I don't think the article talks about "how". It only talks about the different types of tests that they apply. I'm curious about "how" it is done. Do you guys run a single "test" button and all the tests are executed? Or, all the tests are done independently? On which platforms do you test?
“数百万”实为 4 万参数化用例，措辞容易误导。
“数百万计的测试用例”让我有点拿不准怎么理解，后来才看到其实是 40100 个参数化用例。换成“4 万个参数化测试用例”会更准确。
rodionos查看英文原文
> Millions and millions of test cases I wasn't sure how to interpret it, but then they mention that it's 40100 distinct test cases, parameterized. I would have rephrased it as "40K of parameterized test cases".
历次讨论
同类还值得读
开源应用架构
The Architecture of Open Source Applications
《开源软件架构》（AOSA）是一本在线免费书，邀请知名开源项目的作者亲自剖析其内部设计，涵盖 SQLAlchemy、LLVM、Audacity、Apache、Bash 等系统。
编程与软件工程上首页 9 次 · 2011–2024aosabook.org编辑精选编程语言简史：简短、不完整且多半错误
A Brief, Incomplete, and Mostly Wrong History of Programming Languages
一篇以戏谑、故意不准确的方式回顾编程语言史的博客文章，用夸张轶事和讽刺定义串起 Lisp、C、C++、Java、JavaScript、PHP 等语言。
编程与软件工程上首页 8 次 · 2009–2021james-iry.blogspot.com高级编程语言（2009）
Advanced programming languages (2009)
Matt Might 的经典文章，按用途推荐“高级编程语言”：如果追求就业就选主流语言，如果追求表达力、学术研究或创业，则推荐 Haskell、OCaml、Scala 等函数式语…
编程与软件工程上首页 8 次 · 2009–2022matt.might.net我的 Forth 与栈机器经历
Yosefk - My history with Forth & stack machines
作者以亲身经历回顾了使用 Forth 语言和栈式机器的历程：既赞叹其简洁优雅、代码量小、可自举的优点，也坦率指出栈操作在实际编程中的痛苦，以及 Forth 社区文化中的问题。
编程与软件工程上首页 8 次 · 2010–2024yosefk.com编辑精选学习 Haskell 时我希望知道的事
What I Wish I Knew When Learning Haskell
Stephen Diehl 整理的 Haskell 学习指南（以幻灯片/参考文档形式呈现），旨在让初学者快速了解学习 Haskell 时最需要知道的核心库、概念和工具。
编程与软件工程上首页 7 次 · 2013–2020dev.stephendiehl.com