WSN程序中线程访问共享资源出错的检测方法及工具

摘要

本发明公开了一种WSN程序中线程访问共享资源出错的检测方法、工具、介质和设备，方法包括：定义共享信道的错误模式和共享变量的错误模式，共享变量的错误模式包括第一种错误模式和第二种错误模式；在WSN模拟器中动态的运行WSN被测程序，针对WSN被测程序运行行为进行监测；包括：监测被测程序的数据包发送情况，根据数据包发送情况判定被测程序是否存在共享信道的错误模式；监测被测程序中各共享变量的访问情况，判定共享变量的读写序列是否属于第一种错误模式或第二种错误模式；本发明可以有效监测WSN程序中的共享信道的错误模式和共享变量的错误模式。