dyxdyx2333  

2022年6月5日

OO第三单元总结
摘要： OO第三单元总结 一、 测试方法 本单元我采用的方法主要为根据规格的边界情况构造数据进行分别测试的方法，因为第三单元随机生成的数据很多情况下并不是那么的有效，可能出现看上去通过了几千条数据测试实际上还是存在很多bug的情况，因此通过对规格的分析自己构造数据更为可行。 针对JML规格进行测试的要点在于 阅读全文
posted @ 2022-06-05 16:05 欧德要斯 阅读(25) 评论(0) 推荐(0) 编辑
 
Copyright © 2024 欧德要斯
Powered by .NET 8.0 on Kubernetes
博客园