教学课程资源库 更多>>

关键词： 算量软件   数据交换   工程量偏差   格式转换   软件测试  

摘要： 为全面探究算量软件数据交换现状及制约因素,以房建项目为例,选取三类典型算量软件构建算量模型,展开三类算量模型数据交换测试实验并进行算量偏差分析。结果表明:三类软件数据互导后,除基础梁和承台外标准层主体量偏差率较小,晨曦转广联达钢筋几何属性差别较大,其他路径钢筋及装饰互导后均无法显示。分析总结出算量软件数据交换还存在建模规范不一致、软件功能缺失或不兼容、软件数据接口及内置规则不统一等制约因素,进而从用户、软件商、政府三方视角提出了针对化建议,以期提高算量软件整体质量及打破软件交互壁垒。

关键词： 软件测试   变异测试   测试数据生成   遗传算法  

摘要： 针对检测缺陷的测试数据生成效率低下问题,提出变异测试和路径覆盖测试技术结合的测试数据生成方法。首先,采用变异测试技术生成的变异分支融入程序,生成新的被测程序;然后,在原路径集中挑选目标路径,通过分析变异分支与路径关联关系,将变异分支融入路径。最后,基于遗传算法生成覆盖路径的测试数据。实验结果表明,多种群遗传算法生成测试数据的时间,比单种群遗传算法节约了41.15%。由此可见,对于覆盖多路径测试数据生成,多种群遗传算法的效率比单种群遗传算法高。

关键词： 北斗卫星   卫星导航系统   接收机软件  

摘要： 本文对北斗卫星定位接收机软件的主要功能的测试方法进行了介绍和总结,分析了影响接收机用户体验的主要因素,并对具体的测试方法进行了说明。本文列举了在测试过程中,应该重点关注一些性能指标,而根据不同的应用场景,这些关注点也会有所不同,需要厂家根据不同的使用场景重点关注不同的指标。

关键词： OBE教学理念   混合式教学   思政元素  

摘要： 针对目前我国软件测试人才培养途径单一、不健全等问题,提出了采用OBE教学理念和混合式教学模式对软件测试课程进行教学改革。阐述了基于OBE理念对软件测试课程进行整体教学方案的设计和实施,从反向设计来设计课程的教学目标,进而确定课程的教学内容,教学内容以软件测试流程进行安排,并嵌入课程思政元素,教学方式采用线上线下的混合式教学模式,最后的考核方式采用终结性和过程性考核相结合的方式进行教学评价。经过教学探索和实践后,从教学效果可以说明这一教学改革有助于提高软件测试课程的教学质量,可以满足当今社会软件测试人才的需求。

关键词： 软件测试   云计算   环境构建   仿真  

摘要： 随着软件在现代军事装备中成为必不可少的重要组成部分,软件测试在检验作战效能中发挥着日益重要的作用,本文通过对软件在作战中的运行环境和特点进行分析,总结分析了软件测试环境的分类及基于仿真技术的测试环境构建方法。依托云计算等相关技术,提出并设计了基于云平台的快速可重构软件测试环境构建方法,有利于提升软件测试环境资源的管理和重用能力。

关键词： 软件测试   软件产品质量   软件研发过程   守护者   平易近人   勇于担当   精益求精   测试人员  

摘要： 软件测试是软件研发过程中对产品进行检测的环节,是产品质量自我锤炼的过程。作为“磨刀石”的测试人员,不仅要具有扎实的理论基础、丰富的实践经验,更需要有极大的耐心。作为一名软件测试人员、一位四川农信软件产品的守护者,罗男因其丰富的工作经验、精益求精的工作态度、勇于担当的工作精神、平易近人的工作风格,被大家亲切地称为“男姐”。

关键词： 软件测试   回归测试   测试用例优先级   贪心算法   聚类分析  

摘要： 随着软件技术的快速发展,软件安全的重要性日益凸显。回归测试作为软件测试中重要阶段之一,发挥着重要作用。然而由于测试资源的限制,很难在有限时间内满足测试需求。测试用例优化策略在回归测试中为提高整体测试效率具有重要的指导作用。测试用例优先级排序技术用于生成有效的执行序列,一直是回归测试中的重要研究方向之一。在众多排序技术中,动态技术由于其高性能被广泛研究,但其在某些环境下可能无法适用。而静态技术不依赖动态信息,拥有更多的应用场景。SD-TCP(String Distance-based Test Case Prioritization)是静态黑盒测试用例排序中一种简单易用的经典方法,但由于需要多次迭代比对以找到更优的测试用例,时间开销非常大。本文重点分析了SD-TCP的排序过程,通过引入聚类技术实现对测试用例的快速排序;随后从适用性和稳定性的角度,提出了一种改进策略;最后实现了一个测试用例排序原型系统,并在此基础上通过大量的实验评估所提方法的性能。实验结果表明本文提出的方法在保证原方法排序效果的前提下,提高了序列生成效率以及适用性。本文的主要工作总结如下:1、针对传统的黑盒静态测试用例优先级排序方法时间开销高昂且对极端测试用例敏感的问题,提出了基于K-medoids和字符串度量的KS-TCP方法(Test Case Prioritization Method based on K-medoids and Similarty)。该方法首先使用改进的聚类算法对测试用例进行更加精细的分类,然后通过分组处理降低整体的时间开销。最后使用贪心算法和轮询策略组合执行序列,提高早期的多样性。通过与多种黑盒静态测试用例排序方法对比,KS-TCP方法不仅在时间效率上比原方法有较大的提升,同时在一定程度上提高了故障检测效率。2、针对KS-TCP方法不适用于复杂测试用例类型的场景以及存在配置条件敏感的问题,提出了基于DBSCAN和组合策略的DC-TCP方法(Test Case Prioritization Method based on DBSCAN and Combination Strategy)。通过引入组合策略对输入建模以生成相应模型,并将测试输入映射为一致的类型以提升通用性。随后使用DBSCAN来提高聚类的稳定性,同时引入Firefly搜索策略提高序列合并的有效性。最后,为了进一步验证黑盒静态方法的应用性,将所提方法结合组合测试技术对程序进行测试验证。实验结果表明DC-TCP方法能在确保高效的同时,进一步提升了方法的稳定性和适用性。3、设计并实现了一个基于聚类技术的高效测试用例排序原型系统。该原型系统由测试用例预处理模块、KS-TCP算法执行模块、DC-TCP算法执行模块、对比算法执行模块、测试结果统计分析模块以及测试结果存取模块构成,达到了较高的自动化程度。此外,还基于实现的原型系统在真实程序上验证了所提方法的性能。

关键词： 软件测试   不可行路径   测试数据自动生成   蚁群算法   否定选择算法  

摘要： 测试数据自动生成可以帮助测试人员更高效、更准确地完成测试工作,提高测试的效率和质量。测试数据生成工作首先要获得目标路径集,基本路径集中的不可行路径会造成算法和测试资源的浪费,所以要排除不可行路径。覆盖目标路径有许多方法,包括静态法和动态法,其中属于动态法的启发式算法可以将这类问题转化为搜索问题,通过不断地迭代来生成并优化测试数据,直至覆盖全部目标路径。本文将围绕测试数据的自动生成问题展开研究。主要从以下两个方面开展工作: 首先针对基本路径集中不可行路径检测不全面的问题,提出了基于数据流测试和粒子群算法的不可行路径检测系统。该系统通过预处理、生成分支覆盖表和关联树、排除不可行路径三个步骤来检测不可行路径。在预处理步骤中,获得被测程序的所有变量的定义—使用路径,作为不可行路径检测系统的输入。在生成分支覆盖表和关联树步骤中,使用粒子群算法运行被测程序获得路径覆盖信息,填充分支覆盖表并得到关联树。在排除不可行路径步骤中,使用假设路径生成器组件和比较器组件来检查定义—使用路径集中的每个路径,从而删除不可行路径。实验结果表明,系统可以检测由“分支-分支”冲突导致的条件相关不可行路径,还可以自动检测不可行的定义—使用对,从而检测由“分配-分支”冲突导致的定义—清除不可行路径。 然后针对使用蚁群算法进行测试数据自动生成工作中存在测试数据覆盖率偏低、算法执行时间长、进化代数偏高的问题,提出了蚁群算法和否定选择算法相结合的ACONSA混合算法,算法将否定选择算法的策略应用到蚁群算法中,使用汉明距离进行检测集与非检测集的数据匹配,目的是去除蚁群算法过程中的冗余数据,包括初始种群的生成,搜索过程中更新测试数据集,提出蚁群算法的局部搜索、全局搜索、信息素更新和针对测试数据生成的适应度函数。最后给出ACO-NSA混合算法的和子函数,用流程图直观展示算法流程。 最后给出使用启发式算法进行测试数据生成的对比实验。实验结果表明,与蚁群算法、遗传算法、粒子群算法相比,使用ACO-NSA混合算法来生成测试数据,可以减少测试数据的生成数量,提高测试数据的覆盖率,提高完全覆盖的成功率,减少算法的进化代数,提高算法收敛性。

ISBN: (纸本)9787562374879

关键词： 软件测试   并行程序   分支转换   关键通信   测试数据生成  

摘要： 软件测试是保证并行程序可靠性和准确性的有效途径。通信是并行程序不可忽视的重要特征,对程序的执行效率有着重要影响。繁多复杂的通信是影响并行程序测试效率的关键因素。鉴于此,本文从通信覆盖转换、测试对象选择和测试数据生成三个方面,研究有效的并行程序通信测试方法。针对并行程序通信覆盖问题,本文提出基于分支转换的通信覆盖测试理论及方法。首先,基于并行程序特点,将进程间通信分为确定性通信和不确定性通信;其次,针对不同类型的通信,将对通信的覆盖问题转换为对不同进程间通信语句的覆盖问题;然后,考虑进程间通信发送和接收的匹配顺序,将对通信语句的覆盖问题转换为对通信语句所在分支的覆盖问题;最后,使用遗传算法生成覆盖不同类型通信的测试数据。针对通信测试对象选择问题,通过分析影响通信关键性的因素,本文提出基于通信关键性的测试对象选择方法。首先,考虑并行程序自身特点,综合通信语句所在结构类型与通信传递变量等特征确定影响通信关键性的因素;其次,基于影响关键性的因素建立通信关键性评价指标;然后,基于不同评价指标的影响程度提出通信关键性评价方法,计算通信关键性得分;最后,基于通信关键性采用适当的方法选择出关键通信作为测试对象。针对通信测试数据生成问题,本文将通信关键性和分支转换相结合,利用通信关键性改进适应度函数,并基于分支转换生成覆盖通信的测试数据。首先,分析并行程序通信特征以确立影响通信关键性的因素,并计算通信关键性得分;其次,基于不同因素下的关键性得分对通信进行分类;然后,利用分支转换策略将并行程序的通信覆盖转换为通信所在的分支覆盖;最后,基于通信关键性改进适应度函数,针对不同场景下的通信覆盖问题,采用多种群遗传算法生成满足通信覆盖的测试数据。本文工作为并行程序通信测试提供了一种有效的解决方案,与其他方法的对比实验分析表明,本文方法可以有效减小测试通信的规模,降低测试代价,提高并行程序的测试效率。