软件工程之静态建模

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

用例的关系:

扩展关系

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

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

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

包含关系:阿斯蒂

何时使用包含关系:

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

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

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

泛化关系

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

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

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

讨论:泛化与扩展的区别

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

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

类图

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

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

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

对象间关系-关联关系

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

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

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

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

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

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

组合聚集

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

泛化关系

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

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

特殊元素还包含额外信息

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

相关推荐
mykj15515 小时前
英语单词APP解锁学习新方式,智能高效背单词
学习·英语单词app
知识分享小能手6 小时前
深度学习学习教程,从入门到精通,深度学习中的正则化 — 完整知识点与代码示例(7)
人工智能·深度学习·学习
~kiss~7 小时前
Agent 的 未来吗?String: An Agentic OS Where Every App Is a Markdown File
学习
HugoStudio_SWAN7 小时前
洛谷 B4450 / B3867 / B3923 智慧购物、储蓄与做题——从程序到生活
c++·学习·程序人生·算法·生活
猎头南楼9 小时前
VLA 模型落地端侧:从架构选型到量化部署的工程实践笔记
笔记·架构·大模型
Capricorn19889 小时前
日志级幻觉排障:GPT-6 Astra 迈入 AGI 时代,知芽 Notebook Skill 如何以引用校验与零命中诚实弃权解决长文失忆
论文阅读·人工智能·笔记·gpt·agi
UIU1149 小时前
scanf与cout的误区:探究其内部的机制
c++·学习·c#·scanf
xierui1231239 小时前
给内容 Agent 接平台账号前,先设计四层权限:读、写、预填、提交
人工智能·网络安全·aigc·软件工程
疯狂打码的少年10 小时前
【数据库技术】多值依赖与第四范式(4NF)
数据库·笔记·算法
tq108610 小时前
算法的另一面
笔记