教学课程资源库 更多>>

关键词： 软件测试   可复用测试用例   形式化描述   Z语言   用例属性  

摘要： 针对现有的测试用例描述方法不够严谨,容易产生二义性的问题,在研究目前已有测试用例描述方法的基础上,提出了用Z语言描述测试用例,并根据工程领域的应用需要确定了Z语言描述测试用例的属性范围、符号用法、描述形式和流程,最后用Z语言描述了飞行器外测数据处理软件中时标修正功能的测试用例;结果表明,Z语言描述能够完备地描述测试用例的属性,并将数理逻辑应用于描述中,使测试用例的表述逻辑清晰、重点突出,有效避免模糊性和二义性。

关键词： 软件测试   黑盒测试   单元测试  

摘要： 软件测试是在软件投入运行前,对软件需求分析、设计规格说明和编码的终审,是发现软件故障,保证软件质量,提高软件可靠性的主要手段。随着人们对软件质量的重视程度越来越高,软件测试在软件开发中的地位也越来越重要。

关键词： 软件测试   ERP—SCM   测试过程   缺陷  

摘要： 本文介绍了软件测试及其相关的一系列概念,对用友软件公司NC3.1-SCM系统进行了简要概述。着重探讨了SCM价格管理模块系统软件测试的测试设计、测试开发、测试执行、测试评估等测试过程,阐述了软件的测试工具及其在实际测试工作中的应用情况,讨论了软件测试发展的新方向———面向对象的软件测试。最后以实际测试工作为依据论证了软件测试理论研究的意义。

关键词： 软件测试   实践教学   职业素养   教学方法  

摘要： 文章系统总结了软件测试课程的特点,在详细分析当前高校就该课程教学现状以及所存在问题的基础上,从课程的知识结构体系与所要求的职业素养入手,充分结合企业现实需求与教学实际,从合理选择实践教学内容、培养师资力量、建设实训平台三个方面对软件测试课程的教学方法进行了探索性研究。

关键词： 软件测试   测试用例   测试路径控制阵列   测试用例距离   执行顺序  

摘要： 针对软件测试中测试用例执行顺序随意性较强,导致测试的冗余操作增多、不能集中暴露软件缺陷的问题,提出了测试路径控制阵列模型来组织测试用例,基于该模型从图论角度出发提出了测试用例执行前优化排序算法;提出了测试用例距离的概念和计算方法,并基于测试用例距离,提出了测试用例执行过程中的动态调整算法;将以上两算法应用于实时系统软件主副机切换功能的测试用例,优化结果表明,执行前优化排序算法能够减少冗余的测试操作,执行中的动态调整算法能够找到与软件缺陷相关的测试用例并调整其执行顺序。

关键词： 软件测试   测试用例执行框架   多线程   异常处理   解析makeifle文件  

摘要： 测试用例执行框架是代码测试系统(Code Testing System CTS)的重要组成部分,用于执行测试用例,捕获插装结果。在CTS系统从Windows平台向Linux平台移植的过程中,测试用例执行框架遇到了线程调用和控制不兼容,异常捕获失败以及代码编译不通过等问题。本文通过使用Linux平台上常用的Pthread线程库,解决线程调用问题,通过设计并实现异常栈解决C语言异常捕获失败的问题,通过解析被测单元所在C语言工程的makefile文件,提取出编译需要的头文件及链接共享库或静态链接库需要的链接选项,解决测试用例执行框架编译失败的问题。通过解决上述问题,CTS的测试用例执行框架能够在Linux平台上正常运行。

关键词： 手机软件测试   遗传算法   粒子群算法  

摘要： 在分析了手机软件测试的分类及特点之后,针对手机软件测试中测试用例数据大且不易实现自动化的问题,阐述了使用遗传算法生成数值型软件测试数据的思想;利用遗传算法的自动搜索最优解的特点,解决软件测试中白盒测试的路径覆盖测试数据自动生成问题;进一步分析遗传算法的不足,阐述了将粒子群算法和蚁群算法结合到遗传算法中以解决局部搜索和快速寻找精确解的思想。

关键词： CDIO教育理念   软件测试技术   教学模式  

摘要： 借鉴CDIO工程教育理念,结合软件专业"软件测试技术"课程性质、课程目标,设计课程项目,改革教学模式及考核评价方式,有利于提高高职学生的工程基础知识、个人能力、人际团队能力和工程应用能力。

关键词： 武器装备   软件测试   靶场  

摘要： 随着信息化装备的大量列装,装备软件的作用已经变得不可或缺和替代,其规模的不断增大使得使用中出现问题的概率越来越大.武器装备软件的质量已经成为装备质量的核心,因此装备软件测试自然而然成为武器装备定型试验中的重要组成部分.本文从靶场对武器装备软件测试的需求入手,研究探讨了在靶场环境下进行软件测试的试验方法和测试步骤,并分析了软件测试用例的设计准则,对靶场开展武器装备软件测试具有一定的指导意义.

关键词： 软件测试   漏洞分析   回归测试   智能模糊测试   代码差异分析   动态符号执行  

摘要： 为了及时对不断更新的大型软件进行漏洞分析,该文提出了一种基于软件代码差异分析的智能模糊测试方法。新旧代码经逆向分析和比对后确定代码差异区,再通过基于数据与控制依赖关系的双向传播分析,识别差异潜在影响区和相关输入变量,生成差异影响模型,在其指导下开展按需模糊测试与基于动态符号执行的智能进化测试,最终生成强针对性的测试用例。已实现原型工具,并对多个不同差异度的PHP软件版本进行了测试实验,检测到4个安全漏洞,覆盖了相邻软件版本85%以上的差异影响区域。实验结果表明:与当前方法相比,该方法既减少了对差异无关区域的冗余测试,又通过聚焦测试导向,提高了测试效率和代码覆盖率。