摘要： OO Unit3 分析在本单元自测过程中如何利用JML规格来准备测试数据 学习了推荐的Junit,尝试了使用。 在数据方面，主要根据JML规格中各个分支进行考虑，对于各个分支可能出现的情况手动构造数据以及一些特殊强度的数据，并结合一定的自动生成的数据。 比如测试sim的是否发生超时 FILE *rp 阅读全文