[00287383]一种传感器网软件可达性验证方法
交易价格:
面议
类型:
发明专利
技术成熟度:
正在研发
专利所属地:中国
专利号:CN201410179197.X
交易方式:
完全转让
许可转让
技术入股
联系人:
南京邮电大学
所在地:江苏南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明提出一种传感器网软件可达性验证方法,该方法首先将无线传感网软件用模型表示,该模型用来描述节点以及节点之间的状态迁移,然后用粒子群算法对所得的软件模型进行优化,在具体实施总可以时序逻辑公式来表示无线传感网软件所需要满足的属性或性质,将对无线传感网软件的验证转化为验证软件模型是否满足公式来判断系统性质。本发明方法通过对可达性验证路径的优化,能够有效地对传感器网软件进行可达性验证,并保持具有较强的灵活性。