HITSC_1_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
- 可执行程序:编译后的程序,可以放入内存执行
- 库:常用指令,被可执行程序调用
- 配置和数据文件:被可执行程序从硬盘中读取
- 分布式程序:多个程序互联,如客户端和服务器端交互
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
按照 规约 执行
- 测试与调试
- 防御式编程
- 形式化方法
Robustness
健壮性:针对异常
未被spec覆盖的情况就是异常情况
可拓展性
ADT设计
Compatibility
兼容性,由保持设计的同构性得到。通过标准化文件和接口等实现
对质量因素的平衡
我们是一个工程师的工作,需要平衡需求与质量,以实现在有限的资金内实现效益最大化
虽然需要折中,但“正确性”绝不能与其他质量因素折中
OOP
正确性和健壮性:通过spec、testing、checkrep等,实现更可靠的程序
可拓展性和复用性:模块化程序
软件中五个关键因素
- 优雅的代码
- 设计出可复用
- 低复杂性,易拓展
- 没有错误,安全应对bug(做不到一点bug都没有)
- 高效的运行
可理解性
构建:代码可理解性高,并且有spec,设计模式;项目结构可理解性高。一段时间内是代码重构和版本控制
运行:日志格式
可复用性
构建:代码上采用ADT/OOP,采用设计模式,分离接口等;组件上采用API和库实现
运行:动态链接其他库和组件
可维护性/易拓展性
构建:代码上模块化设计,降低耦合度、SOLID六大设计模式;组件上同样为SOLID;一段时间是VCS
健壮性
构建:代码上错误处理、测试有限、Exception、防御式编程等;一段时间上持续整合并测试
运行:单元;整体测试;Debug和内存转储;一段时间上日志输出
表现
构建:代码调优
运行:代码上空间复杂度(内存管理)、时间复杂性(IO性能),组件上分布式系统;一段时间内是对性能进行数据收集、分析、调优,组件上多线程
热门相关:交换享用妻子 无双洗车工 战神少帅归来 神级豪门女婿 离婚后我被渣男的哥哥宠上天