[发明专利]一种无线传感器代码检测的方法有效
申请号: | 201310317348.9 | 申请日: | 2013-07-25 |
公开(公告)号: | CN103336743A | 公开(公告)日: | 2013-10-02 |
发明(设计)人: | 刘云浩;连朔;赵季中;何源;王继良 | 申请(专利权)人: | 清华大学 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京路浩知识产权代理有限公司 11002 | 代理人: | 王莹 |
地址: | 100084 北京市海*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明提供了一种无线传感器代码检测的方法,包括:在待测代码中插入初始化检测代码,构成初始化后的代码;将所述初始化后的代码通过编译链生成一个虚拟可执行文件;用模拟器载入所述虚拟可执行文件和虚拟网络配置文件,生成虚拟状态空间;在所述虚拟状态空间中用随机行走算法进行代码检测,如果出现错误,输出错误信息。本发明通过对虚拟网络配置文件的修改,可以使虚拟网络环境与实际网络环境更加接近,能够检测出实际网络环境下可能出现的错误,能够大大增加检测出的由于实际网络环境与测试网络环境的不同而隐藏的错误的数量。 | ||
搜索关键词: | 一种 无线 传感器 代码 检测 方法 | ||
【主权项】:
一种无线传感器代码检测的方法,其特征在于,包括:在待测代码中插入初始化检测代码,构成初始化后的代码;将所述初始化后的代码通过编译链生成一个虚拟可执行文件;用模拟器载入所述虚拟可执行文件和虚拟网络配置文件,生成虚拟状态空间;在所述虚拟状态空间中用随机行走算法进行代码检测,如果出现错误,输出错误信息。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于清华大学,未经清华大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201310317348.9/,转载请声明来源钻瓜专利网。
- 上一篇:一种澡盆
- 下一篇:检测Linux系统中多任务冲突的方法与装置