社区
2024年北航面向对象设计与构造
作业提交
帖子详情
第三单元博客作业要求
godlikegu
助教
2024-05-15 15:26:32
针对第三单元的三次作业和课程内容,撰写技术博客
分析本单元的测试过程
谈谈你对黑箱测试、白箱测试的理解
对单元测试、功能测试、集成测试、压力测试、回归测试的理解
数据构造有何策略
梳理本单元的架构设计,分析自己的图模型构建和维护策略
分析作业中出现的性能问题及其修复情况,谈谈自己对规格与实现分离的理解
本单元中同学们实现了Junit测试方法,总结分析如何利用规格信息来更好的设计实现Junit测试,以及Junit测试检验代码实现与规格的一致性的效果
本单元学习体会
...全文
2149
回复
打赏
收藏
第三单元博客作业要求
针对第三单元的三次作业和课程内容,撰写技术博客 分析本单元的测试过程 谈谈你对黑箱测试、白箱测试的理解 对单元测试、功能测试、集成测试、压力测试、回归测试的理解 数据构造有何策略 梳理本单元的架构设计,分析自己的图模型构建和维护策略 分析作业中出现的
复制链接
扫一扫
分享
转发到动态
举报
写回复
配置赞助广告
用AI写文章
0人已提交
完成率0%
提交任务
暂无数据
暂无数据
提交任务
修改积分
请选择导出文件
回复
切换为时间正序
请发表友善的回复…
发表回复
打赏红包
【
作业
】BUAAOO
第三
单元
博客
作业
本文是BUAAOO
第三
单元
博客
作业
总结,介绍了JML语言概况,包括构成与应用场景,可用于代码规范和自动化测试。还梳理三次
作业
架构,涉及数据结构与算法,如双HashMap、Floyd、bfs、Dijkstra等,分析复杂度并提及bug巡查修复,认为JML可提高开发效率。
第三
单元
规格
作业
博客
总结
本文是
第三
单元
规格
作业
博客
总结,介绍了规格及JML语言、openJML工具链,基于JUNIT框架测试。阐述三次
作业
的UML类图、架构设计与bug分析,涉及换乘问题处理。还提及适配器、观察者等设计模式应用,以及代码规范化、规格主体性等思想体会。
面向对象
第三
单元
博客
作业
本文是面向对象
第三
单元
博客
作业
总结。介绍了JML语言,包括其理论基础、表达式、方法规格和工具链。还进行了SMT Solver验证和JMLUnitNG自动测试。梳理了三次
作业
架构并分析BUG,强调规格对代码的规范作用,以及
作业
体现的需求迭代编程模式。
OO
第三
单元
博客
作业
本文围绕Java
第三
单元
三次根据JML规格完成的
作业
展开总结。介绍了JML语言的理论基础、应用工具链,阐述了部署SMT Solver验证和JMLUnitNG测试的情况,梳理了三次
作业
的架构设计,分析了代码实现的bug及修复情况,最后分享了对规格撰写和理解的心得体会。
oo
第三
单元
博客
作业
本文介绍了Java建模语言(JML),它是基于Larch方法构建的行为接口规格语言,以javadoc注释表示规格,引入大量描述行为的结构。还介绍了JML应用工具链,如openjml可检查程序实现是否符合规格,封装了z3、cvc4等solver。最后作者分享了
作业
重构的心得体会。
2024年北航面向对象设计与构造
301
社区成员
738
社区内容
发帖
与我相关
我的任务
2024年北航面向对象设计与构造
2023年北航面向对象设计与构造
复制链接
扫一扫
分享
社区描述
2023年北航面向对象设计与构造
学习
高校
社区管理员
加入社区
获取链接或二维码
近7日
近30日
至今
加载中
查看更多榜单
社区公告
暂无公告
试试用AI创作助手写篇文章吧
+ 用AI写文章