首页 > TAG信息列表 > advertiserId

BUAA_OO_2022 第三单元总结

BUAA_OO_2022 第三单元总结 目录BUAA_OO_2022 第三单元总结O.前言一、架构与性能分析1.1 UML类图1.2 hw91.3 hw101.4 hw11二、测试与bug分析测试部分bug总结三、NetWork接口扩展核心业务规格四、思考与感想 O.前言 本单元主要内容是学习理解JML语言,在此规格的限制下进行迭代开发,完

第三单元总结

第三单元总结 分析在本单元自测过程中如何利用JML规格来准备测试数据 本单元自测进行得较少,自测的主要形式是和小伙伴进行对拍。由数据生成器生成若干组测试数据,再将自己和小伙伴的输出进行比对。在对拍的过程中,能够对正确性进行查验,但对复杂性的查验效果不是很好。 梳理本单元的