05 2020 档案

学不会OO的第三单无反思（尽管刚才让JML爪8但是JUnit真的是个好东西
摘要：JUnit nb！！！ 本文以BUAAOO2020HW11为基础，从我写的MyNetwork的单元测试入手进行解析与介绍。 先粘贴一下代码（比较长） package com.oocourse.spec3; import com.oocourse.spec3.exceptions.*; import 阅读全文
posted @ 2020-05-22 23:40 kongyou 阅读(134) 评论(0) 推荐(0) 编辑
学不会OO的第三单无反思（JML爪8
摘要：JML理论基础： 在大一的离散结构课程中，我们学习叻关于谓词逻辑的相关知识。作为一名周六还得补考离散二的菜鸡，我只能爬。我个人理解上JML语法格式是谓词逻辑和java的生动结合，让读者在理解与讨论的过程中收获极大的欢乐，并基于契约化编程的思想来解放程序员于bug之中->如果完全按照规格实现，那么WA 阅读全文
posted @ 2020-05-22 23:24 kongyou 阅读(254) 评论(0) 推荐(0) 编辑