测试不是证明：通过未必可靠

测试 验证 代码 输入 形式化
发布于 2026-06-09
1
版权声明

我们非常重视原创文章，为尊重知识产权并避免潜在的版权问题，我们在此提供文章的摘要供您初步了解。如果您想要查阅更为详尽的内容，访问作者的公众号页面获取完整文章。

查看原文：测试不是证明：通过未必可靠
文章来源：
FunTester
扫码关注公众号
扫码阅读
手机扫码阅读
程序测试可以用来发现程序中存在的错误，但永远无法证明程序中不存在错误。

极限编程里最容易被忽略的实践


了解更多

FunTester

查看原文：测试不是证明：通过未必可靠
文章来源：
FunTester
扫码关注公众号
相关推荐
B端产品/项目管理实战总结（1/2）
2799
经理 测试 产品 评审
不要怪我水文，这两篇本就是一体的，拿来重新发一遍。内容概述：\x0d\x0a1、企业产品项目类型\x0d\x0a2、企业产品项目生命周期划分
Java单元测试指南
1930
测试
单元测试是开发过程的关键环节。它们允许以可重复执行、可维护的方式对代码进行快速、简单的测试。具体来说，单元测
流程管理培训试题之八、流程测试
1045
测试 流程 测试中 测试用例
十年之约第110篇，截止到今天，已完成110/3650。
敏捷测试四象限、测试金字塔与分层自动化
2792
测试
01敏捷测试象限起源敏捷测试象限的起源是出自 Brian Marick 最开始提出的敏捷测试矩阵。后来在他的
聊聊如何测试你的测试（翻译自Meta）
1748
测试 模型
第一篇自行翻译的硅谷公司技术文章，来自facebook(Meta),关于flaky test的量化度量与应用，这也是国内很多大学教授喜欢的研究课题​。原文：How do you test your tests?
软件测试如何自我提升
2005
测试 学习 性能 自动化测试
当一个软件测试工程师刚刚进入行业一到三年的时间?
FunTester

BUG挖掘机·性能征服者·二七Tester

94 篇文章
浏览 124.7K

还在用多套工具管项目？

一个平台搞定产品、项目、质量与效能，告别整合之苦，实现全流程闭环。

查看方案
FunTester的其他文章
Selenium 中的 JUnit 注解
JUnit 是一个基于 Java 的开源框架，可帮助测试人员执行单元测试。
Selenium 中并行测试的重要性
随着技术的进步，测试解决方案变得更具可扩展性，加速了团队从手动测试到Selenium测试自动化的转型。
Kafka测试初探【Go】
上周分享了Kafka性能测试初探的Java版本，有读者留言?
动态修改coreThread线程池拓展
在使用Java线程池实现各种的需求过程中，很是能体会
Kafka性能测试初探
Kafka是一种高性能的分布式消息系统。
随机阅读
高绩效团队-心理安全
08-17
精益经济101：并行开发正在扼杀你的生产力
08-17
扔给团队一套标准流程为什么不能变敏捷？
07-13
《刘澜极简管理学》，书如其名，值得多读
08-17
质量度量之定性分析
07-13
加入社区微信群
与行业大咖零距离交流学习
PMO实践白皮书
白皮书上线
去下载