3. SysML图族面试速答

在 MBSE 面试中，SysML 图族几乎是必考项。面试官问“SysML 有哪些图、分别干什么用”，真正想听的并不是你把九种图名背一遍，而是你能否说清每种图回答的是哪一类工程问题，以及在什么场景下该选它、不该选它。SysML 把图分为两大类：一类是结构图，描述系统“由什么组成、怎么连接”；另一类是行为图，描述系统“做什么、按什么顺序做、在什么条件下变化”。需求图则相对独立，承担需求与其它模型元素之间的追溯职责。下面按“作用—关键元素—选用场景—常见误用”的线索逐一展开。

需求图：把需求变成可追溯的模型节点

需求图的核心作用不是“画需求”，而是建立需求之间、需求与设计/验证元素之间的追溯关系。典型元素是需求（requirement）、包含关系（containment）、派生（derive）、满足（satisfy）、验证（verify）、精化（refine）。面试中常被追问：“需求图和需求管理工具里的需求条目有什么区别？”回答要点是：需求图把需求作为模型元素，使其能与用例、块、测试用例建立可导航的链接，从而支持影响分析和覆盖率统计。

选用场景：当你需要回答“这条需求由哪个功能满足、由哪个测试用例验证、改一条需求会影响哪些设计”时，用需求图。误用场景：把需求图当成需求文档排版工具，只罗列文字而不建追溯关系，那它就退化成了一张清单，失去了 MBSE 的价值。

用例图：界定系统边界与外部价值

用例图回答的是“系统为外部参与者提供哪些可观察的价值”。关键元素包括参与者（actor）、用例（use case）、关联、包含（include）、扩展（extend）、泛化。它最大的价值在于划定系统边界：哪些在系统内、哪些是外部交互方。

选用场景：项目早期做范围界定、与利益相关者对齐“系统到底要交付什么能力”时最有效。例如一个无人机系统，参与者可能是操作员、维护人员、空管接口，用例是“执行航点任务”“返航”“上报状态”。误用场景：把用例图当功能分解图，把内部子功能也画成用例，导致边界模糊。判断标准很简单——用例必须对某个参与者产生可观察的结果。

活动图：描述控制流与数据流

活动图是行为图中最接近“流程图”的一种，但它比流程图更强：支持令牌（token）语义、并发分叉/汇合、对象流、泳道分区。关键元素有动作（action）、控制流、对象流、决策/合并、分叉/汇合、初始/终止节点。

选用场景：描述业务流程、操作流程、算法步骤，尤其是存在并行和条件分支的场景。例如“任务规划”活动图可以包含并行采集传感器数据与计算航迹两条流，再用汇合节点同步。面试中若被问“活动图和序列图怎么选”，可以答：活动图强调控制逻辑与并发，不强调消息的时间顺序和具体交互对象；序列图强调对象间消息的时间顺序。需要看“谁在什么时候给谁发消息”就用序列图，需要看“整体流程怎么走、哪里并行”就用活动图。

块定义图与内部块图：结构的两个层次

块定义图（BDD）描述系统的类型层次与组成关系，关键元素是块（block）、属性、操作、关联、组合、泛化、端口。它回答“系统由哪些类型的部件构成、它们之间是什么关系”。内部块图（IBD）则描述某个块内部实例如何通过端口和连接器互联，回答“这个块的内部零件怎么接线、数据从哪个端口进、从哪个端口出”。

两者的关系可以用一句话概括：BDD 定义“有哪些零件类型”，IBD 定义“这些零件在某个具体装配里怎么连”。选用场景：BDD 用于建立系统架构的类型骨架；IBD 用于表达具体配置下的接口连接，尤其是带端口和流属性的工程系统。误用场景：在 BDD 里画连接线表示实例互联，或在 IBD 里定义新类型，两者职责混淆。

状态机图：描述状态相关的动态行为

状态机图描述一个对象在其生命周期内状态如何迁移。关键元素是状态、迁移、事件、守卫条件、动作、进入/退出行为。它特别适合“行为依赖于当前状态”的系统，比如模式切换、故障处理、协议状态。

选用场景：当同一事件在不同状态下引发不同响应时，状态机是最清晰的表达方式。例如飞控的“地面待命—起飞—巡航—返航—降落”状态迁移，每个迁移由事件触发并带守卫条件。面试中常被问“状态机和活动图区别”，要点是：活动图强调动作序列和并发，状态机强调状态与事件驱动的迁移；活动图不一定有“状态”概念，状态机则围绕状态组织。

序列图：描述交互的时间顺序

序列图描述一组对象之间按时间顺序交换的消息。关键元素是生命线、消息（同步/异步/返回）、激活条、组合片段（alt、opt、loop、par）。它回答“这个场景下，谁先给谁发什么消息、等待什么返回”。

选用场景：描述具体用例的实现交互、接口协议时序、验证场景。例如“返航”用例的序列图可以展示操作员发指令、飞控接收、导航计算、执行机构响应。误用场景：用序列图表达复杂并发逻辑，导致组合片段嵌套过深、可读性差，此时应改用活动图或状态机。

参数图：把工程约束变成可计算模型

参数图是 SysML 区别于 UML 的重要图种，用于表达约束与参数之间的数学关系。关键元素是约束块（constraint block）、约束属性、参数、绑定连接器。它回答“系统的性能指标之间满足什么方程、改一个参数会如何影响另一个”。

选用场景：性能分析、权衡研究、与仿真工具对接。例如把“航程 = 速度 × 续航时间”和“续航时间 = 燃油量 / 油耗率”建成约束块，把块属性绑定到参数上，就能在参数图上做敏感性分析。面试中若被问“参数图和普通公式有什么区别”，要点是：参数图把公式绑定到模型元素，使参数可追溯、可复用、可驱动仿真，而不是散落在文档里的孤立公式。

选用决策：一张速查表

面试速答时，可以用下面这张表快速定位。注意它是“首选图”，实际项目中常需多图配合。

工程问题	首选图	关键判断依据
需求由谁满足、由谁验证	需求图	需要追溯与覆盖率
系统边界与外部价值	用例图	存在外部参与者
流程步骤与并发	活动图	强调控制流/数据流
类型层次与组成	块定义图	定义“有哪些类型”
实例互联与端口接线	内部块图	定义“具体怎么连”
状态迁移与事件响应	状态机图	行为依赖当前状态
消息时间顺序	序列图	强调交互时序
性能约束与参数关系	参数图	存在可计算方程

面试速答的收尾话术

如果面试官只给一分钟，可以这样收束：“SysML 九类图分三组：需求图管追溯，结构图（BDD/IBD）管组成与连接，行为图（用例、活动、状态机、序列）管功能、流程、状态和交互，参数图管工程约束计算。选图的关键不是图本身，而是先问清要回答哪类工程问题——是追溯、边界、结构、行为还是性能，再选对应图种，必要时多图联合。”这段话既展示了体系化理解，也体现了以问题驱动选图的工程思维，通常能给面试官留下较深印象。