如果特别在意软件的质量，测试要测到程序的每一个逻辑分支……

2023 年 1 月 23 日
 gowl

这是狠活儿。

4219 次点击
所在节点    奇思妙想
13 条回复
Building
2023 年 1 月 23 日
并不，你需要足够多的小白，他们会用你完全意想不到的方式去用你的产品
gowl
2023 年 1 月 23 日
用人测有好处，尤其是 UI 相关的程序，可以人测没有可重复性呀。
azuginnen
2023 年 1 月 23 日
代码覆盖率啊
levelworm
2023 年 1 月 23 日
军用代码好像的确会这样
tf2
2023 年 1 月 23 日
科技狠活儿这风也刮到 IT 啦？

形式化验证不说话。。。。
AzadCypress
2023 年 1 月 24 日
覆盖率最高的是路径覆盖
netabare
2023 年 1 月 24 日
没有任何意义吧。

一直都是把功能拆到函数的粒度然后去对着函数去写测试的。完全无法理解去测试一个 if 语句有什么意义。
malusama
2023 年 1 月 24 日
sqlite 不就百分百测试覆盖么
b1ghawk
2023 年 1 月 24 日
了解一下 TLA+
chickplilita
2023 年 1 月 24 日
@malusama #8 sqlite 据说部分测试代码是闭源的。
cpstar
2023 年 1 月 24 日
所以，有一门课程叫《软件测试与质量保证》（或类似的），专门教授了各种类型的测试方法。OP 这种测试，大抵是归入白盒测试和边界条件测试用例这一类的。
lixiang2017
2023 年 1 月 24 日
coverage
cortexm3
2023 年 1 月 24 日
安全行业比如航空、铁路针对分支覆盖都是都是有要求的

这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://v2ex.ih06.com/t/910378

V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX