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

摘要

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

主权项

1.一种基于知识库的覆盖数据通路边界情况的测试向量生成方法，其特征在于，实施步骤包括：S1.将数据通路中除时钟端口、重置端口以外的所有数据端口按照功能属性划分为数据传输类端口与控制类端口；S2.建立基于数据类型的边界值知识库，向该边界值知识库输入步骤S1中所述每个数据传输类端口的数据类型，得到每个数据传输类端口的边界值集合；输入步骤S1中每个控制类端口的位宽通过约束求解器求得每个控制类端口的合法值域，从而形成控制类端口的合法值域集合；S3. 分别将步骤S2中数据传输类端口的边界值集合中的每个边界值与控制类端口的合法值域集合中的每个合法值进行正交组合，得到覆盖数据通路边界情况的测试向量。