-
公开(公告)号：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的测试用例约简集，进行系统测试。本发明与传统的所述系统测试相比，测试用例集规模小，检测能力强，实际系统测试效率高。
-
公开(公告)号：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存储方式。
-
-
-
Search Results
4
records
(took 0.025 seconds)
