基于模型的集成测试验证模型生成技术研究（二次发布）

专业领域：制导与控制技术,电子元器件,探测与识别,计算机与软件,体系建模仿真与评估,电子信息,网络通信,卫星应用,动力与传动,先进材料与制造,可靠性/测试性/维修性,其他

1.研究目标

开展基于模型的集成测试验证模型生成技术研究

2.研究内容

1) 模型集成技术方案设计；

2) 模型动态、静态校核技术开发；

3) 测试模型生成算法开发；

4) 面向典型需求和任务场景的模型测试用例集生成技术构建；

5) 智能测试与分析算法开发；

6) 通过领域模型案例的构建与测试验证，验证工具与算法的可行性与有效性。

3.交付物

4.项目周期：

自合同签订日起至2027年3月31日

5.响应单位资质要求：

a) 营业执照/事业单位法人证书（必备）；

b) 质量管理体系（必备）；

c) 三级及以上保密证书（必备）；

6.竞争性谈判文件发放时间、地点、方式

报名截止后一周内由项目主管人员通知。

7.技术答疑或现场踏勘时间：

如需了解该项目详情，请与下述项目主管人联系。

8.谈判时间及地点:另行通知

9.采购单位：****

地址：**省**市

邮政编码：110015

项目主管人：张成凯，电话:185****5675

======================================================

报名须知：报名请填写附件中《报名表》,加盖公章，在报名截止日期(2026年6月11日)前，同时发送到如下两个邮箱： 606@seri.****.cn；****@139.com 邮件主题写明“科研部李明菲收-报名单位名称” 报名联系电话024-****1015，138****1942。