教学课程资源库 更多>>

关键词： GA   SA   软件测试  

摘要： 随着软件规模的逐渐扩大,软件测试作为软件生命周期中一个重要组成环节,如何生成高效的测试用例已经成为当今的研究热点,软件测试用例生成中有很多研究是基于遗传算法(GA)的,但该算法容易陷入局部最优和早熟,模拟退火算法(SA)的优点正好补充遗传算法的缺点.本文对现有的Mukesh Mann提出的基于分支距离退火遗传算法进行研究,通过模拟退火中温度变化控制变异操作,并对交叉算子进行优化,最后通过经典的三角形问题实验证明本文的改进退火遗传交叉算法(SGA)在软件测试用例生成的效率要优于传统的遗传算法.

关键词： 计算机科学技术  

ISBN: (纸本)9787030631015

摘要： 本书针对高校计算机相关专业软件测试课程的需要而编写，系统介绍软件测试的基础知识与应用技术，并阐述近年来一些新的软件测试理论和方法，内容包含软件测试基础、软件测试计划和管理、软件测试的基本技术、软件测试的过程管理、测试用例设计、软件测试项目管理、Web应用测试、自动化测试与应用、面向对象软件的测试、第三方测试与云测试，最后给出了一个实际软件项目的测试案例，可使读者淸晰地了解软件测试的整个过程，理解如何做好软件测试工作。本书内容全面、深入浅出、理论和实践相结合，适合作为高校计算机科学与技术、软件工程等专业软件测试课程的教材，以及软件测试应用型人才的培训教材，也可供软件测试、软件质量保证、软件开发和软件项目管理从业人员参考。

关键词： 软件   测试  

ISBN: (数字)9787115519375 ISBN: (纸本)9787115519375

摘要： 本书专为想成为软件测试工程师的零基础读者量身打造，紧紧围绕目前软件公司招聘初级软件测试工程师的基本要求开展内容设计。本书第1章~第9章介绍软件测试的基础概念和方法，第10章介绍Web自动化测试入门的基础，第11章介绍HTTP接口测试入门基础，第12章介绍Linux命令行入门基础，第13章介绍数据库SQL语句入门基础。本书附录以面向初级软件测试工程师岗位的求职简历为基础模拟面试考场，指导读者如何正确应对面试，以更好地帮助读者顺利地入行入职。 本书尽量避免使用晦涩的专业术语、复杂的编程语言和高深的技术框架，而是采用通俗易懂的表达方式将复杂问题简单化，多用图解的方式将抽象问题形象化，以便读者能又快又好地学懂弄通，轻松上手。本书适合想进入软件测试行业的零基础或者非计算机专业的读者学习，同时对有志于从事软件测试行业的应届毕业生亦有指导意义。

关键词： 大数据   云计算   软件测试   存在的问题   改进对策  

摘要： 随着科学技术不断的发展,各种技术也应运而生,在不同的领域中运用。目前计算机软件也广泛地被应用,而且效果还不错,但是人们最关心的是软件的质量以及实用性,如果软件的质量不符合要求,那软件就失去了原本的意义,因此,一定要做到保障软件的质量。随着大数据、云计算的到来,对软件的测试增加了一定的难度,通过对软件进行测试,查找软件设计和开发成果中的不足,然后对软件进行改进,提高软件的质量,使软件能够满足工作需要。当下在大数据云计算的背景下,软件测试将面临着巨大的挑战,要想保障软件测试的正确性,要对软件测试技术进行不断地改进,更新测试的方法与手段,使软件的质量得到保障。

关键词： 计算机软件   测试方法   分析  

摘要： 随着社会经济的高速发展,计算机技术的应用能力在改善。计算机软件的测试方法也在不断更新,使得计算机软件的功能更加多元化。本文主要分析计算机软件,测试的各类方法,从而进一步提升计算机软件的性能,为人们的生活和生产提供更多便利。

关键词： 软件测试   测试理念   测试策略   测试缺陷  

摘要： 科学技术飞跃发展,计算机软件技术已到达重要阶段。软件测试是软件工程的重要一环,为软件开发的质量提供了重要的技术保障。充分理解软件测试的理念与策略,保证提高软件测试效率的同时,促进开发人员尽快地解决这些缺陷,并评估被测软件的质量水平。

关键词： 系统测试   测试用例生成   形式化模型   场景分析   软件测试  

摘要： 航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。

关键词： 符号执行   参数约束   测试用例   软件测试  

摘要： 软件质量检测常用的方法是软件测试,符号执行作为主流的测试技术已被广泛应用于学术界与工业界中。但是随着程序规模的增大和函数调用的增加,因某些路径约束条件的特殊性,而难以生成正确的测试用例,从而导致符号执行不能对所有路径做到全覆盖。为了提高符号执行在特殊约束条件对路径的覆盖率等问题,本文提出了基于参数约束的符号执行优化算法。首先,该算法通过搜索收集程序代码中函数的特殊参数,然后利用这些特殊参数作为约束条件,最后将约束条件添加到路径的约束集中。该算法使符号执行生成的测试用例更加精确,从而实现覆盖特殊约束条件下的路径分支,以提高符号执行的精确性和路径覆盖率。在开源符号执行平台CREST中实验并验证上述优化算法,验证及测试结果表明本文提出的算法能够提高符号执行在特殊约束条件下对路径的覆盖率。

关键词： 调强放射治疗   治疗计划系统   软件测试   剂量学   计划比较  

摘要： 目的:分析两套不同放射治疗计划系统(TPS)之间的计划优化质量,验证并评价调强放射治疗计划KylinRay-IMRT 5.0的逆向计划优化功能。方法:从例题库选取15例胸部例题并导入至调强放射治疗计划系统KylinRay-IMRT,在KylinRay-IMRT计划系统中进行优化计算并确认优化结果,从TPS提取剂量学指标值并记录,数据比较进行t检验。结果:两组TPS计划的靶区均匀性指数(HI)、适形度指数(CI)、剂量分布满足临床要求,KylinRay-IMRT计划在靶区HI上略优于对照TPS组(t=4.480;P=0.001)。KylinRay-IMRT计划肺的V10、V20、V30、平均剂量(t=2.594、6.672、3.471、6.225;P<0.05)略优于对照TPS组,心脏的V30、V40、平均剂量(t=6.078、6.466、8.712;P<0.05)明显优于对照TPS组。两组靶区CI(t=-1.548;P=0.144)、肺的V5(t=1.339;P=0.202)、脊髓最大剂量(t=1.465;P=0.165)无统计学意义。结论:对于胸部例题而言,由于TPS自身因素和人为因素导致两者计算结果存在差异,KylinRay-IMRT的计划质量在临床可接受的程度范围内,其逆向计划优化功能满足了临床应用的安全性和准确性要求。

关键词： 改进遗传算法   软件测试数据   自动生成系统  

摘要： 随着软件测试自动化水平的进一步提升,其对自动准确生成软件测试数据的要求也逐渐提高。但由于以往常用的遗传算法存在一定的局限性,难以令软件测试数据始终保持较快的自动生成速度与数据高质量。因此需要对该遗传算法进行优化改进,在这一背景下,本文将从阐明改进遗传算法的必要性入手,分别从算法设计与系统设计两方面,重点针对基于改进遗传算法的软件测试数据自动生成系统进行简要分析研究。