Hugo搭建个人博客 SpikeQiang 发布于 2021-06-27 收录于 建站想在网上写点东西。相关的平台里微信公众号和知乎不支持markdown，写作体验一般；csdn商业化太严重；之前在cnblogs上发，但今年3
关于软件验证中的单元测试 SpikeQiang 发布于 2021-06-24 收录于 Java为什么使用单元测试 一般来说，验证的两个思路是证明和证伪，分别对应着软件验证的形式化验证和测试。 证明适用于在有明确的逻辑范畴内通过演绎推理（如
