HITSC Views and Quality Objectives of Software Construction

软件视角Views

三维度八视图
Code-level:代码逻辑,函数、方法、类等
component-level:物理组织,包,库,文件等
Moment:某一时刻
Period:某一段时间的变化

Build,Code,Moment

一段具体代码实现,也可用AST,或者类图。用它们表示一段代码

Build,Code,Period

一段代码的变化(Git追踪)

Build,Component,Moment

某一时刻的项目结构
这部分讲解了库的知识


编译时,需要告诉编译器采用了哪些文件。静态链接把库文件拷入代码,

Build,Component,Period

软件版本管理,SCI(配置项)

VCS

控制版本

Runtime

  1. 可执行程序:编译后的程序,可以放入内存执行
  2. 库:常用指令,被可执行程序调用
  3. 配置和数据文件:被可执行程序从硬盘中读取
  4. 分布式程序:多个程序互联,如客户端和服务器端交互

Run,Code,Moment

内存里变量层面的状态

Run,Code,Period

一段时间内发生的日志

Run,Component,Moment

UML不同组件之间的交互

Run,Component,Period

系统层面的日志,组件(程序)运行状态

视角转化

比如,代码到组件是设计,构建,编译等
从构建到运行是debug,testing等

质量因素

Correctness、Robustness、Extendibility、Reusability、 Compatibility 、Efficiency、Portability、Ease of use、Functionality、Timeliness、other

Correctness

按照 规约 执行

  1. 测试与调试
  2. 防御式编程
  3. 形式化方法

Robustness

健壮性:针对异常
未被spec覆盖的情况就是异常情况

可拓展性

ADT设计

Compatibility

兼容性,由保持设计的同构性得到。通过标准化文件和接口等实现

对质量因素的平衡

我们是一个工程师的工作,需要平衡需求与质量,以实现在有限的资金内实现效益最大化
虽然需要折中,但“正确性”绝不能与其他质量因素折中

OOP

正确性和健壮性:通过spec、testing、checkrep等,实现更可靠的程序
可拓展性和复用性:模块化程序

软件中五个关键因素

  1. 优雅的代码
  2. 设计出可复用
  3. 低复杂性,易拓展
  4. 没有错误,安全应对bug(做不到一点bug都没有)
  5. 高效的运行

可理解性

构建:代码可理解性高,并且有spec,设计模式;项目结构可理解性高。一段时间内是代码重构和版本控制
运行:日志格式

可复用性

构建:代码上采用ADT/OOP,采用设计模式,分离接口等;组件上采用API和库实现
运行:动态链接其他库和组件
image.png

可维护性/易拓展性

构建:代码上模块化设计,降低耦合度、SOLID六大设计模式;组件上同样为SOLID;一段时间是VCS
image.png

健壮性

构建:代码上错误处理、测试有限、Exception、防御式编程等;一段时间上持续整合并测试
运行:单元;整体测试;Debug和内存转储;一段时间上日志输出
image.png

表现

构建:代码调优
运行:代码上空间复杂度(内存管理)、时间复杂性(IO性能),组件上分布式系统;一段时间内是对性能进行数据收集、分析、调优,组件上多线程

  • 9
    点赞
  • 8
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
好的,下面是使用arcade库实现双人贪吃蛇的代码: ```python import arcade import random # 定义贪吃蛇 class Snake: def __init__(self, x, y): self.x = x self.y = y self.w = 20 # 定义蛇头的大小 self.speed = 20 # 定义每次移动的距离 self.dir_x = self.speed self.dir_y = 0 self.body = [[x, y], [x-self.w, y], [x-self.w*2, y]] # 初始化蛇身列表 self.color = arcade.color.YELLOW_ORANGE # 定义颜色 # 更新蛇的位置和方向 def update(self): self.x += self.dir_x self.y += self.dir_y self.body.insert(0, [self.x, self.y]) self.body.pop() # 绘制蛇 def draw(self): arcade.draw_rectangle_filled(self.x, self.y, self.w, self.w, self.color) for i in range(1, len(self.body)): arcade.draw_rectangle_filled(self.body[i][0], self.body[i][1], self.w, self.w, arcade.color.YELLOW_ORANGE) # 定义食物 class Food: def __init__(self): self.x = random.randint(1, 39) * 20 # 随机生成食物的位置 self.y = random.randint(1, 39) * 20 self.w = 20 # 食物的大小 self.color = arcade.color.RED # 颜色 # 重新生成食物 def respawn(self): self.x = random.randint(1, 39) * 20 self.y = random.randint(1, 39) * 20 # 绘制食物 def draw(self): arcade.draw_rectangle_filled(self.x, self.y, self.w, self.w, self.color) class SnakeGame(arcade.Window): def __init__(self): super().__init__(800, 800, "双人贪吃蛇") arcade.set_background_color(arcade.color.BLACK) self.snake1 = Snake(200, 200) # 初始化两只蛇 self.snake2 = Snake(600, 600) self.food = Food() # 初始化食物 # 检查蛇是否碰到边缘或者碰到对手 def check_collisions(self): if self.snake1.x < 0 or self.snake1.x > 780 or self.snake1.y < 0 or self.snake1.y > 780: arcade.close_window() print("Snake 2 Wins!") if self.snake2.x < 0 or self.snake2.x > 780 or self.snake2.y < 0 or self.snake2.y > 780: arcade.close_window() print("Snake 1 Wins!") for i in range(1, len(self.snake1.body)): if self.snake1.x == self.snake1.body[i][0] and self.snake1.y == self.snake1.body[i][1]: arcade.close_window() print("Snake 2 Wins!") for i in range(1, len(self.snake2.body)): if self.snake2.x == self.snake2.body[i][0] and self.snake2.y == self.snake2.body[i][1]: arcade.close_window() print("Snake 1 Wins!") if self.snake1.x == self.snake2.x and self.snake1.y == self.snake2.y: arcade.close_window() print("Draw!") # 蛇吃到食物 def check_eat(self): if self.snake1.x == self.food.x and self.snake1.y == self.food.y: self.food.respawn() self.snake1.body.append([self.snake1.x, self.snake1.y]) if self.snake2.x == self.food.x and self.snake2.y == self.food.y: self.food.respawn() self.snake2.body.append([self.snake2.x, self.snake2.y]) # 检查键盘输入 def on_key_press(self, key, modifiers): if key == arcade.key.LEFT and self.snake1.dir_x != self.snake1.speed: self.snake1.dir_x = -self.snake1.speed self.snake1.dir_y = 0 elif key == arcade.key.RIGHT and self.snake1.dir_x != -self.snake1.speed: self.snake1.dir_x = self.snake1.speed self.snake1.dir_y = 0 elif key == arcade.key.UP and self.snake1.dir_y != -self.snake1.speed: self.snake1.dir_x = 0 self.snake1.dir_y = self.snake1.speed elif key == arcade.key.DOWN and self.snake1.dir_y != self.snake1.speed: self.snake1.dir_x = 0 self.snake1.dir_y = -self.snake1.speed elif key == arcade.key.A and self.snake2.dir_x != self.snake2.speed: self.snake2.dir_x = -self.snake2.speed self.snake2.dir_y = 0 elif key == arcade.key.D and self.snake2.dir_x != -self.snake2.speed: self.snake2.dir_x = self.snake2.speed self.snake2.dir_y = 0 elif key == arcade.key.W and self.snake2.dir_y != -self.snake2.speed: self.snake2.dir_x = 0 self.snake2.dir_y = self.snake2.speed elif key == arcade.key.S and self.snake2.dir_y != self.snake2.speed: self.snake2.dir_x = 0 self.snake2.dir_y = -self.snake2.speed # 每帧更新 def on_draw(self): arcade.start_render() self.snake1.draw() self.snake2.draw() self.food.draw() # 更新位置 def update(self, delta_time): self.snake1.update() self.snake2.update() self.check_collisions() self.check_eat() if __name__ == '__main__': game = SnakeGame() arcade.run() ``` 希望对你有所帮助!

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值