2022年6月5日

摘要： OO第三单元总结一、测试方法本单元我采用的方法主要为根据规格的边界情况构造数据进行分别测试的方法，因为第三单元随机生成的数据很多情况下并不是那么的有效，可能出现看上去通过了几千条数据测试实际上还是存在很多bug的情况，因此通过对规格的分析自己构造数据更为可行。针对JML规格进行测试的要点在于阅读全文

posted @ 2022-06-05 16:05 欧德要斯阅读(27) 评论(0) 推荐(0) 编辑


Copyright © 2024 欧德要斯 Powered by .NET 9.0 on Kubernetes 博客园

导航

2022年6月5日