收录:
摘要:
基于Wp测试用例约简集的无线传感器网络系统测试方法属于无线传感器网络系统的通信协议设计验证和系统测试。其特征在于,依次含有以下步骤:利用Wp方法处理计算机仿真系统有限状态机模型M1生成测试用例集、为模型M1构造覆盖需求集、利用集合覆盖贪心算法对模型M1生成的测试用例集进行约简得到约简集、根据无线传感器网络系统描述所述系统有限状态机模型M2、利用Wp方法处理模型M2生成测试用例集、为模型M2构造覆盖需求集、利用集合覆盖贪心算法对模型M2生成的测试用例集进行约简得到约简集、利用模型M2的测试用例约简集,进行系统测试。本发明与传统的所述系统测试相比,测试用例集规模小,检测能力强,实际系统测试效率高。
关键词:
通讯作者信息:
电子邮件地址: