carkham

摘要： OO第三单元总结 如何自测 关于如何利用JML规格来准备测试数据这一问题： 首先一开始的时候，尝试使用课程组介绍的工具Junit。但后来发现，该工具的作用主要是能够更佳细致地测试每一个函数的功能正确性。但正确答案、以及数据仍需自己给出。 之后便是根据JML准备测试数据。这一部分，首先是随机测试随机测 阅读全文