基于k近邻最弱前置条件的程序多路径验证方法

程序多路径验证方法是对软件性质进行发掘的重要方法之一,现有的验证方法主要通过求解路径条件或者自动构造不同的输入来触发生成不同的路径,从而分析程序中潜在的安全问题,但存在对路径条件不加选择地进行多路径扩展而生成缺乏针对性的路径的问题,另外由于路径条件过长而难以求解也限制了它的使用范围.该文提出基于k近邻最弱前置条件的程序多路径验证方法,该方法通过后向符号分析对程序调用图的构建过程进行改进,同时对指定的程序检测点生成最弱前置条件,并以该最弱前置条件为引导信息使用符号执行的方法在保证检测点可达的前提下有针对性地生成对程序性质进行验证的精简路径集合.实验结果表明,该方法可以提高程序验证的精度和准确性,并减少误报.

相位光时域反射仪中声信号测量范围的提升

本文提出一种基于辅助光的相位展开的新方法,用来打破传统相位解缠绕算法的限制条件,进而扩大相位信号的测量范围。首先基于相干探测型相位光时域反射仪中缠绕的统计相位,可以求解出参考位置和后续位置之间缠绕的差分相位。然后基于联合脉冲序列按照传统相位解缠绕算法展开缠绕的差分相位,将展开的差分相位求解得到的相位变化曲线叠加在一起。正确实施了传统相位解缠绕算法的光纤位置可以由叠加的相位变化曲线的线性特征获取,因而,基于相位变化的线性特征可以正确地获取扰动源所对应的相位信号。在实验中,一个相邻采样点之间最大绝对相位差值为3.7154的相位信号能够被完美地重构出来。