教学课程资源库 更多>>

关键词： 软件测试   转换   活动图   CPN  

摘要： 软件测试是质量保证和故障检测最常用的方法。然而,它也是软件开发生命周期中最昂贵的和耗时的活动。基于代码的和基于规则说明的软件测试已经持续了近四十年。基于模型的测试是软件测试的新方法,其中软件模型被用于产生测试用例。模型是系统的简化表示,模型执行的成本比原始系统更低廉。因此,模型长期以来一直用于系统验证和确认。UML(Unified Modeling Language)是软件系统分析和设计的众所周知的标准。UML模型可以被分成结构模型和行为模型。活动图是一种行为模型,自从UML 2.x版本发布以来,活动图增添一些新的语义。它有广泛的应用范围,包括嵌入式系统、工作流和网站服务系统。文中专注于研究活动图模型。活动图的非形式化语义对于开发UML检验和确认工具是一个重大挑战。文中的主要研究目标是将UML模型用于测试。重点在两个方面:将活动图模型转换成CPN(Coloured Petri Nets)模型,评估转换方法的正确性。为此,提出一个三步的转换方法,解决了活动图的语义模糊问题,转换后用CPN表示。CPN是众所周知的形式化语言,并且它有广泛的工具支持。

关键词： 云计算   软件测试   特征  

摘要： 随着科技的发展和社会的进步,云计算技术已经应用到人们日常和工作中的各个领域,计算软件测试技术也在不断完善和充实。文章从云计算的特征和表现方式入手,分析了云计算软件测试的概念和分类,研究了云计算的软件测试技术特性,旨在进一步推进云计算软件测试技术的发展。

关键词： 软件测试   网络设计   OSPF   测试用例  

摘要： 对软件测试理论和软件测试方法进行了讨论,并结合OSPF网络设计进行配置测试,将软件测试方法应用到OSPF协议网络设计中.

关键词： 软件测试   过程分析   应用分析  

摘要： 软件的开发测试是科技产业众多项目当中的一种,也是极为关键的一个环节,而基于软件测试的过程分析包含许多内容。文章重点对软件测试做了详细的介绍,对基于CMM的软件测试过程管理以及基于目标可信性的可信软件测试过程进行了细致分析,以期对软件测试过程的合理运用提供有效见解。

关键词： Python脚本   软件测试平台   设计方案  

摘要： 21世纪是计算机和网络技术高速发展的时代,目前我国的软件行业开发程度明显落后于欧美等发达国家,同时相对于开发工作而言,软件的测试工作更加不被重视,导致国内很多软件的测试仅包含不具备技术含量的手动操作测试。而随着现代各行各业对于计算机系统的需求,测试工作也显得更加重要,如果无法形成一套完备的测试体系,则会严重影响我国软件行业的发展速度。文章基于Python的软件测试自动化平台进行研究,探讨了软件测试平台的概念和种类,并对测试平台的需求进行说明,最后阐述了基于Python的软件测试自动化平台的设计方案,以期为相关工作提供参考。

关键词： 软件测试   成本估算   数据采集   度量分析  

摘要： 随着软件测试行业的兴起,如何预测、评估、控制软件测试成本,成为软件测试团队和第三方软件测评机构需要研究的问题。软件测试成本度量是对软件测试成本进行数据定义、收集以及分析的持续性定量化过程。目前,我国尚缺少软件测试成本度量方面的规范,如何开展软件测试成本度量工作缺少指导依据。从软件测试成本构成、软件测试成本度量过程、软件测试成本度量应用三方面,对如何开展软件测试成本度量工作进行了阐述。

关键词： 云架构   软件测试   实验教学平台   云测试  

摘要： 为适应学生数量多和测试多样性的软件测试实验教学特点,提出了软件测试自动化工具、在线判题系统和云计算三者结合的软件测试云实验平台。该平台允许学生随时随地学习和选择软件测试实验任务、使用测试工具、提交测试代码和测试数据,由平台动态地调用软件测试资源和执行云测试,完成自动化软件测试实验。给出了基于开源云平台桉树云的软件测试云实验平台的技术架构,描述了云测试工具的安装配置、云平台支持的测试实验模式以及使用云平台执行测试实验的过程。

关键词： 软件测试   变异测试   变异分支   测试用例生成   集合进化  

摘要： 变异分析能够辅助生成有效的测试用例集,然而,高昂的测试代价,严重影响了这一技术在实际软件测试中的广泛应用.文中基于弱变异分析,研究求解测试用例生成问题的新方法,以高效地生成具有很高缺陷检测能力的测试用例集.该方法首先利用变异前后的语句,构造变异分支,并将所有变异分支集成到原程序,形成新的被测程序;然后,以测试用例集作为决策变量,根据该测试用例集对变异分支的覆盖信息,构造目标函数,建立新的测试用例生成问题的数学模型;最后,采用集合进化优化方法求解上述模型时,设计具有针对性的适应度函数和进化策略,使得一次求解该模型,生成杀死所有变异体的测试用例.将所提方法应用于13个基准和工业程序的测试,并与传统的遗传算法进行了比较.实验结果表明,所提方法能够高效地生成测试用例,且生成的测试用例具有更高的缺陷检测能力.

关键词： 软件测试   校企合作   教学模式  

摘要： 本文主要以软件测试人才紧缺为突破口,企业与高校共建软件测试专业,为社会输送高水平软件测试人才,针对该课程的实践性要求高,专业难度大,知识面广等特点,以培养合格的软件测试人才为目的,设计着眼于实践的各项教学活动,使学生通过课程的学习具有软件测试工程师的水平和实际的工作能力,突出应用型人才培养的目标,更好的为公司企业服务。

关键词： 错误定位   偶然性正确   软件测试   调试  

摘要： 软件错误定位是目前软件工程领域的重要研究课题,其中基于程序谱的错误定位(CFL)是一类重要的方法。偶然性正确测试用例对于CFL有着很大的负面影响,因此如何发现该类测试用例或者避免它们对CFL的影响对于提高CFL方法的定位效果有着重要的意义。通过分析偶然性正确对CFL定位方法的影响,发现一种没有误判率(false positive)的寻找偶然性正确测试用例的方法。在此基础上,提出了一种基于偶然性正确测试用例发现的CFL定位方法。通过实验表明,该方法可以普遍改善已有CFL方法的定位效果。