《表3 实例3节点内运行任务》
利用T2PAD可以准确地检测到该故障导致的异常.节点内所有运行的任务如表3所示.T2PAD检测到任务0x0007现异常:在正常状态下任务0x0007到任务0x0000的一步转移概率为0.035,异常状态下该任务的一步转移概率变为0.411.根据T2PAD给出的异常信息,开发人员可以确定该故障与TinyOS资源仲裁器代码相关.对0x0007任务的进一步分析可以发现:STM25P相关驱动代码没有对STM25P是否正常工作进行检查,进而导致后续异常.
图表编号 | XD0052008600 严禁用于非法目的 |
---|---|
绘制时间 | 2019.06.01 |
作者 | 马峻岩、张特、王瑾 |
绘制单位 | 长安大学信息工程学院、长安大学信息工程学院、长安大学信息工程学院 |
更多格式 | 高清、无水印(增值服务) |