Vyntek
设计规格机器视觉规格

测试契约摘录:TC-SESS-*

规格 ID:TC015 — 稳定标识(页面改名/迁移不变),全站对照见设计规格索引。

语义权威:session-lifecycle.mdx;停止矩阵权威仍为 toolgroup §7.4.3(T9,不改)。
实现现状:见下文。
相关:overview · memory-management · TC-MEM 摘录 · 本地预览

9. 会话停流 TC-SESS-*(阶段 D ·)

语义权威见 session-lifecycle.mdx;停止矩阵权威仍为 toolgroup §7.4.3(T9)——本文不改其语义。本表只做排空/归还/故障可勾选断言。场景骨架 S11。宿主侧分派见 host-integration.mdx §4。

ID勾前置动作期望 code / 状态对应章节场景
TC-SESS-01[ ]采集会话 Running;有在途帧/工作走完整停流:Quiescing → Draining/Cancelling → Releasing → Returning → Stopped结束须同时:无新回调、队列空、工具工作结束、会话拥有的图像/访问已关闭、SDK 归还已完成;不得边持最后引用边等自己的 ReturnCompletedsession-lifecycle 状态机 / 结束条件S11
TC-SESS-02[ ]宿主已把图像导出到会话外窗口/历史(外部保留)会话停流并企图销毁 SDK停止结果报告「仍有外部保留」;禁止假称设备资源已归还;要立即毁 SDK 须先复制到独立存储并关闭原图session-lifecycle「外部保留」S11
TC-SESS-03[ ]停流等待中;调用方超时触发超时返回返回未排空/故障结果(可含 BufferId、活动访问、pin、归还队列、持有时长);底层安全清理继续;不得强行回收仍被 native 使用的地址session-lifecycle「超时」S11
TC-SESS-04[ ]归还失败 / 相机断线 / 消费者异常等故障注入(fake)进入可观察故障路径;归还不自动再次 Release;清理泵继续处理其他可归还项;最终停止结果汇总失败;ReturnFailed / 断线可观测session-lifecycle「故障处置」S11
TC-SESS-05[ ]Run 在途且采集在跑宿主要「相机与 Run 一起停」必须显式既停采集 又 RequestCancel;二者不隐含联动(对齐停止矩阵 / TC-CTL-04;host-integration「两端都停」)session-lifecycle 停止矩阵;toolgroup §7.4.3;host-integration §4S11 / S09c

实现现状状态(按实 · 可勾选处)

下列 不是把 stub 标成完成。头上均有 NON-STABLE ABI / STUB。勾选含义:公开声明外形是否足以起草 fake 测试;≠ 契约验收通过。上表 [ ] 保持未勾。

TC声明外形(include / smoke)实现现状状态缺口归属
TC-SESS-01停流态 + StopProgress(returns_complete 轮询 outstanding;无 OnReturnCompleted)骨架有;联合条件 未验收Bruno · Reed
TC-SESS-02external_retention + claims_device_returned()外形有;宿主 Share 持有时不得假称已归还Bruno
TC-SESS-03StopTimeout / WaitStop;超时留 Returning,cleanup_continues外形有;不假装 Stopped;pin 续清 未验收Bruno · Reed
TC-SESS-04StopFaults::return_failed_count;Returning 完成且 >0 → Faulted骨架有;断线/消费者故障注入 未验收Bruno · Reed
TC-SESS-05RequestStop 与 RunSession::RequestCancel 不自动联动隔离外形正确;宿主矩阵未测实Bruno · Chase

场景骨架 S11(完整文见 examples-scenarios):

| S11 | TC-ACQ-* · TC-SESS-01…05;交叉 TC-CTL-04 | 采集接入 + 会话停流(fake):停流结束条件、外保留、超时续清、ReturnFailed/断线、两端都停须显式 | S11;camera-acquisition;session-lifecycle;|

摘录状态:本站规格。完整内容见 test-contracts。

On this page