【摘 要】
:
生成测试用例是软件测试的必要前提,路径覆盖测试用例自动生成(ATCG-PC)作为一种智能化软件测试技术,是提高软件测试效率的有效途径。此外,ATCG-PC可视为一个大规模黑盒优化问题,其高效求解算法研究对于软件工程与优化算法领域均有重要的研究意义。本文将针对测试用例生成面向分支覆盖或更低覆盖标准、测试用例生成效率低、求解速度慢、缺乏可解释性、需要人工辅助这些痛点逐一展开研究。研究从路径覆盖测试用例
论文部分内容阅读
生成测试用例是软件测试的必要前提,路径覆盖测试用例自动生成(ATCG-PC)作为一种智能化软件测试技术,是提高软件测试效率的有效途径。此外,ATCG-PC可视为一个大规模黑盒优化问题,其高效求解算法研究对于软件工程与优化算法领域均有重要的研究意义。本文将针对测试用例生成面向分支覆盖或更低覆盖标准、测试用例生成效率低、求解速度慢、缺乏可解释性、需要人工辅助这些痛点逐一展开研究。研究从路径覆盖测试用例生成问题优化建模展开,将测试用例生成从简单的分支覆盖推广到更难的路径覆盖;根据多种软件应用场景抽象出三类典型的路径覆盖测试用例生成问题模型,并在此基础上设计三种搜索算子提升算法求解效率,检测实际应用的缺陷;以时空置换等算法设计原理为基础,研究单元测试用例自动生成问题的通用求解方法,提升算法的可解释性;研究单元测试用例自动生成技术在实际工程代码上的应用。与现有的研究思路不同,本文将测试用例编码空间进行划分,通过找到与优化目标对应的有效决策子集(即远小于整个测试用例编码空间且包含优化目标最优解的子空间),并动态分配全局空间与有效决策子集的搜索算力,来极小化测试用例生成的计算代价。本文的主要研究内容包括:1)研究路径覆盖测试用例生成问题的首要工作是建立问题的优化模型。因此,本文首先将研究如何建立路径覆盖测试用例生成问题的优化模型,该研究将测试用例生成技术推广到更加复杂的路径覆盖。研究将基于模型揭示的启发式信息设计自适应评估函数,实现路径覆盖测试用例的半自动生成。2)测试用例与路径间多对一的黑盒特征是路径覆盖测试用例生成问题求解困难的主要原因,如何挖掘测试用例-路径间的关联关系、避免算法的重复开销是本文重点研究的科学问题。为此,本文针对雾计算、自然语言处理、区块链智能合约等应用场景抽象出三类典型的路径覆盖测试用例生成问题模型,并设计了测试用例-路径关系矩阵搜索算子、动态多点搜索策略与重入性漏洞检测方法。提出的求解策略能够显著提升现有优化算法的测试用例生成效率,加快算法求解速度,最终辅助程序漏洞检测。3)基于上述两项研究内容,本文将进一步研究路径覆盖测试用例生成问题的通用求解方法,以提升路径覆盖测试用例生成问题这类大规模黑盒优化问题的求解速度。受到流形分布假设的启发,本文定义了有效决策子集等相关概念,并提出了求解路径覆盖测试用例生成问题的流形启发式算法:通过快速找到优化目标的有效决策子集,动态分配搜索找到的子空间与剩余空间的算力,实现路径覆盖测试用例的高效生成。该方法能够在确保算法效率的前提下,使得算法同时拥有较强的可解释性。实验结果说明流形启发式算法拥有显著优于其他前沿算法的性能。4)如何实现无需人工参与分析的自动单元测试框架是本文的一项重要研究内容。为此,本文设计了单元程序自动分析与路径覆盖测试用例生成的应用框架。通过对插桩后的字节码进行分析,获取被测单元程序的流程图与分支结点等信息,自动生成评估函数,并在此基础上搜索生成路径覆盖测试用例,极大地提升了路径覆盖测试用例生成的自动化程度。
其他文献
随着无线通信技术的迅猛发展,移动通信系统对网络容量和传输速率的要求日益严苛。作为现代通信系统不可或缺的组件,多输入多输出(MIMO)天线技术的不断革新为缓解这一难题做出巨大贡献。然而在MIMO技术不断发展的同时,各应用场景对其提出的限制和要求也越来越多。其中,最紧要的是天线数量的倍增以及预留给天线排布空间减小之间的矛盾。多个天线单元排列在有限的空间内,很容易产生强烈的互耦效应,这样天线表面原有的电
3D打印作为一种数字化的三维几何对象制造及复制的新技术,在个性化及功能化制造应用中越发普及。根据产品定制需求不同,3D打印可分为功能性3D打印与彩色3D打印,且前者因与国家战略匹配紧密而受到大众的关注多。近年来,彩色3D打印在民生应用中日益增长,特别是在文化创意、科普教育、服饰艺术、品牌3D营销及餐饮食品等亟需颜色精确再现的细分领域崭露头角。然而受制于颜色再现精度挑战,当前这些彩色3D打印应用在全
有机发光二极管(OLEDs)可应用于平板显示、汽车尾灯、照明以及医疗健康等诸多场景中。钙钛矿太阳能电池(PSCs)则由于活性层的光学吸收系数大、吸收光谱范围宽、易于制备等优点,近年来受到人们的关注。有机空穴注入/传输材料(HI/HT materials)广泛应用于OLEDs和PSCs等光电器件中。作为阳极界面层,HI/HT materials的基本作用是促进空穴从阳极注入并传输到OLED器件的发光
目前,锂离子电池和锌离子电池均已成为有效的能量存储和转换装置。其中,电极材料的研发是推动电池技术快速发展的重要动力。因此,本论文重点研究了锂离子和锌离子存储体系中层状结构电极材料的制备及其电化学性能,主要包括钼基材料、钒基材料以及碳基材料。具体研究内容包括如下四部分:第一,我们采用溶胶-凝胶法成功制备了NaVMoO6锂离子电池正极材料,并首次对其电化学性能进行了研究。得益于Na VMo O6材料稳
高尿酸血症,是一种嘌呤代谢紊乱引起的代谢性疾病,与高血压、高血脂和糖尿病等代谢综合征的发生和发展密切相关,已成为威胁人类健康的重要疾病之一。目前针对降尿酸的药物大多具有毒副作用,且体外筛选降尿酸活性物质效率低或评价活性与机体差异大等问题。食源性功能因子具有天然活性,且副作用小等优点日渐显现。本文以食源性肽、黄酮降尿酸为导向,基于稳定分化的三维类器官体系,构建新型高尿酸类器官模型,高效筛选与评价降尿
随着柔性电子器件在智能化和便携化领域的快速发展,可持续和高性能的电源的开发和利用成为了研究的热点。传统的化学电池使用寿命短,需频繁充电或者更换电池才能维持电子产品的正常运转。同时其含有锂、钴和有毒电解液等物质废弃后会造成严重的环境污染问题。作为一种新型的能量收集装置,纳米发电机具有柔韧性、便携化和小型化等优点,能够将周围环境中的机械能转换为电能,成为实现便携式自供能电子设备的理想手段之一。但是纳米
建筑历史与理论学科是中国建筑学不可或缺的组成部分,在传承中国建筑文化、保护城市与建筑遗产、推动现代建筑设计方面发挥了重要作用。华南理工大学的前身广东省立工业专科学校是中国最早开办建筑历史与理论教育的学府之一。华南理工大学有着悠久的办学历史,形成了鲜明的学科特色,日益构建起结构清晰、逻辑严密的建筑历史与理论学科体系,确立了多个特色方向,取得了丰富的理论成果。改革开放政策的实施、城市化的迅猛发展和信息
含硫、硒高分子作为新一代功能高分子材料,因在自修复、贵金属回收、高折光指数材料、光电材料和癌症诊疗等领域具有广泛应用而备受关注;但因合成方法及原料有限,限制了含硫、硒高分子在材料科学中的发展与应用。近年来,多组分聚合因具有操作简单、反应高效、原子经济、产物结构多样等优势而备受高分子化学家的关注;而硫族单质(单质硫、单质硒)作为合成含硫、硒聚合物直接、简单、安全的单体来源,是高分子化学家们合成含硫、
含油废水是主要的水污染物之一,其油水分离具有重要意义。由于废水中的乳化油粒径较小(2O3微粉为原料,玉米粉为造孔剂,在1550℃烧成后制备了成本低、力学性能及耐腐蚀性能优异的多孔氧化铝-莫来石支撑体。研究结果表明,Al2O3/SiO2比的增加有利于莫来石的形成,形成的柱状莫来石富铝且属于正交晶型。提高烧成温度有利于增加支撑体中莫来石的含量,但也会降低其孔隙率。随着Al2O3/SiO2比和玉米粉添加
缺血性心脏病是世界范围内最重要的致死病因之一。心肌缺血的早期检测是实现及时有效的治疗,减少甚至避免持续性心肌缺血导致的心肌梗死,挽救生命的关键因素。心电图虽然是目前诊断心肌缺血最简单、使用最广泛的临床手段,但临床中许多心肌缺血患者的心电图仍表现正常或大致正常。基于心电图的心肌缺血早期准确检测仍是心血管病领域重要且困难的问题。心电动力学图(Cardiodynamicsgram,CDG)是我们近年来提