-
公开(公告)号：CN111723008A
公开(公告)日：2020-09-29
申请号：CN202010471820.4
申请日：2020-05-29
Applicant: 北京机电工程研究所
IPC: G06F11/36
Abstract: 本发明提供了一种基于状态转换图的测试路径生成方法，该方法包括：判断是否需要覆盖状态转移对；在不需要覆盖状态转移对的情况下，生成覆盖每一个中间状态的第一测试路径集；生成覆盖每一个转移的测试路径并与第一测试路径集取并集得到第二测试路径集；确定第一循环子路径的循环次数，生成覆盖每一个第一循环子路径的测试路径并与第二测试路径集取并集得到第三测试路径集；在需要覆盖状态转移对的情况下，生成覆盖每一个状态转移对的第四测试路径集；确定第二循环子路径的循环次数，生成覆盖每一个第二循环子路径的测试路径并与第四测试路径集取并集得到第五测试路径集。本发明能够解决现有技术中生成测试路径方法效率低和覆盖不充分的技术问题。
-
公开(公告)号：CN111723008B
公开(公告)日：2024-06-11
申请号：CN202010471820.4
申请日：2020-05-29
Applicant: 北京机电工程研究所
IPC: G06F11/36
Abstract: 本发明提供了一种基于状态转换图的测试路径生成方法，该方法包括：判断是否需要覆盖状态转移对；在不需要覆盖状态转移对的情况下，生成覆盖每一个中间状态的第一测试路径集；生成覆盖每一个转移的测试路径并与第一测试路径集取并集得到第二测试路径集；确定第一循环子路径的循环次数，生成覆盖每一个第一循环子路径的测试路径并与第二测试路径集取并集得到第三测试路径集；在需要覆盖状态转移对的情况下，生成覆盖每一个状态转移对的第四测试路径集；确定第二循环子路径的循环次数，生成覆盖每一个第二循环子路径的测试路径并与第四测试路径集取并集得到第五测试路径集。本发明能够解决现有技术中生成测试路径方法效率低和覆盖不充分的技术问题。
-
公开(公告)号：CN108155978B
公开(公告)日：2021-08-10
申请号：CN201711204666.9
申请日：2017-11-27
Applicant: 北京机电工程研究所
Abstract: 本发明公开了一种VxWorks环境下冗余网卡热备份的方法，其中，包括：设置双网卡相同的MAC地址；设置双网卡IP地址；步骤S1、主机接收中断；步骤S2、判断当前网卡连接状态的通断，如果为通，则转步骤S4，如果为断则转步骤S3；步骤S3、判断备份网卡的通断，如果为通，则转步骤S6，如果为断则转步骤S5；S4、判断之前一循环两路网卡是否均断开；S5、输出两路王切换为备份网卡工作；S6、切换到备份网卡工作；S7、重新配置当前网卡的IP；S8、转步骤S1重新开始工作。本发明一种VxWorks环境下冗余网卡热备份的方法，当网卡或通信线路连接出现故障、通信异常以及通信不可靠时，通信节点能主动切换到备份网卡进行通信，提供有相关使用需求者参考使用。
-
公开(公告)号：CN108155978A
公开(公告)日：2018-06-12
申请号：CN201711204666.9
申请日：2017-11-27
Applicant: 北京机电工程研究所
Abstract: 本发明公开了一种VxWorks环境下冗余网卡热备份的方法，其中，包括：设置双网卡相同的MAC地址；设置双网卡IP地址；步骤S1、主机接收中断；步骤S2、判断当前网卡连接状态的通断，如果为通，则转步骤S4，如果为断则转步骤S3；步骤S3、判断备份网卡的通断，如果为通，则转步骤S6，如果为断则转步骤S5；S4、判断之前一循环两路网卡是否均断开；S5、输出两路王切换为备份网卡工作；S6、切换到备份网卡工作；S7、重新配置当前网卡的IP；S8、转步骤S1重新开始工作。本发明一种VxWorks环境下冗余网卡热备份的方法，当网卡或通信线路连接出现故障、通信异常以及通信不可靠时，通信节点能主动切换到备份网卡进行通信，提供有相关使用需求者参考使用。
-
-
-
Search Results
4
records
(took 0.02 seconds)
