• 主题
高级搜索  >
历史搜索 清空历史
首页> 中国专利> 基于SMT的车载控制器软件半形式化需求验证系统及方法

基于SMT的车载控制器软件半形式化需求验证系统及方法

页面导航
  • 摘要
  • 著录项
  • 相似文献

摘要

本发明涉及一种基于SMT的车载控制器软件半形式化需求验证系统及方法，包括：半形式化软件需求规范化模块M1，用于对半形式化的车载控制器软件需求进行自动转换，生成能够被SMT求解器识别的合取范式形式输入；约束条件建立模块M2，用于根据上级系统需求和系统设计，抽取、归纳并建立针对软件功能的约束条件；需求验证模块M3，用于对格式转换后的输入软件需求根据约束条件进行求解，验证软件需求的正确性以及与上级需求和设计的一致性。与现有技术相比，本发明具有利用形式化理论工具对半形式化的软件需求进行准确、高效地验证等优点。

著录项

  • 公开/公告号CN108255697B

    专利类型发明专利

  • 公开/公告日2021-05-14

    原文格式PDF

  • 申请/专利权人 卡斯柯信号有限公司;

    申请/专利号CN201611250263.3

  • 发明设计人 陈晓轩;陈硕豪;熊坤鹏;刘锦峰;

    申请日2016-12-29

  • 分类号G06F11/36(20060101);

  • 代理机构31225 上海科盛知识产权代理有限公司;

  • 代理人应小波

  • 地址 200070 上海市闸北区天目中路428号凯旋门大厦27层C/D室

  • 入库时间 2022-08-23 11:48:19

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号