申请/专利权人：西安建筑科技大学

申请日：2023-12-19

公开（公告）日：2024-03-15

公开（公告）号：CN117709251A

主分类号：G06F30/33

分类号：G06F30/33;G06F30/27;G06F18/27

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.04.02#实质审查的生效;2024.03.15#公开

摘要：本发明公开了一种基于SV的ARINC429接口自动化验证系统及方法，主要解决现有技术中验证方式不灵活、验证效率低的问题。方案为：通过设计自动化脚本建立启动模块，启动模块连接仿真平台搭建模块的输入，仿真平台搭建模块根据DUT的验证功能点完成测试顶层Testbench单元、验证模型搭建单元和激励自动化生成单元的构建，其输出连接动态仿真模块，在该模块中依次经过测试用例执行单元、仿真结果自动校验单元以及自动收集覆盖率单元，对接口实现自动化的仿真、验证，并收集覆盖率，最后输出给回归测试模块，经该模块对未覆盖部分再次处理。本发明能够有效提升验证效率，具有较高的灵活性和可重用性。

主权项：1.一种基于SV的ARINC429接口自动化验证系统，其特征在于，包括：启动模块、仿真平台搭建模块、动态仿真模块以及回归测试模块；其中动态仿真模块由测试用例执行单元、仿真结果自动校验单元以及自动收集覆盖率单元组成；所述启动模块连接仿真平台搭建模块的输入，仿真平台搭建模块利用启动模块的数据完成测试顶层Testbench单元、验证模型搭建单元和激励自动化生成单元的构建，仿真平台搭建模块的输出连接动态仿真模块中的测试用例执行单元，依次经过测试用例执行单元、仿真结果自动校验单元和自动收集覆盖率单元，最后输出给回归测试模块，经该模块处理后再将数据返回动态仿真模块的测试用例执行单元；所述启动模块是用于形成自动化验证环境的脚本，用于开启系统；所述测试顶层Testbench单元用于测试平台的搭建，并将待测设计DUT的顶层设计接口在Testbench中进行例化，完成复位信号和时钟信号的初始化功能；所述验证模型搭建单元用于搭建ARINC429验证模型；所述激励自动化生成单元用于产生激励数据，且针对不同测试的功能点，该单元随机产生激励数据的约束不同；所述测试用例执行单元用于存储并执行所有的测试用例；所述仿真结果自动校验单元用于将仿真的实际结果和期望值进行自动比对，并根据比对结果判断待测设计DUT功能的正确性；所述自动收集覆盖率单元用于对待测设计DUT的覆盖率进行收集，并将收集结果发送给回归测试模块，由回归测试模块对未覆盖的测试点进行返回重新测试，保证测试的完整度。

全文数据：

权利要求：

百度查询： 西安建筑科技大学 基于SV的ARINC429接口自动化验证系统及方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD