基于控制流精化的反汇编方法

反汇编过程是整个逆向工程的基础和重要部分。为提高反汇编过程的效率及反汇编结果的准确度,通过对传统反汇编方法的探究,提出了一种基于控制流图精化的静态反汇编方法。该方法把二进制代码通过函数定位切分成单个函数,然后再对单个函数生成初始的过程内控制流图,使用图论的方法与汇编指令的特征匹配相结合,提炼出真实的控制流图。使用CoreUtils中的22个程序作为测试基准,使用2种线性扫描算法作为比较基准。实验结果表明:本文所提出的反汇编方法比Objdump快63.2%,并且可以高度精确地绘制出控制流图,因此具有准确度高、效率高的显著特性。     

WS-CDL测试路径的生成与排序

为了找出WS-CDL组合流程中存在的错误,减少软件维护产生的开销,提出一种基于控制流图生成测试路径的方法,用于对WS-CDL进行测试.首先解析WS-CDL文档,根据元素特点生成各类节点,并根据流程结构确定节点的源节点和目标节点;然后通过在源节点和目标节点间添加有向边构造成控制流囹;最后通过遍历控制流图生成所有可能的测试路径.测试路径中覆盖的WS-CDL元素越多,则发现的错误数也可能越多.为提高发现错误的效率,提出了2种基于路径中元素数量的排序算法,对路径的执行顺序进行排序.实验结果表明,将测试路径按路径中未被覆盖的元素总数降序排列,可以更快地发现错误.     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

一种基于综合目标函数的神经网络学习算法

为提高多层前向神经网络的学习速度和算法的稳定性,提出一种基于综合目标函数的改进学习算法.该算法在误差平方和目标函数中引入一个辅助约束项构成综合目标函数,并利用综合目标函数训练网络的输出层权值,采用牛顿法推导出训练输出层权值的递推公式.辅助约束项隐含有对网络输出平滑性的约束,提高了学习算法的稳定性.利用该算法对不同非线性函数生成的样本数据的学习结果表明,新算法的收敛速度、精度均优于Karayiannis等人的二阶学习算法.     

一种改进的用于阵列综合的遗传算法目标函数

现有天线方向图综合方法难以在多零陷生成的同时对旁瓣进一步抑制,提出一种基于动态权的目标函数模型.经过对目标函数适应度的测试,证明该函数模型具有良好的收敛特性.实验证实,在10元阵列的归一化方向图综合中,该模型可使旁瓣降低3~4 dB.     

基于改进GN算法的程序控制流图划分方法

针对控制流图规模过大导致的程序分析准确度和效率不够理想的问题,该文提出了一种用于控制流图划分的改进GN(Girvan-Newman)算法,在边介数计算中加入点权值作为参数,使划分所得各子图的规模更加平衡;通过动态控制子图的规模,在合适的时机提前终止算法执行,提高执行效率。利用angr工具对二进制程序进行分析所得到的控制流图,分别采用改进GN算法、K-means算法、谱聚类算法和朴素凝聚算法进行实验,比较不同算法对控制流图划分结果中的模块度以及均衡性等指标,证明改进GN算法具有最佳的划分结果和执行效率。     

基于二进制熵的加解密函数定位方法

针对二进制程序模糊测试中加解密函数定位准确率低的问题,提出一种基于二进制熵的加解密函数定位方法.该方法对二进制程序的控制流信息进行模型构建以定位程序关键代码,提取关键代码前后的数据流并计算其二进制熵,通过前后二进制熵的关系确定被测代码中是否存在加解密函数.实验结果表明,该方法能够有效发现程序中的加解密函数,准确率大于99%;该方法可以用于提高模糊测试发现漏洞的能力,具有一定的实用价值.      

控制流污点信息导向的符号执行技术研究

以快速生成能够覆盖可能存在缺陷程序点的测试用例为目标,结合基于生成的Fuzzing技术、静态程序控制流分析、静态污点分析等手段,提出一种导向式动态符号计算方法.通过Fuzzing生成能够到达包含缺陷程序点的函数的测试用例,作为种子输入驱动符号执行快速到达缺陷函数;在缺陷函数内利用静态控制流分析、静态污点分析计算出控制流污点可达程序切片,基于该切片进行朝向缺陷点的多路径动态符号执行.实验验证了方法能够有效减轻符号执行应用中广泛存在的路径爆炸问题,并且能生成触发目标缺陷的测试用例.     

用母函数求解图的生成树问题

如何精确求解出图的全部生成树,是图论研究的重要课题之一.引入组合数学的母函数原理,结合图论相关理论,提出了一种求图的全部生成树的新方法,该方法易于在计算机上实现,能精确求解连通图的生成树数目及其全部生成树,快速找出带权图的最小生成树,并给出了严密证明.     

车削颤振稳定性预测软件研究与开发

针对金属加工过程中颤振预测软件实现的工程需求,设计了车削加工颤振稳定性叶瓣图实验测试软硬件系统,研究了软件实现算法中的关键问题.首先,搭建了由采集卡、加速度传感器、模态力锤组成的硬件系统,开发了具有频响函数测试和稳定性叶瓣图生成功能的系统软件.其次,设计了交互式软件采集及分析界面,研究了基于C#编程语言频响函数测试过程中多通道高速同步触发采集的实现算法,开发了具有由频域分析方法获得颤振稳定性叶瓣图功能的C#类.最后,对CJ0625车床加工系统进行稳定性预测,结果表明软件预测结果与实验结果相吻合.     

一种基于UML和CP-net集成描述的面向对象软件的交互测试方法

面向对象技术在软件工程中的推广使用，使得传统的测试技术和方法受到了极大的冲击．对面向对象技术所引入的消息传递、数据抽象、封装、继承、多态等新特点，传统的测试技术已经无法有效的进行测试．对面向对象软件的测试，测试策略或方法都需要出现相应的变革或更新．本文给出一种基于UML和CP-net集成描述的面向对象软件的类集成测试方法，重点在于测试不同的类方法之间的交互行为．这种方法首先用UML和CP-net集成描述用户需求，然后基于这个描述模型，按照基本路径覆盖的标准自动产生测试例．     

基于虚拟仪器的电路板自动测试系统软件设计

介绍了某型声纳装备的电路板自动测试系统的结构和功能,给出了测试系统主控软件和测试子程序的设计与开发方法.主控软件采用模块化的设计思路,融合了作为自动测试系统所具备的各个功能模块;基于被测电路板的功能需要,编写不同的测试子程序,实现了对硬件的设置和对数据分析处理.     

面向对象软件中基于服务的类测试

面向对象软件测试是面向对象软件开发的不可缺少的一环 ,是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键 ,基于服务的类测试是面向对象软件测试中的重要内容。本文探讨了一种类的服务的测试模型及相应的测试策略。针对Kung等人提出的块分支图 (BlockBranchDiagram) ,探讨了对服务进行结构测试和功能测试的方法 ,提出了类的服务的测试模型。     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

测试用例自动生成中约束求解策略的选择

在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.     

换热器性能参数实验台自动测试系统的改进

为了满足换热器性能参数实验教学的需要,结合GB／T27698-2011《热交换器及传热元件性能测试方法》对实验台架原有测试系统进行了改进,利用压力、流量、温度等传感器替换了传统仪表。传感器采集到的模拟信号通过ADC0809芯片进行A／D转换,并利用RS232通讯输入系统软件部分,实现了数据的采集、分析和显示。除了信号采集、数据传输工作外,80C196KB单片机作为硬件电路的中央处理器,还利用其HSO．0-HSO．4输出口完成控制信号的输出。利用Labwindows／CVI平台开发了测试系统的软件部分,提高了换热器性能参数实验的精度和自动化程度。     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

基于NHibernate的测试用例管理系统的设计与实现

软件测试是软件质量控制的实现环节。把软件测试有效地组织进入软件的生产流程,是软件质量控制规划的主要内容。本文通过对当前常用的软件测试用例管理工具的分析,并结合国内软件测试机构的实际需求,提出了一个简单易用的轻量级的软件测试管理工具。整个系统采用.net平台智能客户端模型,使用NHibernate作为ORM框架,由项目管理、测试用例管理、缺陷管理、查询统计与测试报告五个功能模块构成。     

模糊关系在软件系统测试中的应用

基于黑盒技术在分布式软件系统测试中的应用,提出了系统位态和预期位态的概念．在执行系统测试时,测试用例对系统位态具有控制作用,系统位态与相应的预期位态则表现出模糊性,运用模糊蕴涵逻辑进行研究得到了如下结果：测试用例对预期位态的作用关系是模糊控制关系,其控制程度取决于软件的质量;基于这种模糊控制关系和模糊推理规则,得到了被测软件通过测试的标准值,使测试通过的判定得以量化;文中还得出了量化的系统测试通过准则,并将其应用于自动化测试工具的改进,有效地提高了测试效率。降低了测试成本．