【摘 要】
:
随着信息技术的高速发展和应用领域的扩大,计算机软件的规模和复杂程度也与日俱增,给软件开发和调试技术带来了新的挑战。软件测试是保证软件质量的关键环节,贯穿软件开发的
论文部分内容阅读
随着信息技术的高速发展和应用领域的扩大,计算机软件的规模和复杂程度也与日俱增,给软件开发和调试技术带来了新的挑战。软件测试是保证软件质量的关键环节,贯穿软件开发的生命周期。软件调试和测试用例生成是软件测试的两大重点研究内容。调试是软件测试中的重要环节,其目的是发现存在于软件中的故障,并对其进行修正以确保软件按照设计预期运作。而测试用例生成则是通过一定方式按照软件的设计说明产生测试用例,通过将生成的测试用例输入到目标软件运行,可以动态地获取程序的行为信息,并通过程序的运行结果判断其中是否存在故障。频谱故障定位方法是故障定位领域的主流研究内容,该方法通过将一定数量的测试用例对可能存在故障的程序进行执行,并收集程序语句的覆盖信息和测试用例的执行结果,其目的在于找到与程序预期执行结果不同的测试用例和执行时所覆盖的语句,并基于此进行故障定位。现有的频谱故障方法已有很多种,但是在精确度和故障定位效率等方面仍然存在提升空间。本文在现有的研究基础上将机器学习算法XGBoost引入频谱故障定位技术,并提出了一种新型故障定位方法,该方法通过使用XGBoost模型进行分类后的特征排名获取关键语句信息,并在此基础上按照搜索策略对执行流上的语句进行检查从而生成完整可疑度语句列表。此外,频谱故障定位的运行离不开测试用例的支持,同时测试用例的质量对频谱型故障定位方法的精度也有较大影响。鉴于当前专门针对频谱故障定位方法进行测试用例生成、辅助故障定位的研究还比较少这一情况,本文同时提出了一种利用改进遗传算法生成测试用例的方法,能够为频谱故障定位生成高质量的测试用例,在保证其运行的同时提高定位精度。该方法以三个参数构建适应度函数,以少量初始测试用例作为初代种群,并输入XGBoost模型中获取潜在故障语句信息,然后通过适应度函数引导遗传算法迭代,最终生成高质量的测试用例。
其他文献
在中小学教育中,一个民族意识文化的重要输出必然离不开音乐教育,它也是实施审美教育的重要途径。在“校本课程”新课改的浪潮中,音乐校本课程也成为各中小学课程开发的主力军。音乐校本课程的选择关乎学生的发展,故而选择适合学生,有助学生身心发展的音乐校本课,是课程开发的重中之重。古琴自古以来便有“缓情养性“的美育功能,如果能把优秀的古琴音乐文化加入学校课程,开发出一套适合学生、促进学生全面发展的音乐校本课程
基于视觉的三维重建技术在现代社会中的应用非常广泛,包括工业检测、医疗卫生、安全监控、道路交通和虚拟现实等在内的多个领域,具有非常广阔的应用前景,也是当今国内外研究
本文针对指数1的多输入多输出非线性微分代数系统模型,研究其采样输出状态观测器及进一步的采样输出反馈镇定控制器设计问题。主要内容如下:1、拓展了多输入多输出非线性常微分系统的一致相对阶概念,给出系统的等价变换的充要条件。2、研究了多输入多输出非线性微分代数系统的采样观测器设计问题·在满足Lipschitz条件下,基于等价系统构造出一类初始化的采样输出状态观测器,此时系统的初始状态是需要满足代数约束方
在全球超级计算机500强排名中,中国自主研发的最新一代超级计算机“神威·太湖之光”连续四次获得冠军,成为世界上首台运算速度超过十亿亿次的超级计算机。“SW26010”异构众
气密性试验是保证压力容器质量的重要手段之一。运用科学技术提高气密性试验的精度和效率已成为一种发展趋势。然而,当前提出的气密性试验方法仍难以应用于真实场景,其检测效
西昆体因宋初杨亿等人参与唱酬成《西昆酬唱集》而得名,其在宋代风行四十余年后逐渐淡出诗坛,在元明以后关注者愈少。到近、现代时期,中国社会由于政治因素受西方影响较多,其传统的文学观也慢慢西化,最后形成文学的古典性与现代化齐头并行的态势,而这一时期世人对西昆体的接受概况显示出芜杂繁复的特征。近代西昆派是研究近代时期西昆体接受的重点,张鸿、汪荣宝等人以光复虞山诗学为目标,在京为官时效仿杨刘等人组织唱酬的文
为解决大型复杂工件机器人加工过程中工装夹具定位困难,机器人加工程序无法重复使用问题,本文构建了双目立体视觉系统,快速定位工件的三维位置和姿态,使得机器人能根据工件位置、姿态信息自动调整加工轨迹程序。文中首先对机器人双目立体视觉定位系统进行了描述,然后建立双目视觉系统数学模型,对系统的结构参数和视有效野范围、误差作了分析,标定求解出了双目相机数学模型参数、手眼变换关系。然后针对工件图像特征点提取问题
2020年新型冠状病毒疫情的蔓延,使得国人再次关注到野生动物的食用问题上,使得人们对于病从口入有了更深刻的见解。对于如何加强食品安全监管,完善食品安全监管制度体系成为
二维图像是目前应用最广泛地可视化数据形式之一,对视觉信息的传播与展示具有重要意义。计算机视觉领域的研究任务大都依靠二维图像这种数据形式展开。尽管近年来三维图像技
随着经济的快速发展,温室气体的超额排放造成了环境的日渐恶化,各国政府都先后出台了碳规制政策。作为碳减排的主体,供应链企业不仅会受到内在的碳规制约束,也会受到企业间碳