教学课程资源库 更多>>

关键词： 云计算   软件测试   前沿性拓展   基于云计算   面向云计算  

摘要： 云计算是现代在使用、管理、调度等方面具有较大优势的计算模式,其自身的优越性使其在信息技术领域各层面获得了长足的发展。本文试图以软件测试为基点,探讨云计算信息技术下软件测试的前沿性拓展,在进行基于云计算的软件测试与面向云计算的软件测试的阐述与比较的基础上,分析云计算信息技术下软件测试的前沿性可能应用,即云IDC安全检测技术在公共领域的应用、深度自动软件测试技术在web服务领域的应用、软件测试技术在目标系统运行中的应用,在不同的应用层面深刻解析云计算及其在软件测试中的应用。

关键词： 多线程   软件测试   虚拟时钟  

摘要： 余度技术是提高系统可靠性的重要手段,但目前多余度飞控计算机软件测试中普遍存在联调困难、测试周期长、模拟与同步精度有关的故障较为困难等问题;针对这些问题,提出了一种在单PC机上实现多余度软件虚拟测试的方法;由测试结果可以看出,该方法用多线程来模拟多余度,利用虚拟时钟来模拟多余度飞控计算机通信时的时间差,实现伪实时,可以精确地模拟余度计算机之间的时间差。

关键词： 软件测试   软件工程   软件质量   可靠性  

摘要： 在科学技术发展迅速的今天,伴随着软件具有越来越强大的功能,从而也大大的增加了软件的复杂性,所以软件测试和对其进行可靠性评估的工作也越来越难。为了确保软件的质量,必须对软件进行测试和可靠性评估。本文针对软件测试和可靠性评估的方法做一下阐述。

关键词： 软件测试   教学   改革  

摘要： 本文从软件测试课程的教学目标出发,分析了该课程教学现状中存在的问题和产生原因,并有针对性的提出了软件测试课程改革的措施和建议。

关键词： 软件测试   代数规格化说明   基本项   范式  

摘要： 现阶段面向对象软件系统占据了很大的比重,在软件测试方面,形式化规格说明通常作为正确性验证的基础.本文主要研究了基于程序的代数规格化说明生成测试用例的方法.首先,根据代数规格化说明得到一组基本项.为了避免从理想基本项集合中选择一组基本项时受理想基本项集合的制约,本文用基本项模型图生成基本项,然后,从基本项集合中得到等价的范式集合.针对用范式模型树生成范式时,生成的不完全是范式,并且范式的长度可能无穷大的问题,本文提出对基本项模型图路径拆分的方法.最后,用范式替换规格化说明公理系统中的变量,生成测试用例.对于公理中的条件语句和循环语句,还提出一种公理变换方法,保证了测试路径的覆盖.实例分析和实验验证表明,本文的方法可以生成一个范式的最小集合,减少了生成测试用例的数量,提高了测试用例的效率.

关键词： 设备测试   恶意软件   威胁评估   全球网络   测试能力   Web应用   软件测试   安全问题  

摘要： 全球网络、服务及设备测试领域的领导者思博伦通信日前宣布，正式发布Spirent Studio上的恶意软件测试能力。通过新增的恶意软件测试，思博伦通信将为其客户提供一种全面的解决方案，对包括模糊、加密、VPN、基于特征的攻击和DDoS威胁在内的各类安全问题进行测试。当与Spirent Avalanche结合使用时，Studio可以为网络和Web应用基础设施提供数万兆的容量、安全性和性能测试能力。

关键词： FindBugs   缺陷   检查规则  

摘要： FindBugs是程序员及软件测试员的常用工具,本文主要描述了该工具的安装与使用,描述了GUI模式的使用方法,且通过7个实例进行了详细的缺陷分析,帮助我们写出更为可靠,严谨高效的代码。

关键词： 先进计算   人工鱼群算法   混沌搜索   软件测试   数据生成  

摘要： 针对自动化软件测试中测试数据自动化生成的问题,提出了一种基于人工鱼群算法的解空间搜索方案。为了提高人工鱼群算法的求解能力,在鱼群算法中引入混沌搜索机制。人工鱼群算法在每次迭代之后,将针对当前全局最优解进行局部混沌搜索,同时淘汰掉部分劣质个体;随后,根据种群的最佳个体收缩解空间搜索区域,并在该空间内随机产生部分新个体。最后,通过在两种三角形判定程序上的实验证明,该算法收敛速度快,求解精度高。

关键词： 计算机软件   软件测试方法   软件开发  

摘要： 软件测试是在软件开始投入使用之前,对软件编码实现、设计规格的说明和软件需求分析等的最后审查,是为了发现错误从而对程序进行执行的过程。软件测试作为软件开发重要环节之一,它同样确保着软件的质量,对软件的顺利运行起着保障性作用。因此,为了确保计算机软件能够正常运行,降低错误发生率,减少软件的开发费用,探究计算机软件测试方法具有重要意义。针对计算机软件测试方法和计算机软件测试过程进行了研究,以确保计算机软件的顺利运行。

关键词： 软件测试   云计算   性能评价   效率   效能  

摘要： 本文通过对云计算平台的基本定义、云服务特点及云计算平台的关键要素进行研究和分析,使用GB/T16260国家标准中质量模型中的性能评测模型,对商用现货软件项目及面向云技术项目的实施情况进行比对。针对实施过程中碰到的实际问题,构建了面向云计算平台的多级负载情况评价的新指标,并给出了指标评测方法。最后结合三个云计算平台评测案例对新指标及评测方法进行模拟实验,给出了验证结果。