[00005603]一种传感器网软件可达性验证方法
技术详细介绍
本发明提出一种传感器网软件可达性验证方法，该方法首先将无线传感网软件用模型表示，该模型用来描述节点以及节点之间的状态迁移，然后用粒子群算法对所得的软件模型进行优化，在具体实施总可以时序逻辑公式来表示无线传感网软件所需要满足的属性或性质，将对无线传感网软件的验证转化为验证软件模型是否满足公式来判断系统性质。本发明方法通过对可达性验证路径的优化，能够有效地对传感器网软件进行可达性验证，并保持具有较强的灵活性。
