教学课程资源库 更多>>

关键词： 软件工程   软件测试   静态测试   动态测试  

摘要： 为探讨软件工程中软件有关测试技术的思考,采用理论结合实践的方法,立足软件测试的必要性,分析软件测试技术的应用要点,并提出新时代软件测试技术的发展趋势。分析结果表明,软件测试技术的选择和应用是否合理,直接关系到软件存在的漏洞和问题能否准确识别出来,加强对软件测试技术的分析研究,把控好发展趋势,是促使软件工程事业持续健康发展的关键,值得高度重视。

关键词： 软件测试   随机测试   自适应随机测试   镜像自适应随机测试   镜像选择序  

摘要： 镜像自适应随机测试(Mirror Adaptive Random Testing,MART)算法将输入空间划分为多个不相交的相等子域,源域中使用自适应随机测试(Adaptive Random Testing,ART)算法生成测试数据,剩余子域中使用镜像函数生成镜像测试数据.镜像策略的引入减少了ART算法的计算开销,但是算法的检错有效性也随之降低.通过研究MART算法的特征,分析如何提升MART算法的检错有效性.针对镜像函数将源测试数据镜像到各子域时的镜像顺序,对比分析镜像选择序与镜像函数对MART算法的影响,本文提出了基于镜像受限选择序的MART算法,通过约束镜像选择序,使镜像测试数据分布更均匀.在仿真实验与实例实验结果中均显示,针对镜像策略中镜像选择序的优化,提高了MART算法的检错有效性.

关键词： 软件测试   自动化测试   测试框架   测试方法   测试选型  

摘要： 随着软件测试技术不断进步,为了解决常规手动测试回归效率低下、覆盖率不全、交付产品质量无法保证等缺陷,故引出了自动化功能测试。但在实际项目自动化测试过程中,框架及其方法选型进度对整体测试周期有很大影响,故针对自动化测试中的框架及方法选择,进行了关于自动化测试的框架及方法的整理并总结。通过结合实体项目实施的方法,进一步说明软件自动化测试框架及方法选型的重要性。

关键词： 计算机软件   测试技术   深度开发  

摘要： 信息技术飞速发展,中国也加快了信息化的进程。现实生活中,计算机技术必不可少,而计算机软件的性能会影响计算机技术的性能,要想让计算机技术得到更充分的运用,就要发挥计算机软件的作用。因此,要想让计算机正常运行,对计算机软件的优化是必不可少的。对计算机软件直接的优化方式就是进行计算机软件测试,通过测试保证运行程序的准确性并进行程序优化。同时,对计算机进行软件检测可以帮助其找出病毒并解决,确保软件的安全运行。因此,进行计算机软件的深度开发可以维护软件安全,保证软件的安全稳定。本文对计算机软件测试技术和深度开发进行了探讨,旨在提高计算机的稳定性,进而提高计算机的使用价值。

关键词： 能源工业   能源行业   能源产业   软件测试   全球性问题   生态圈   能源资源   云平台  

摘要： 全球变暖、能源资源有限等全球性问题,使各国愈来愈重视和发展高效节能、清洁低碳的绿色经济,"双碳"成为国民经济发展的重大议题。能源行业向低碳化、清洁化和智能化转型已成为大势所趋,以"云、大、物、智、移"等为代表的新一代信息技术革命,正在带动能源产业产品服务模式的全方位创新,不断催生新的产业业态和产业增长点。

关键词： 软件工程   软件测试技术   教学改革  

摘要： “软件测试技术”课程是计算机科学与技术(本科)专业的核心专业课程,对学生的理论及实际测试能力均有较高要求。课程需要系统讲授软件测试的基本原则和方法技巧、软件测试过程的计划和实施、软件工具的选择和使用方法以及缺陷管理方法等。本文分析了当前软件测试课程在教学及实验环节中存在的一系列问题,从培养学生行业协作精神、丰富课堂授课形式、合理设置课程内容、增加综合实验以提高学生实际测试能力等方面对软件测试课程实践教学改革相关问题进行了探讨。

关键词： 软件质量保障   软件测试   软件调试   缺陷定位   缺陷修复  

摘要： 在传统调试过程中,缺陷定位通常作为程序修复的前置步骤.最近,一种新型调试框架(统一化调试)被提出.不同于传统调试中缺陷定位和程序修复的单向连接方式,统一化调试首次建立了定位与修复之间的双向连接机制,从而达到同时提升两个领域的效果.作为首个统一化调试技术,ProFL利用程序修复过程中伴随产生的大量补丁执行信息逆向地提升已有缺陷定位技术的效果.统一化调试技术不仅修复了可被修复的缺陷,而且也为不能被自动修复技术修复的缺陷提供了有效的调试线索.虽然统一化调试是一个很有前景的研究方向,但其在补丁验证过程中涉及到了大量的测试用例执行(比如百万量级的测试执行),因此时间开销问题严重.提出一种针对于统一化调试框架的加速技术(AUDE),该技术通过减少对缺陷定位效果无提升的测试执行,以提升统一化调试的效率.具体来说,AUDE首先通过马尔可夫链蒙特卡洛采样方法构建补丁执行的初始序列,随后在补丁执行过程中将已执行的补丁信息作为反馈信息,自适应性地估计每一个未执行补丁可能提供有效反馈信息的概率.在广泛使用的数据集Defects4J上对该技术进行了验证,发现AUDE在显著加速ProFL的同时,并没有降低其在缺陷定位和程序修复的效果.例如:在减少了ProFL中70.29%的测试执行的同时,AUDE仍在Top-1/Top-3/Top-5指标上与ProFL保持了相同的定位效果.

关键词： 深度学习框架   元算子   缺陷检测   深度学习   软件测试  

摘要： 在用于构建深度学习模型的深度学习框架中,算子的正确计算对于深度学习模型的正确预测至关重要.然而,已有的深度学习框架缺陷检测方法只能通过比较和推测的方式找到不同深度学习框架之间计算结果相差较大的算子,而且无法检测深度学习模型在训练过程中产生的计算错误,具有很大的局限性.针对此问题,本文设计并实现了基于元算子的深度学习框架缺陷检测方法,通过将不同深度学习框架中算子的共性计算逻辑抽象为“元算子”,支持在不改变模型代码的前提下绑定元算子的具体实现,从而可以细粒度地对比同一模型使用不同深度学习框架的运算结果,进而发现缺陷.本文的方法同时支持训练过程和推断过程的缺陷检测,还可以对计算错误的定位进行验证.本文验证了元算子计算的准确性,并评估其运算性能;收集了深度学习框架中已知有错误计算的算子,并将本文方法应用在包含这些算子的深度学习模型上,验证了本文缺陷检测方法的有效性.

关键词： 软件工程   软件质量   软件测试   标准化  

摘要： 近年来,国内软件行业飞速发展,软件相关标准的制修订工作也开展得如火如荼。质量作为软件的生命,测试作为质量保证的手段,软件质量和测试的标准化工作在软件行业显得尤为重要。本文首先研究了国内软件质量与测试的相关标准现状,主要包括国家标准及行业标准研制情况,然后针对相关国家标准和行业标准按照内容、研制方式和占比进行统计分析,最后总结了我国软件质量与测试标准化现存的问题并给出工作建议。

关键词： 智能优化   优化算法   软件测试   测试数据生成   进化测试  

摘要： 软件测试是软件开发活动中一个关键且耗时的环节,其核心是生成满足特定准则的测试数据.随着软件复杂程度的不断增加,软件测试的难度也越来越高.使用遗传算法等智能优化方法解决复杂软件的测试问题,是近年来软件工程领域的一个研究热点.鉴于此,针对智能优化在软件测试的应用进行综述,首先介绍软件测试的基本原理和方法;然后介绍智能优化在不同测试领域的研究进展,并对基于不同智能优化方法的软件测试研究进展进行分析;最后给出该领域的挑战与展望.