2018年6月25日
面向对象第四次总结性博客
摘要： 面向对象第四次总结性博客 测试与正确性论证这两次作业，我们分别体验了Junit单元测试和正确性论证。单元测试主要是从代码的实现结果出发，企图通过覆盖代码所有的代码分支和逻辑分支，来进行覆盖性测试。用穷举的办法进行覆盖测试是最简单的测试方式，特别是在有了Junit之后，测试变得有章法可循。但实际上，就算覆盖了所有的代码分支，也很难覆盖所有的逻辑分支。比如两条连续的if语句，实际上有4种组合方式，... 阅读全文
posted @ 2018-06-25 16:33 JamesDYX 阅读(310) 评论(0) 推荐(0) 编辑