1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

一种针对状态机模型的部件级测试方法和装置.pdfVIP

  • 9
  • 0
  • 约1.75万字
  • 约 17页
  • 2024-03-20 发布于四川
  • 举报

一种针对状态机模型的部件级测试方法和装置.pdf

    本发明提出了一种针对状态机模型的部件级测试方法和装置，属于民机飞行控制软件测试领域。该方法包括识别模型文件，按队列顺序的方式自动导入待测模型，对待测模型进行封装，生成harness模型，调用指定测试用例生成软件，对harness模型进行自动测试用例生成；对模型中状态机进行配置，保存原始模型配置参数，将测试用例加载到模型中进行仿真；对待测模型状态机中所有的状态、转移条件、真值表以及graphfunction进行遍历解析，识别出所有的含有逻辑运算的表达式，统计出状态机中所有的低级需求目标；识别出每

    (19)国家知识产权局

    (12)发明专利申请

    (10)申请公布号CN117724968A

    (43)申请公布日2024.03.19

    (21)申请号202311736951.0

    (22)申请日2023.12.15

    (71)申请人中国航空工业集团公司西安飞行自

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >