Praxis Design Explorer
用例图:管理 SD 卡
项目版本 0.1.30-alpha · Git 34aad0bffa2f dirty · 更新于 2026-06-25T14:17:55.307Z · 来源 Agent 候选分析Trail Mate 系统 / 设备管理
管理 SD 卡
用户查看 SD 卡就绪状态,安装或卸载 SD 卡
设计指标索引
这些指标是 Design Explorer 可探测数字的文档来源。每个计数都必须能回溯到这里的具体条目。
参与者、外部系统、上下文和当前用例。
-
Trail Mate 系统
业务边界:系统边界
管理整个应用的用户目标和业务能力
-
设备管理
业务边界:业务模块
提供设备状态的可见性和用户可控的硬件管理
-
管理 SD 卡
用例
用户查看 SD 卡就绪状态,安装或卸载 SD 卡
-
用户
参与者
使用 Trail Mate 设备的最终用户,可以查看状态、收发消息、配置设备、使用诊断工具
当前用例与上下文、参与者、外部系统或其他用例之间的关系。
- Trail Mate 系统 包含业务边界「设备管理」 包含关系
- 设备管理 包含 Use Case「管理 SD 卡」 包含关系
-
用户 作为主要参与者参与「管理 SD 卡」
参与关系
使用 Trail Mate 设备的最终用户,可以查看状态、收发消息、配置设备、使用诊断工具
-
用户 -> 管理 SD 卡
参与关系
用户管理 SD 卡
-
用户 -> 管理 SD 卡
参与关系
用户管理 SD 卡
支撑当前候选用例的文件、代码证据、规范或推断证据。
-
证据 1 · 本地仓库扫描 · boards/tlora_pager/src/tlora_pager_board.cpp · 1-1
FACT:strong
SD 卡管理函数
ensureSDReady, installSD -
证据 2 · 本地仓库扫描 · boards/tlora_pager/src/tlora_pager_board.cpp · 1-1
FACT:strong
SD 卡操作相关方法
tlora_pager_board.cpp
仍需产品或业务负责人裁决的外部问题。
- 无
UML 底图
flowchart LR
actor_actor_user["«Actor»<br/>用户"]
subgraph system_system_trail_mate["Trail Mate 系统"]
subgraph system_business_module_device_management["设备管理"]
useCase_use_case_manage_sd_card(["管理 SD 卡"])
end
end
actor_actor_user --- useCase_use_case_manage_sd_card
场景路径
主成功路径
- 用户插入 SD 卡或选择安装/检查
- 系统尝试初始化 SD 卡,进行就绪检查
- 系统更新 SD 卡状态,如果就绪则允许日志、数据等存入 SD 卡
- 用户进入 SD 卡管理
- 系统检测 SD 卡状态
- 用户选择挂载或卸载,系统执行操作
备选路径
- 无
失败路径
- SD 卡未插入或损坏,提示错误并显示未就绪
- SD 卡未插入,操作失败
变更记录
恢复或更新候选用例图「管理 SD 卡」。