湖北武汉武汉大学模型检测工具BTCEmbeddedValidator项目单一来源方式采购征求意见公示
查看隐藏内容（*）需先登录
武汉大学采购与招投标管理中心受软件工程国家重点实验室委托，拟采购模型检测工具BTC Embedded Validator，使用单位申请单一来源方式采购，现予以公示。一、采购内容：模型检测工具BTC Embedded Validator技术要求：模型检测工具BTC Embedded Validator主要包括下面四个部分：具备模型检测和代码检测渗透检测标准支持，具备综合的试验波形图，提供了分析结果的展示和预览功能，具备Simulink 仿真的自动支持，模型反例渗透方式的支持，基于M脚本的自动生成。主要性能指标标准性支持方面提供验证ISO*****标准和 IEC *****标准 通过使用 TargetLink API，Embedded Validator 可以解压缩 TargetLink 模型的精确的数学表示形式，并提供验证工具 自动化调试工具支持 符合模型的完全自动化的鲁棒性分析 符合基于组件和构件化的集成 提供可自定义的可靠性代码分析分析 TargetLink技术的无缝集成 具备检测性报告生成工具 系统构成及设备配置：BTC Embedded Validator 软件 *套二、拟采购货物或服务的说明拟采购的模型检测工具BTC Embedded Validator主要包括下面四个部分：具备模型检测和代码检测渗透检测标准支持，具备综合的试验波形图，提供了分析结果的展示和预览功能，具备Simulink 仿真的自动支持，模型反例渗透方式的支持，基于M脚本的自动生成。三、采用单一来源采购方式的原因及相关说明为了加强实验室代码质量复审评估服务能力，软件工程国家重点实验室拟采购一套代码质量管理套件。代码质量管理套件需要切实解决科研项目中所需的标准性支持问题和代码质量追踪的深度集成问题，标准性支持方面必须满足验证ISO*****标准和 IEC *****标准，深度集成方面需要提供 TargetLink API，及可解压缩的 TargetLink 模型的精确的数学表示形式，并提供验证工具，实现TargetLink技术的无缝集成。在模型驱动开发的软件开发方式中，如何解决模型***%准确性是软件质量确保平台的建设目标之一，基于RUP思想和建模为基础的开发方式逐渐推广，代码级的质量保证工具引进解决了在迭代过程中基于代码的可用性、可靠性、安全性等问题，但基于架构设计与建模工具方面，如何保证建模模型的验证可靠性、安全性成为了实验室构建软件质量确保平台的不可或缺的一环，该环节清除了ALM开发生命周期过程中的建模验证死角。在软件质量保证过程中让测试具备预判性具备佐证，为质量保证提供了更有说服力的数据支撑，其验证手段能够为我们的事后测试提供新颖的方式来保障模型的可靠和安全，减少或避免代码错误的迭代发生几率，达到增效加速开发、提升开发品质的目的。基于以上需求，经过全面慎重的考察和调研，目前只有BTC公司生产的模型检测工具能够满足实验室对模型质量评估这种功能的需求。是满足新一代软件质量保证平台建设的理想之选。故建议采用单一来源方式购置。*、拟定唯一供应商名称、地址。供应商：******地 址：武汉市硚口区宝丰路*号*、公示期：****年**月**日至****年**月**日**时 如有其他潜在供应商对本项目采用单一来源方式采购有异议，应在公示期内以书面形式以实名（盖单位公章、包括联系人、地址、联系电话）将意见反馈至武汉大学采购与招投标管理中心。 项目经办人：肖老师 吴老师 电话：***-********，******** 传真：***-********技术负责人：何璐璐 ***********地址：湖北省武汉市武昌区八一路***号 邮编：****** 武汉大学采购与招投标管理中心
