-
公开(公告)号：CN114363936B
公开(公告)日：2024-02-06
申请号：CN202210020586.2
申请日：2022-01-10
Applicant: 北京工业大学
IPC: H04W24/04 , H04W84/18 , H04L41/06 , H04L41/0677
Abstract: 无线传感器网络的故障发现和快速报警的方法属于无线传感器网络运行领域，其特征在于，是一个由中控节点和所有无线传感器共同组成的中心辐射网以及一个由各存储服务器彼此通过光缆连成的蠕虫网经各无线传感器上下串接而成的组合网中实现的。空闲时，中央控制器发出一组启动脉冲分别经各探头上的输入信号增强器去启动各无线传感器，中控节点便以是否收到应答信号来一次性地发现网络中所有的故障节点；正常运行时，任何两个相邻节点不仅以最快速度在最短路径下传递信息并通过蠕虫网或/和中心辐射网发向中控节点或其它节点，还能在传递时主动呼叫下一节点来发现故障节点，从而实现全过程检测。
-
公开(公告)号：CN114363936A
公开(公告)日：2022-04-15
申请号：CN202210020586.2
申请日：2022-01-10
Applicant: 北京工业大学
IPC: H04W24/04 , H04W84/18 , H04L41/06 , H04L41/0677
Abstract: 无线传感器网络的故障发现和快速报警的方法属于无线传感器网络运行领域，其特征在于，是一个由中控节点和所有无线传感器共同组成的中心辐射网以及一个由各存储服务器彼此通过光缆连成的蠕虫网经各无线传感器上下串接而成的组合网中实现的。空闲时，中央控制器发出一组启动脉冲分别经各探头上的输入信号增强器去启动各无线传感器，中控节点便以是否收到应答信号来一次性地发现网络中所有的故障节点；正常运行时，任何两个相邻节点不仅以最快速度在最短路径下传递信息并通过蠕虫网或/和中心辐射网发向中控节点或其它节点，还能在传递时主动呼叫下一节点来发现故障节点，从而实现全过程检测。
-
公开(公告)号：CN111240883A
公开(公告)日：2020-06-05
申请号：CN202010049382.2
申请日：2020-01-16
Applicant: 北京工业大学
IPC: G06F11/07
Abstract: 本发明实施例涉及计算机技术领域，公开了基于有限状态机的系统诊断方法、装置、设备及存储介质。本发明实施例先根据测试序列对预设有限状态机进行测试，以得到测试结果；从测试结果中获取与初始症状对应的冲突集；通过冲突集中的转换行为构建转换失误行为集；根据转换失误行为集确定待验证行为；通过对待验证行为的验证操作诊断出待诊断系统的系统错误。可见，本发明实施例先通过冲突集中的转换行为构建出转换失误行为集，接着，根据转换失误行为集确定待验证行为，进而根据待验证行为进行系统错误的确定，如此可以较为准确地锁定系统错误，解决了难以诊断出系统错误的技术问题。
-
公开(公告)号：CN104572457B
公开(公告)日：2017-07-14
申请号：CN201410842894.9
申请日：2014-12-30
Applicant: 北京工业大学
IPC: G06F11/36
Abstract: 本发明公开了一种对含有特殊转换过程的非通用有限状态机进行改造的方法,属于系统测试领域，具体涉及一种对非通用有限状态机中的特殊转换过程进行改造的方法。针对非通用FSM中的特殊转换，本发明提出一种FSM模型改造方法，将非通用FSM模型转换为通用FSM模型。此外，通过构建一组表示非通用FSM特点的特征图元，实现非通用有限状态机的XML文件存储化。本发明通过对非通用FSM进行改造，使得具有特殊转换过程的非通用FSM也可适用于测试用例生成方案，扩充了有限状态机在软件测试各阶段中的适用范围。此外，构建了表示非通用FSM的特征图元及其数据结构，实现了非通用FSM的XML存储方式。
-
公开(公告)号：CN104572457A
公开(公告)日：2015-04-29
申请号：CN201410842894.9
申请日：2014-12-30
Applicant: 北京工业大学
IPC: G06F11/36
Abstract: 本发明公开了一种对含有特殊转换过程的非通用有限状态机进行改造的方法,属于系统测试领域，具体涉及一种对非通用有限状态机中的特殊转换过程进行改造的方法。针对非通用FSM中的特殊转换，本发明提出一种FSM模型改造方法，将非通用FSM模型转换为通用FSM模型。此外，通过构建一组表示非通用FSM特点的特征图元，实现非通用有限状态机的XML文件存储化。本发明通过对非通用FSM进行改造，使得具有特殊转换过程的非通用FSM也可适用于测试用例生成方案，扩充了有限状态机在软件测试各阶段中的适用范围。此外，构建了表示非通用FSM的特征图元及其数据结构，实现了非通用FSM的XML存储方式。
-
Patent Agency Ranking
公开(公告)号：CN111935764A
公开(公告)日：2020-11-13
申请号：CN202010583596.8
申请日：2020-06-23
Applicant: 北京工业大学
Abstract: 本发明实施例提供一种基于Wp的无线传感器网络系统测试方法及装置，所述方法包括：通过用于植物生长环境监测的无线传感器网络系统描述得到的有限状态机模型，计算有限状态机模型中所有状态的等价特征集、转换覆盖集以及状态覆盖集，并根据第一测试序列模型和第二测试序列集模型分别得到第一测试序列集和第二测试序列集，合并第一测试序列集以及第二测试序列集，得到无线传感器网络系统的测试序列集，从而对无线传感器网络系统进行缺陷检测。本发明实施例得到的无线传感器网络系统的测试序列集不仅规模较小，而且可以准确检测出用于植物生长环境监测的无线传感器网络系统缺陷。
-
公开(公告)号：CN111240883B
公开(公告)日：2023-08-29
申请号：CN202010049382.2
申请日：2020-01-16
Applicant: 北京工业大学
IPC: G06F11/07
Abstract: 本发明实施例涉及计算机技术领域，公开了基于有限状态机的系统诊断方法、装置、设备及存储介质。本发明实施例先根据测试序列对预设有限状态机进行测试，以得到测试结果；从测试结果中获取与初始症状对应的冲突集；通过冲突集中的转换行为构建转换失误行为集；根据转换失误行为集确定待验证行为；通过对待验证行为的验证操作诊断出待诊断系统的系统错误。可见，本发明实施例先通过冲突集中的转换行为构建出转换失误行为集，接着，根据转换失误行为集确定待验证行为，进而根据待验证行为进行系统错误的确定，如此可以较为准确地锁定系统错误，解决了难以诊断出系统错误的技术问题。
-
公开(公告)号：CN111935764B
公开(公告)日：2023-05-12
申请号：CN202010583596.8
申请日：2020-06-23
Applicant: 北京工业大学
Abstract: 本发明实施例提供一种基于Wp的无线传感器网络系统测试方法及装置，所述方法包括：通过用于植物生长环境监测的无线传感器网络系统描述得到的有限状态机模型，计算有限状态机模型中所有状态的等价特征集、转换覆盖集以及状态覆盖集，并根据第一测试序列模型和第二测试序列集模型分别得到第一测试序列集和第二测试序列集，合并第一测试序列集以及第二测试序列集，得到无线传感器网络系统的测试序列集，从而对无线传感器网络系统进行缺陷检测。本发明实施例得到的无线传感器网络系统的测试序列集不仅规模较小，而且可以准确检测出用于植物生长环境监测的无线传感器网络系统缺陷。
-
公开(公告)号：CN104572458B
公开(公告)日：2017-05-24
申请号：CN201410843291.0
申请日：2014-12-30
Applicant: 北京工业大学
Abstract: 基于Wp测试用例约简集的无线传感器网络系统测试方法属于无线传感器网络系统的通信协议设计验证和系统测试。其特征在于，依次含有以下步骤：利用Wp方法处理计算机仿真系统有限状态机模型M1生成测试用例集、为模型M1构造覆盖需求集、利用集合覆盖贪心算法对模型M1生成的测试用例集进行约简得到约简集、根据无线传感器网络系统描述所述系统有限状态机模型M2、利用Wp方法处理模型M2生成测试用例集、为模型M2构造覆盖需求集、利用集合覆盖贪心算法对模型M2生成的测试用例集进行约简得到约简集、利用模型M2的测试用例约简集，进行系统测试。本发明与传统的所述系统测试相比，测试用例集规模小，检测能力强，实际系统测试效率高。
-
公开(公告)号：CN104572458A
公开(公告)日：2015-04-29
申请号：CN201410843291.0
申请日：2014-12-30
Applicant: 北京工业大学
Abstract: 基于Wp测试用例约简集的无线传感器网络系统测试方法属于无线传感器网络系统的通信协议设计验证和系统测试。其特征在于，依次含有以下步骤：利用Wp方法处理计算机仿真系统有限状态机模型M1生成测试用例集、为模型M1构造覆盖需求集、利用集合覆盖贪心算法对模型M1生成的测试用例集进行约简得到约简集、根据无线传感器网络系统描述所述系统有限状态机模型M2、利用Wp方法处理模型M2生成测试用例集、为模型M2构造覆盖需求集、利用集合覆盖贪心算法对模型M2生成的测试用例集进行约简得到约简集、利用模型M2的测试用例约简集，进行系统测试。本发明与传统的所述系统测试相比，测试用例集规模小，检测能力强，实际系统测试效率高。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.037 seconds)
