教学课程资源库 更多>>

关键词： 软件测试   测试数据   遗传算法   用例生成   粒子群优化算法  

摘要： 为了更好地优化软件测试数据生成,引入了粒子群优化算法(PSO),提出了基于实例群优化算法的软件测试数据生成方法。研究了粒子群优化算法的基本理论和测试数据生成技术方案,并进一步应用到三角形的识别程序中,可以自动生成软件测试数据并寻找最优解。通过实验数据表明,基于粒子群优化算法的软件测试数据生成方法在时间上具有更多的优势,使用该方法比遗传算法(GA)效率更高,可以节省大量的人力、物力和财力。

关键词： 智能网联汽车   标准体系   网络架构   软件测试  

摘要： 分析智能网联汽车的概念、关键技术、系统构成及标准制定,及未来技术发展在智能交通与大数据的扩展。对传统汽车网络总线类型及架构特点进行分析,综合智能网联汽车智能化和网联化,比较传统汽车相对于智能网联汽车网络架构的不足,提出将以太网网络架构应用到智能网联汽车上的方法,综合仿真、机器人、云端等技术作为提高测试效率,将安全的手段应用于测试智能网联汽车中,可以解决大数据在汽车中传输的问题。

关键词： 软件测试技术实验   游戏模式   变异体  

摘要： 为了使软件测试技术学习者更好地掌握软件测试技术的概念、方法和原理,并提高学习者的兴趣,作者设计了基于游戏模式的实践教学环境,设计开发了一个基于角色扮演类游戏的软件测试技术实验系统。学习者通过分别扮演不同的角色进行实验,寓教于乐并体验如何进行软件测试,以及如何编写可靠性高的软件代码来提高软件质量。

关键词： 软件测试   测试风险   风险防控   风险  

摘要： 软件测试是软件生命周期中不可缺少的重要环节。在测试的过程中会面临诸多风险因素,如何有效地防控风险则是重中之重本文从软件测试过程中风险的种类、防控风险的有效措施等方面进行了详细阐述。

关键词： 推荐算法   软件测试   Doc2vec   文本相似度  

摘要： 根据推荐技术的分析和研究,利用雷达软件历史测试数据,提出了一种基于语义的雷达软件测试推荐方法,结合雷达领域因素、人员因素和软件质量风险因素对推荐方法进行了优化,并在雷达软件系统测试和配置项测试项目中进行了应用,有效地提升了雷达软件测试设计的效率,增强了软件缺陷的发现能力。

关键词： 嵌入式软件   软件测试   仿真测试环境   测试自动化  

摘要： 软件测试是保证雷达嵌入式软件质量和可靠性的重要手段,但雷达嵌入式软件因其自身实时性、嵌入性、高安全性及可靠性等特点决定了不能简单沿用传统的软件测试方法。文章针对雷达嵌入式软件仿真测试技术开展研究,结合实际雷达产品,具体介绍了利用通用嵌入式软件测试环境(GESTE)对雷达嵌入式软件进行测试的方法和过程,结果表明可以有效提升软件测试覆盖率及缺陷检出率,同时形成软件仿真自动化测试框架,能大幅度缩短测试时间,提升测试效率。

关键词： 软件测试   测试用例优先级   多目标优化   非支配排序遗传算法   选择函数  

摘要： 回归测试是软件测试中使用最频繁、成本最昂贵的测试方法。测试用例优先级排序是一种能够有效降低回归测试成本的方法,其目的是通过优先执行高级别的测试用例来达到提升软件故障检测的能力。文中提出了一种基于多目标优化的测试用例优先级排序方法,该方法在遗传算法的个体评价机制中融入了选择函数,设计了合理的编码方式以及合适的选择、交叉和变异策略,以故障检测率、语句覆盖率和有效执行时间为优化目标,采用非支配排序遗传算法对测试用例优先级排序。基于4个基准程序和4个工业程序的实验结果表明:与其他方法相比,所提方法能够提高软件测试的有效性。

关键词： 软件测试   性能测试   LoadRunner   实验教学  

摘要： 性能测试已成为软件测试工作中不可忽视的一个环节,是发现软件性能问题的有效手段。针对传统性能测试教学过程中存在的问题,从实验教学内容和实验教学方式两方面进行改革。实验教学内容部分设计了基础实验教学和综合实验教学环节,实验教学方式引入了理论与实验相结合以及项目驱动等教学方式,最终取得了良好的效果。

关键词： 不变量   动态分析   软件规约   软件验证   软件测试  

摘要： 软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的进展.收集了90篇相关论文对该领域进行系统总结.基于动态分析的不变量综合技术是该领域的核心问题,提出了“学习者-预言”框架统一描述相关方法,并且在此框架内根据学习者的归纳方法将综合技术大致分为4类,分别是基于模板穷举的方法、基于数值计算的方法、基于统计学习的方法以及基于符号执行的方法.其次,讨论了基于动态分析综合的不变量在软件验证和软件工程等领域的重要应用.随后,总结不变量生成技术中常用的实验对象程序和开源的不变量综合工具.最后,总结该领域并展望未来的研究方向.

关键词： 专家系统   电传飞行控制系统   测试方案   软件测试  

摘要： 电传飞行控制系统是军用飞机关键安全系统,实施充分且高效的软件测试是保障系统高可靠性的重要手段。电传飞行控制系统软件测试过程中的关键环节是制定测试方案,当前方案的优秀与否取决于测试项目组的经验积累程度,为解决不同项目组间个体经验差异,保障测试智慧的集中体现,归集了十几年来电传飞行控制系统测试项目数据,设计并构建了一套用于电传飞行控制系统软件的测试专家系统,用于辅助测试方案的制定。通过在多个型号项目中的落实,方案的制定效率、质量和发现的有效软件缺陷数目同比有显著提高,为电传飞行控制系统的高可靠性、高安全性提供了有力的保障。