首页> 中国专利> 基于知识库的覆盖数据通路边界情况的测试向量生成方法及系统

基于知识库的覆盖数据通路边界情况的测试向量生成方法及系统

摘要

本发明公开了一种基于知识库的覆盖数据通路边界情况的测试向量生成方法及系统,包括步骤将数据通路中的数据端口分为数据传输类端口与控制类端口;建立基于数据类型的边界值知识库,输入每个数据传输类端口的数据类型得到边界值集合;输入每个控制类端口的位宽通过约束求解器求得合法值域形成合法值域集合;将边界值集合中的每个边界值与控制类端口的合法值域集合中每个合法值正交组合,得到覆盖数据通路边界情况的测试向量。本发明充分利用数据端口的功能属性和数据类型,通过建立边界值知识库、合法约束值域、边界值集合与合法值域集合进行正交组合,生成覆盖数据通路边界情况的测试向量,实现了数据通路电路设计验证的完备性与高效性。

著录项

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2019-06-07

    实质审查的生效 IPC(主分类):G06F17/50 申请日:20181228

    实质审查的生效

  • 2019-05-14

    公开

    公开

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号