基于模糊偏序关系的软件测试评价方法

讨论了模糊理论在软件测试质量评价方面的可行性;提出了软件测试质量评价指标体系的概念和软件测试质量评价方法,即基于模糊偏序关系的评价方法;对该方法的优缺点及适用条件进行了分析;通过实例计算验证了该方法在评价软件测试质量方面的有效性。     

基于关键点的混合式漏洞挖掘测试用例同步方法

混合式漏洞挖掘利用模糊测试和符号执行相互协作以达到优势互补的目标,测试用例的同步是相互协作的关键。然而,现有混合式漏洞挖掘技术方案中,测试用例同步是主要以交换和整合的方式实现,较为单一,忽略了程序状态探索时的运行时信息,对符号执行的执行过程没有充分利用。针对上述问题,本文提出了一种基于程序关键点的测试用例同步方法,旨在分析挖掘符号执行的执行过程,定位与识别代码覆盖率导向的程序关键点,进而指导模糊测试的测试用例调度与变异过程, 实现更细粒度的测试用例同步。首先,该方法在符号执行过程中识别模糊测试模块难以触及的分支对应的变量集合,并将其提取为程序的关键点。其次,为了充分利用符号求解的结果,该方法将单次求解得到的关键点信息进行进一步组合匹配,以帮助符号执行模块额外生成更多能够被模糊测试模块导入的测试用例。最后,在模糊测试模块中,该方法在种子挑选步骤中优先选择包含关键点信息的测试用例去引导测试过程探索程序的特定区域,并在测试用例变异中着重对关键点位置进行变异以引导其产生能覆盖新代码分支的测试用例。基于混合式漏洞挖掘工具QSYM,本文实现了一个原型系统Sol-QSYM,并选取了12个真实程序进行了实验评估。实验结果表明Sol-QSYM可以提升12.73%的测试用例成功导入率,相较于QSYM提升9.07%的代码覆盖率,并能够发现更多的程序crash。这些结果表明改进后的测试用例同步方法可以很好地提高混合式漏洞挖掘对符号执行中程序状态探索结果的利用率。     

基于正交拉丁方的测试用例产生方法

用最少的测试用例来获取最大的测试效率是软件测试研究的重点之一。本文介绍了结合正交拉丁方的知识与传统软件测试技术来产生测试用例的方法，该方法通过每对参数的取值都至少覆盖一次来提高测试用例的覆盖率，最后通过一个应用实例来说明其可用性。     

基于关键因素分析的测试用例设计方法研究

针对软件测试人员在设计黑盒测试用例时面临完备性和提高测试效率的问题,给出了一种基于关键因素分析的测试用例设计方法,提高了黑盒测试用例的设计质量,以尽可能少的测试用例满足了覆盖要求,提高了测试效率。     

基于XML的测试用例复用

在研究测试用例复用和XML语言的基础上,提出了一种基于XML的测试用例复用方法.采用XML描述可复用的测试用例,然后在此基础上对测试用例在库中进行查找并复用,从而使软件测试的效率得以大幅提高.     

基于LTL的UML状态图测试用例生成方法

测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻辑的模型检测技术,验证有限状态机模型的正确性,实验结果表明,该方法能够在不降低迁移覆盖准则的情况下,生成数量少、针对性强的测试用例集。     

SIMD扩展部件数据依赖关系约束条件研究

SIMD短向量扩展指令是实现细粒度数据级并行的一条重要途径,自动SIMD并行化是利用SIMD扩展指令最简单直接的方法,但现有编译器无法充分挖掘程序中的SIMD并行成分.文章在深入研究SIMD扩展部件执行方式基础上,提出SIMD短向量数据依赖关系约束条件,并实现了一种基于Tarjan算法的SIMD并行判定框架,提高了SIMD并行性识别率.实际程序测试结果显示,在面向复杂依赖关系的SIMD并行性判定方面优于ICC v11.0编译器.     

数据依赖关系的属性关系图表示

讨论了并行程序分析中重要因素之一的数据依赖关系的可视化策略及其交互原则，提出了一种基于属性关系图的依赖关系表示方法，并给出了对具有关系特性的数据进行可视化时的逻辑描述和几何描述。     

基于遗传算法与LightGBM 融合的测试用例生成方法

随着互联网技术不断发展, 各类商务软件功能需求不断增加, 且其复杂性逐渐提高, 软件的可靠性与安全性受到了越来越多的关注, 软件测试是软件质量保障的关键技术。由于现代商务软件产品具有需求变化频繁、版本迭 代过快等特点, 为其手工编写测试用例会耗费大量人力成本, 尤其敏捷开发过程中, 回归测试等需要产生大量重复用例。采用机器学习技术, 基于遗传算法和LightGBM 模型, 提出了一个测试用例自动生成模型, 创新贡献表现在: ① 将测试步骤抽象为有向图模型, 简化测试用例数据; ② 采用遗传算法求解有向图可达路径, 替代人工生成测试路径; ③ 采用LightGBM 模型加快遗传算法收敛速度, 实验验证了所提出方法的有效性, 满足测试覆盖准则。该模型 可减少测试人员工作, 加快测试速度, 对提升项目质量、加快项目进度具有重要意义。     

任务间依赖关系的分类及形式化表达

协调作为一个重要的概念广泛地出现在多个学科和社会经济领域，成为广大学者共同关注的一个研究课题。目前对于协调问题中依赖关系及协调策略的研究，多是做定性的表述，给出的一般都是非形式化的描述，这样不利于协调问题在计算机上的表述，难以实现协调问题的计算机求解。针对这一问题，利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系进行研究，提出任务之间的依赖关系可以分为两类，基于资源的依赖关系和基于时间的依赖关系，并用Petri Nets对这些依赖关系进行了表述，为协调问题的可计算描述提供了一种新的思考角度。     

TCG软件栈功能模型分析

在研究可信平台结构基础之上对TCG软件栈架构进行分析,详细阐述TCG软件栈各层的功能。分析TSP对外提供的功能接口,对TSP对外提供的主要对象类进行分析并研究功能接口各个对象类之间的关系。通过以上研究能很好地指导编写可信平台应用程序。     

聚乙烯醇水凝胶动态机械性能的温度依赖关系

研究了PVA水凝胶的动态力学性能.结果发现,在50℃以后,其模量随温度上升显著下降,说明物理交联的PVA水凝胶的氢键随温度升高被逐步打开,利用Arrhenius方程推算其活化能约为149.8 kJ/mol.当温度缓慢的下降,其氢键可以部分重建,与温度下降速率有明显的依赖关系.     

函数摘要在Concolic测试方法中的应用

在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行Concolic测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该方法用函数摘要替代展开测试,避免了传统Concolic测试过程对外部调用重复测试的问题,缓解了调用次数增多和调用深度增加引起的路径爆炸问题.原型系统的实验结果表明,随着测试对象中函数数量的增加,传统Concolic测试路径数量可能出现指数型增长,而该方法中测试路径数量基本保持线性增长.     

排水立管噪声的测定和分析

目前,随着PVC-U排水管的推广应用,排水管道噪声也严重影响了人们的日常生活,因此排水管道减噪已势在必行.本文在测试、比较了铸铁管、普通PVC-U管、空壁管、空壁螺旋管及普通PVC-U管与偏心三通、消音三通、多功能地漏的排水噪音的基础上,分析了噪音产生的原因并提出了解决办法.     

关系模型函数依赖分析的对局表——矩阵法

本文给出了一种用作者专门设计的对局表和矩阵进行函数依赖分析的方法,利用这种方法进行函数依赖分析,具有简明、直观和便于实现自动函数依赖分析等特点,对多属性关系模型进行函数依赖分析尤其能显示其优越性。     

基于敏感函数覆盖的恶意代码行为 并行分析技术研究

为提高恶意代码行为分析的效率,增加测试数据的有效性,提出了一种基于目标代码内部敏感行为函数覆盖的并行化恶意代码行为分析方法,运用静态分析进行输入点与敏感行为函数的识别与定位,将符号执行与动态执行分析相结合设计了并行化敏感路径搜索算法及敏感行为函数逼近技术,引导遍历目标代码内部敏感行为函数,进行恶意代码行为的并行化测试与分析。实验表明,与采用随机产生测试用例进行直接测试和使用全路径覆盖进行测试相比,该方法可以更加有效地产生测试数据,提高恶意代码行为的分析速度与效率。     

RFCcertDT:SSL/TLS中证书验证的测试工具

为解决现有工具对安全套接层或传输层安全协议实现中证书验证模块的检测效率低等问题,研发了对证书验证模块进行差异测试的新工具RFCcertDT。首先,RFCcertDT基于因特网工程任务组制定的请求评议进行证书规则的自动提取、更新、分类和表示,基于动态符号执行技术生成证书作为测试用例;然后,使用生成的证书和令牌环式测试实现对单个或多个证书验证模块的差异测试并生成软件错误报告。实验结果表明,RFCcertDT的检测效率优于现有工具。RFCcertDT对证书验证模块实现了高效的检测,有助于加强安全套接层或传输层安全协议的软件安全。     

采用多播依赖树模型推测链路时延分布

网络断层成像(network tomography)技术研究基于端—端测量推测链路级的性能参数,对于评估网络性能十分重要。文章提出多播依赖树模型,并采用上向—下向算法来推测网络链路的时延分布。该方法通过引入树的马氏性减少了估计时的自由参数,仿真实验证明了这种方法的正确性,能精确地推算出网络链路的时延性能。     

采用多播依赖树模型推测链路时延分布

网络断层成像（network tomography）技术研究基于端—端测量推测链路级的性能参数,对于评估网络性能十分重要。文章提出多播依赖树模型,并采用上向—下向算法来推测网络链路的时延分布。该方法通过引入树的马氏性减少了估计时的自由参数,仿真实验证明了这种方法的正确性,能精确地推算出网络链路的时延性能。     

基于USB协议栈和设备驱动的OS抽象层的设计实现(英文)

为克服不同平台中开发USB协议栈和设备驱动带来的资源浪费,降低质量风险,结合特定平台下USB协议栈的研究课题,分析了USB软件系统的体系结构。遵循接口统一,抽象与平台相关部分的思想,提出独立于平台的操作系统抽象层,实现了可移植的USB组件。试验结果表明,在不同的平台下,利用可复用的USB协议栈,将提高开发速度,降低开发成本。