软件测试与验证
关注
分享
扫一扫
文章平均质量分 84
从需求与错误反例设计测试，关注断言能否发现问题，以及接口、状态序列和验证程序的边界。
咔_
这个作者很懒，什么都没留下…
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
软件测试分类别硬背：用一个运费函数看懂黑盒、白盒与覆盖率
修正测试层级与黑白盒混用，通过满100免运费的边界错误说明分支全覆盖仍会漏掉需求错误，并提供可运行对照程序。原创 2026-04-25 18:00:17 · 229 阅读 · 0 评论 -
登录明明成功，接口为什么还是401？沿浏览器请求找出Cookie没发的那一步
实际浏览器中，同一次登录后的两个请求为何一个200一个401？对照请求Cookie、Path与HttpOnly，保留失败现场逐步缩小范围，附本机复现页面与服务。原创 2026-04-26 17:00:47 · 68 阅读 · 0 评论 -
测试用例设计怎么落地：从需求、边界值到判定表和可执行断言
不把万能公式当成用例，给输入校验建立明确规则、优先级、边界表和需求跟踪，再用本地程序验证15条用例。原创 2026-04-25 21:03:55 · 335 阅读 · 0 评论 -
登录锁定60秒：测试都通过了，怎样知道它真的能抓住Bug？
三个独立边界用例为什么仍会漏掉续期错误？用同一份预期区分等号错误与状态序列错误，附精简可运行程序，不搭一套无关认证系统。原创 2026-04-21 22:32:37 · 56 阅读 · 0 评论 -
1000组随机测试全过，程序却是错的：我怎样验证自己的判题器
一个严格小于变异在1000组无重复随机输入上全过，却在含重复值的固定集合中失败843次。用完整可运行源码解释oracle、生成器、checker、负例与失败证据各自的职责。原创 2026-10-12 10:00:00 · 450 阅读 · 0 评论