首页 /[BA202601529] SSM（驻车安全状态机）单元测试服务

[BA202601529] SSM（驻车安全状态机）单元测试服务

结果-中标通知

吉林 -长春

发布时间： 2026年09月28日

标书代写官方

摘要信息

中标单位

中标金额

中标单位联系人

招标单位

招标编号

招标估价

招标联系人

代理单位

代理单位联系人

关键信息

测试服务

招标详情

下文中****为隐藏内容，仅对千里马会员开放，如需查看完整内容请或拨打咨询热线： 400-688-2000

相关单位：

***********公司企业信息

采购信息

项目编号项目名称经办人单位经办人预算金额成交金额成交供应商联系地址付款方式供应商联系手机服务时间服务地址验收方式是否涉及服务成果产权所有权售后服务要求

****	SSM（驻车安全状态机）单元测试服务
****学院	何磊
210000.00 人民币	196000.00 人民币
****
省-市-**园区金鸡湖大道99号纳米**北区11幢301	采购单位	****
服务完毕验收合格后100%付款。
150****4802	2026年09月30日至 2026年10月09日
**
以成交单为准，参考相关内容进行验收。验收程序以甲方职能部门规定为准。
不涉及到服务成果产权的所有权
1.测试数据须准确真实，不得擅自修改测试结果，交付报告内容完整并符合甲方要求；测试验收结束后7个工作日内提供全部交付物，并在测试系统中删除甲方场景文件，不得复制备份交付物内容。 2.本项目全部测试成果知识产权归甲方；测试结束或合同终止后，按约定时限提交全部载有测试后模块及相关文档资料，不再保留此类资料；未经甲方事先书面同意，不得将本项目任何部分转让或分包给第三方。

明细清单

采购品目名称单位数量单价总价范围/服务内容及要求

电子、通信与自动控制技术研究服务	SSM（驻车安全状态机）单元测试服务
项	1
￥196,000.00	￥196,000.00
一、被测模型规模与数量本项目为SSM（驻车安全状态机）单元测试服务，被测对象为驻车安全状态机相关软件单元。本轮被测规模共18个软件子单元，分布于SWC1至SWC9共9个软件组件，覆盖车速处理、执行器状态、滚筒试验台模式、驻车按钮状态机、踏板判断、按钮处理与锁止、自动驻车、外部请求、挡位同步、制动请求、指令仲裁、驻车转行车、离车处理与油门处理及EPB主控等单元。各子单元按模型名称独立文件夹存储，总测试及修改时间按合同约定执行，各子单元的测试要求均为语句覆盖、分支覆盖、MC/DC达到100%。二、测试要求与目标核心质量目标为：各子单元语句覆盖、分支覆盖、MC/DC均达到100%，无法达成全覆盖的场景须书面阐述理由并获甲方认可；静态测试按MISRA C:2012执行强制规则检查与静态结构度量，强制规则零违规。测试软件为MATLAB/Simulink 2021，接口遵循统一数据字典，状态与请求类信号以枚举量表达；各单元的状态迁移条件须与软件安全需求逐条对应，并在故障注入、饱和、除零与越界等异常输入下保持输出确定、可复现。功能验证方面：车速按四轮速最大值计算，加减速斜率限制为10m/s2，并按0.833m/s、1.389m/s分档输出；制动踏板判断去抖阈值0.3s；自动驻车由熄火上升沿触发，重新点火后须按释放按钮方可解除；外部请求仅在变化沿触发一次；紧急驻车请求安全等级为ASIL C；指令仲裁按优先级输出最终目标指令。测试用例综合运用需求分析、等价类划分、边界值分析及错误推测四类方法；用例由乙方设计、范围由甲方确定，变更须提前书面告知并获甲方同意。测试以生成的ert代码执行MIL至SIL背靠背比对，验证模型与生成代码的一致性；测试实施严格按甲方技术要求，保证数据准确真实、不擅自修改结果，用例覆盖全部子单元与状态迁移分支。三、交付物交付物含七类：一是单元静态测试报告（〈SWC〉_U〈单元编号〉_MST.html，静态检查须通过）；二是单元MIL测试报告（PDF）；三是单元MIL测试用例（SW UT _〈SWC〉_Unit〈单元编号〉_〈单元名称〉_v〈版本〉）；四是单元MIL测试文件；五是单元SIL测试报告（PDF背靠背）；六是单元SIL测试用例（复用MIL用例覆盖背靠背比对项）；七是测试文件包（100%完整PDF版）。四、售后与服务售后与服务承诺：测试数据须准确真实，不得擅自修改测试结果，交付报告内容完整并符合甲方要求；测试验收结束后7个工作日内提供全部交付物，并在测试系统中删除甲方场景文件，不得复制备份交付物内容。本项目全部测试成果知识产权归甲方；测试结束或合同终止后，按约定时限提交全部载有测试后模块及相关文档资料，不再保留此类资料；未经甲方事先书面同意，不得将本项目任何部分转让或分包给第三方。