基于踪迹挖掘的自动缺陷警报分类方法

缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.     

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

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

Java中空指针引用故障的静态检测方法

空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形式化描述此类故障模型,然后根据故障状态机的创建条件及待检测代码的语义信息确定是否创建该类型的状态机,并将创建的状态机实例置于控制流图入口节点,根据数据流分析的结果对故障状态进行迭代以检测空指针引用问题。该方法已在缺陷检测系统(defect testing system,DTS)中应用,对Robocode等工程的检测结果证明本文方法可以有效地检测出空指针引用问题。     

外墙外保温粘苯板的利与弊

本文针对聚苯板薄抹灰外保温系统的自身优越性以及在施工和使用过程中存在的缺陷,做出简要分析并根据实践经验提出建议。     

浅谈大体积混凝土基础施工

本文从大体积混凝土裂缝的产生原因及危害、大体积混凝土对原材料的要求、大体积混凝土的施工措施这三个方面进行论述。     

可编程控制器在皂洗机上的应用

介绍可编程控制器在印染厂皂洗机电气控制中的应用，包括硬件结构、软件设计和程序梯形图等。     

机械加工业条形码数据采集系统的网络构建

利用现场总线CAN BUS实现机械加工生产车间的数据采集与通信.将具有CAN总线通信功能的条形码数据采集器组网并进行数据的传输,实现了企业管理层与现场层的数据信息共享,从而实现企业信息化管理系统中生产现场的数据采集与通信,延伸了企业信息化的数据采集范围.     

基于源代码的内存泄漏静态分析方法

在很多大型C、C++程序中,内存泄漏是一种十分常见的问题.内存泄漏是很难识别的,因为它唯一的特征就是内存消耗的增长.对内存泄漏产生的原因进行了分析,并且提出了一种基于可执行源码的静态分析方法.对可执行源码进行预处理,生成抽象语法树和控制流图,并且计算出所有可达路径,然后在每条可达路径上进行内存泄漏故障的检测和分析.此方法已在缺陷检测系统(DTS)中进行验证,通过对大量GCC开源工程的测试,证实本方法有效的检测出内存泄漏的故障.     

基于RF无线射频的机械加工条形码数据采集系统

提出一种基于RF的机械加工条形码数据采集系统.介绍了系统解决方案及软硬件实现方法.该系统将具有RF无线射频通信功能的条形码数据采集器组网进行数据的传输,解决了人工填单将生产现场的数据信息上报管理系统的实际问题,实现了生产现场条形码数据采集与无线通信.     

交流电机变频调速在布铗丝光机上的应用

将交流电机变频调速技术应用于印染厂布铗丝光机同步传动系统中，主要介绍系统原理、同步方案、张力传感器和稳定性分析等。实际运行情况表明，这项高新技术可以推广应用到印染厂中的任何机台上。