公开(公告)号：CN103336743A

公开(公告)日：2013-10-02

申请号：CN201310317348.9

申请日：2013-07-25

Applicant: 清华大学

Inventor： 刘云浩 ,  连朔 ,  赵季中 ,  何源 ,  王继良

IPC: G06F11/36

Abstract: 本发明提供了一种无线传感器代码检测的方法，包括：在待测代码中插入初始化检测代码，构成初始化后的代码；将所述初始化后的代码通过编译链生成一个虚拟可执行文件；用模拟器载入所述虚拟可执行文件和虚拟网络配置文件，生成虚拟状态空间；在所述虚拟状态空间中用随机行走算法进行代码检测，如果出现错误，输出错误信息。本发明通过对虚拟网络配置文件的修改，可以使虚拟网络环境与实际网络环境更加接近，能够检测出实际网络环境下可能出现的错误，能够大大增加检测出的由于实际网络环境与测试网络环境的不同而隐藏的错误的数量。

公开(公告)号：CN103336743B

公开(公告)日：2016-06-15

申请号：CN201310317348.9

申请日：2013-07-25

Applicant: 清华大学

Inventor： 刘云浩 ,  连朔 ,  赵季中 ,  何源 ,  王继良

IPC: G06F11/36

Abstract: 本发明提供了一种无线传感器代码检测的方法，包括：在待测代码中插入初始化检测代码，构成初始化后的代码；将所述初始化后的代码通过编译链生成一个虚拟可执行文件；用模拟器载入所述虚拟可执行文件和虚拟网络配置文件，生成虚拟状态空间；在所述虚拟状态空间中用随机行走算法进行代码检测，如果出现错误，输出错误信息。本发明通过对虚拟网络配置文件的修改，可以使虚拟网络环境与实际网络环境更加接近，能够检测出实际网络环境下可能出现的错误，能够大大增加检测出的由于实际网络环境与测试网络环境的不同而隐藏的错误的数量。