面向二进制程序的导向性模糊测试方法

为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题，提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍样本文件深入程序内部的比较指令；随后对目标文件进行插桩来获取比较指令中操作数的具体值，并根据该具体值为比较指令建立实时的比较进度信息，通过比较进度衡量样本的重要程度；然后基于模糊测试过程中实时的路径覆盖信息为经过稀有路径的样本增加其被挑选进行变异的概率；最后根据比较进度信息并结合启发式策略有针对性地对样本文件进行变异，通过变异引导提高模糊测试中生成能够绕过程序规约检查的有效样本的效率。实验结果表明，所提方法发现crash及发现新路径的能力均优于模糊测试工具AFL-Dyninst。     

基于Celery和Django的分布式自动化测试系统设计

为了实现快速高效使用计算集群解决大量测试用例管理和执行的问题,文中提出了一种基于Celery和Django的分布式自动化测试系统。该系统提出了由API服务器层、用例管理层、任务调度层和任务执行层组成四层架构,详细描述了每层的功能和具体实现。该系统实现了用例的管理、分布式执行、失败重试等功能。该系统能够快速部署和配置测试执行节点,实现了充分利用计算集群资源、提高测试效率的目的。     

机器人精密减速器单工位测试流程优化方法

为提高精密减速器性能测试效率,提出一种单工位测试流程优化方法。基于测试项目序列描述定义,构建测试流程网络,将流程转化为起点与终点固定的最短路径的旅行商问题(travelling salesman problem, TSP)模型进行优化求解,通过最优解改进找到最优测试路径。该方法能够通过测试项目的序列描述,发掘出不同项目之间优化合并空间,最优解改进克服一般TSP模型仅对相邻项目间优化的问题。应用结果表明,该方法对精密减速器动态测试项目进行优化,可以缩短16.17%测试时间。     

应用XCF、KYF与GF型浮选机组于铝土矿生产研究

针对位于河南某铝土矿,采用充气式KYF、XCF浮选机与自吸气GF浮选机水平成套配置技术,成功进行了铝土矿的正浮选。对生产实践中的联合机组进行了浮选动力学,浮选机的矿浆悬浮特性,逐槽选别特性与泡沫流动速度测试等方面的研究,结果表明空气分散度良好,矿粒悬浮能力好,泡沫流动速度达2.3m/min。现场浮选精矿Al2O3品位62.86%,回收率75%,铝硅比10.43,有效实现了一水硬铝石的资源回收。     

基于数据挖掘技术的半导体测试管理系统的研究与设计

以笔者与无锡某电子企业共同参与测试项目的半导体良率测试管理系统为平台,研究数据挖掘技术中关联规则的Apriori算法。结合半导体领域知识,追踪制造过程中已发生问题的解决方式,将数据挖掘的方法与步骤进行大量资料筛选、推演与模式建构等过程,并协助工程人员处理问题,尽可能减少在庞大的资料中挖掘的难度,快速挖掘隐含的信息,找到与问题相关的关联信息,确保问题能在较短的时间内解决,防止产品损失扩大。