CFCIB:基于插入块的控制流错误检测方法

为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法——CFCIB方法。该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测。实验结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%。

苏州市水上交通应急管理系统建设研究

为应对水上交通快速发展过程中应急管理方面出现的各类问题,根据水上突发事件的特点与应急响应流程,分析苏州市水上交通应急管理系统建设存在的问题和其现实需求。在此基础上设计水上应急管理系统的主要功能模块,并提出系统总体架构,以全面提升苏州市水上突发事件应急处置水平,保障水上交通安全,为各地建设水上交通应急管理系统提供经验借鉴。