常用的基于数据流的测试充分性准则

软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码还有多少代码未测到。     

提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

海量信息异常检测问题的异常概率排序算法

针对异常检测算法速度慢、精度低、稳定性差等问题,提出了一种通过异常概率排序提取异常点的算法(OAP).由于异常点相对正常点更容易通过对数据空间的均匀分割而孤立出来,所以OAP通过数据点在均匀N叉分割树中的孤立深度估算异常概率的大小,从而得到异常概率的排序,最终构造由k个异常概率最大的点组成的列表,列表中的数据就是所求的...     

基于DS理论的不确定空间co-location模式挖掘

 提出一种基于DS理论的co-location挖掘方法.先将数据集按照空间对象分类,然后从分类后的子数据集中依次提取该空间对象的实例,与其他空间对象数据集中的各个实例进行配对,将找到的各实例关系记录到一个新的关系表中,作为使用DS理论求解的基础.从一个新的角度来研究co-location挖掘技术,在DS理论的基础上重新定义了参与度,基于新定义的参与度来求解co-location模式.     

基于图像的AC20型混合料集料接触分布变异性

为量化集料之间的接触关系,提出了一种基于数字图像的沥青混合料集料接触分析方法,以AC20型沥青混合料为例,对72个车辙板试件切片图像进行处理,得到每个切片上集料接触数量及集料特征;通过统计分析,得到AC20型沥青混合料接触对总体分布规律,各档集料的接触对分布规律及单颗集料接触数分布规律;并分析了大于2.36 mm集料含量C>2.36,集料级配的细度指数FI和离析指数SI对样本接触对数量变异性的影响规律及这三个指标的内在联系.通过对AC20型沥青混合料接触状况的量化分析,可将接触特征作为混合料级配设计的参考因素,指导级配设计.     

基于直方图对二值图像无损数据隐藏算法的改进

提出一种改进基于游程编码和直方图对二值无损数据隐藏算法的新方法.先对载体二值图像进行"与"操作或"异或"操作的预处理,再利用基于游程编码的直方图对的二值图像无损数据隐藏方法进行数据嵌入.实验表明,该方法在嵌入容量和视觉效果都优于改进前的方法.     

基于监测数据的桥梁结构可靠性评估

桥梁结构健康监测系统能有效监测影响桥梁结构的各种作用及其在结构上产生的效应,可为准确评估桥梁结构的各种性能提供信息.影响桥梁结构性能的因素具有随机性,基于概率的方法是处理随机性的有效工具.研究了结构健康监测与可靠性评估相结合的桥梁结构性能评估方法.分析了纵向应变监测信号的特点,提出一种新的监测信息处理方法.结合工程实例,验证了该方法的可行性,并对可靠性评估结果进行分析.     

无线传感网络中空间失效模式下的数据存储恢复算法

针对空间失效模式下的数据存储和恢复问题,设计了一种基于数据复制的存储和恢复算法.该算法为每个数据节点分配一个冗余节点,在数据节点失效时可以利用冗余节点中的数据来成功恢复数据,并且使整个过程消耗的代价最小.理论分析和仿真实验表明,同Greedy算法相比,在保证成功恢复的同时,该方法显著降低了网络的整体能耗,从而有效延长了网络的生存周期.     

基于双目视觉的水泥混凝土路面错台检测方法

针对水泥混凝土路面错台测量手段的不足,提出了一种基于双目视觉的错台测量方法.该方法根据双目摄像机的成像特点和水泥混凝土路面的图像特征,对接缝位置进行定位和错台计算.定位分为2个主要步骤,一是基于灰度投影的粗定位,二是在粗定位的基础上提取接缝附近图像,利用灰度投影和边缘投影精定位.由双目视觉测量系统计算相邻2块水泥板在错台附近点的三维坐标,利用这些坐标计算错台量,其中关键环节是在双目图像匹配时提出了一种基于匹配点位置估计的匹配算法.试验表明,与直尺测量结果吻合.     

全球月平均蒸发数据在流域径流模拟中的适用性

利用分布式水文模型CREST对淮河史灌河流域梅山水库1978-1987年的入库径流过程进行了参数自动率定和验证,对比分析了实测蒸发数据与全球月平均蒸发数据对径流模拟结果的影响程度,同时进行了蒸发影响效果的误差对比实验.结果表明,采用全球月平均蒸发数据来驱动模型,替代模型运行中所需的实测蒸发数据,具有较好的模拟效果,同时...