软件工程之静态建模

静态模型:有助于设计包、类名、属性和方法特征标记(但不是方法体)的定义,例如UML类图。

用例的关系:

扩展关系

扩展关系允许一个用例(可选)扩展另一个用例(基用例)提供的功能。注意扩展只能在特定的设计点发生,称这个点为扩展点(通常为测试条件点,行为在该点开始分支)。

基用例路径本身是完整的,原来可能是一条扩展路径。

寻找用例中的特殊场景:用例中的特殊场景点,(例如,购物,包括支付卡,现金,优惠卷等),(例如,定价,包括打折的业务规则)。

包含关系:阿斯蒂

何时使用包含关系:

某些步骤在多个用例重复出现,且单独形成价值,即用例之间的公共功能。

已经有现成的公共用例存在,只需拿来使用即可。

用例的步骤较多时,可以用Include简化(慎用)

泛化关系

用例之间的泛化:一个任务与该任务的一个特殊版本之间的关系。

例子:在买票系统中,个人购买和团体购买都是买票的特例。

采用关系不同,文档结构不同(如果改成extend,则表示识别用户用例中的另外一条路径)

讨论:泛化与扩展的区别

如果打算描述一个根据"运行时"条件有可能在某一时刻增加的附加行为,则可以使用扩展。

如果希望标记整个任务的一个特定版本,就应该用泛化。

类图

类图,描述类和类之间的静态关系。

类图由类及其关系组成,类包含属性和操作,类可以和其它类之间具有关系。

类图是定义其它图的基础,在类图的基础上,可以用状态图、合作图等进一步描述系统其他方面的特性。

对象间关系-关联关系

普通关联:只要类之间存在连接关系

递归关联:类与自身的关联,例如在一个公司中,一个老板管理多个工人,而老板和工人都属于员工类。

多重关联:多个类之间的关联,如工厂的机器、工人、产品

有序关联:一般在重数为"多"的关联端的对象是一个无需的集合,如果要求这些对象是有序的,则在"多"端用{ordered}来指明,如目录和文件

聚集,表示类间的包含,组成关系

共享聚集,组成课题组的人,可以是另一个课题组成员。

组合聚集

组成类率属于整体类,整体类不存在,不分类也不存在。

泛化关系

泛化表示类之间的关系是"一般"与"特殊"的关系。泛化也称为继承,在UML中对泛化有3个要求:

特殊元素应具有一般元素的所有特性,如:关联、操作、属性

特殊元素还包含额外信息

允许使用一般元素实例的地方,也应能使用特殊元素

相关推荐
星夜夏空998 分钟前
C++学习(2) —— 类与对象基础
开发语言·c++·学习
-To be number.wan32 分钟前
数据库系统 | 数据库安全与完整性
数据库·学习
czysoft1 小时前
se被限速
科技·学习·it·技术·魔法·先进·领先
子不语1802 小时前
从0开始学习S7-1200+ET200SP(3)——两台S7-1200通过TCP连接
网络协议·学习·tcp/ip
llllliznc2 小时前
LLM 学习笔记 Day 5:Agent 核心组件——Planner、Memory 与 Reflection
笔记·学习
risc1234562 小时前
“解决了什么痛点”与“为什么有这个东西”的关系?
笔记
hj2862512 小时前
Docker 容器化技术标准化笔记
java·笔记·docker
hyhsandy18033 小时前
STM32F103 TIM学习笔记
笔记·stm32·学习
栈溢出了3 小时前
Redis 消息队列笔记:List 与 Pub/Sub
redis·笔记·list
GuHenryCheng3 小时前
【ESP32】ESP-IDF开发环境搭建(cursor)
git·stm32·单片机·学习