自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(4)
  • 收藏
  • 关注

原创 软件构造lab5

3.1 Static Program Analysis 阅读google规范,对Lab4 代码进行人工代码走查,做出修改。 关注命名、布局(空行、空格、缩进、分行等)、注释(java doc、RI、AF、safety from rep exposure、函数 spec 等)、文件/包的组织等。 使用 CheckStyle 和 SpotBugs 工具对经过人工走查的 Lab4 代码进行自动的静态代码...

2019-06-23 20:44:37 165

原创 软件构造lab4

本次实验重点训练学生面向健壮性和正确性的编程技能,利用错误和异常处理、断言与防御式编程技术、日志/断点等调试技术、黑盒测试编程技术,使程序可在不同的健壮性/正确性需求下能恰当的处理各种例外与错误情况,在出错后可优雅的退出或继续执行,发现错误之后可有效的定位错误并做出修改。 实验针对 Lab 3 中写好的 ADT 代码和基于该 ADT 的三个应用的代码,使用以下技术进行改造,提高其健壮性和正确性: ...

2019-06-23 20:20:16 238

原创 软件构造lab3

目标是编写具有可复用性和可维护性的软件,主要使用以下软件构造技术: 子类型、泛型、多态、重写、重载 继承、代理、组合 常见的 OO 设计模式 语法驱动的编程、正则表达式 基于状态的编程 API 设计、API 复用 设计并实现一个抽象数据类型 CircularOrbit,对现实中的各类具备“具有一个圆心/中心点、围绕圆心的多条环路/轨道、多个物体分布在圆心和不同环路上”特征的事物进行抽象,并在具体应...

2019-06-23 19:56:21 185

原创 软件构造lab2

本次实验训练抽象数据类型(ADT)的设计、规约、测试,并使用面向对象编程(OOP)技术实现 ADT。 3.1 Poetic Walks 建立对ADT的基本印象,比如如何设计一个能够泛型化的ADT。 加深对AF,RI,rep exposure 这些抽象概念的理解 这个实验给出了一个如何设计泛型ADT的方法,首先先针对某一个特定实例设计具体的ADT: 给出接口Graph 通过不同方法实现该接口,对于该...

2019-06-23 19:22:13 561

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除