撸代码 - LuCode.net 有事没事,撸点代码
  • 首页
  • 文章归档
  • 系列文章
  • 关于

标签 霍尔逻辑 下的文章

理论
程序验证技术——霍尔逻辑
  • codesun
  • April 30, 2016
  • 霍尔逻辑, 程序验证技术, 测试
  • 3

赶在四月的最后一天,发篇有点营养的文章。

如何确保程序的正确性?这是一个很难的问题,答案是暂时没有。

在本站的很多篇文章中,我都说过测试并不可靠。因为测试的目标就是尽可能找出错误,测试用例越完善,覆盖度越高,能够找出的错误就越多。但问题就在于,一般情况下,测试用例的覆盖度根本达不到100%。

阅读剩余部分

最新评论

  • codesun: 抓route相关netlink的方法有很多,如果是调试工具,直接...
  • mzhan017: 请问,这个能抓取返回的数据?比如get-route数时
  • codesun: 是的,然后呢?
  • dongdongqiang: 你这个例子好像是tcp/ip网络编程里的,是吗?
  • codesun: 在x86_64/amd64平台上,ssize_t可以理解为int...
  • af: `count` 是 `ssize_t` 类型, 后面用 `co...
  • Peven: 纠正一下,在ArchWiki中Linux Container一文...
  • codesun: 是的,我这边是直接mount到/boot,两者的区别在于,后者需...
  • leaves: 楼主是直接把esp分区挂在/boot上的吗?像ubuntu和fe...
  • codesun: 确实是我不小心写错了,已修正。

分类

  • Linux (20)
  • 协议栈 (2)
  • 运维 (3)
  • 程序语言 (5)
  • 闲谈 (4)
  • 后端开发 (12)
  • 理论 (2)
  • 旅行 (0)
  • RDMA (1)

友情链接

  • Infinite Script
  • tonghuashuo
本站由 提供CDN加速/云存储服务 | 网站地图
Copyright © 2023 撸代码 - LuCode.net | 浙公网安备 33011002014845号 | 浙ICP备20025689号-1