教学课程资源库 更多>>

关键词： 自动售检票系统   软件管理   软件测试   软件下载  

摘要： 本文主要从广州地铁运营线路内站级自动售检票系统(Automation Fair collection system,以下简称AFC系统)的软件管理应用出发,探讨站级AFC系统软件管理工作主要负责的软件测试和软件下载的运作情况。

关键词： 软件测试   源代码安全   源代码测试方法   源代码测试工具  

摘要： 随着软件产品的广泛应用和其规模、复杂度的不断提高,软件中的安全漏洞也不断增多,由此所引起的软件安全性问题也日益突出。源代码安全是软件安全的基础,所以源代码的安全性测试成了保证软件安全最强有力的措施之一。明确了源代码安全性测试的主要内容和基本概念,论述了基于源代码的软件安全性测试方法和测试工具,并对测试方法和测试工具的选用提出自己的见解。

关键词： 词法语法分析   中间结构   解析器   可扩展标记语言  

摘要： 软件测试是软件工程中很重要的组成部分,分为动态测试与静态测试。静态分析在执行动态测试前可以尽可能发现程序中的缺陷,通过静态分析可以发现一些潜在的软件错误。例如软件的结构是否合理清晰,是否有变量冗余或者未定义的信息,接口是否脱节。还用于检查在逻辑上可能存在错误的结构以及多余的不可到达的程序段。静态分析主要包括代码分析、代码审查与软件度量三个方面。

关键词： Adaptive random testing   Combinatorial testing   Model-based testing   Orchestrated survey   Search-based software testing   Software testing   Symbolic execution   Test automation   Test case generation  

摘要： Test case generation is among the most labour-intensive tasks in software testing. It also has a strong impact on the effectiveness and efficiency of software testing. For these reasons, it has been one of the most active research topics in software testing for several decades, resulting in many different approaches and tools. This paper presents an orchestrated survey of the most prominent techniques for automatic generation of software test cases, reviewed in self-standing sections. The techniques presented include: (a) structural testing using symbolic execution, (b) model-based testing, (c) combinatorial testing, (d) random testing and its variant of adaptive random testing, and (e) search-based testing. Each section is contributed by world-renowned active researchers on the technique, and briefly covers the basic ideas underlying the method, the current state of the art, a discussion of the open research problems, and a perspective of the future development of the approach. As a whole, the paper aims at giving an introductory, up-to-date and (relatively) short overview of research in automatic test case generation, while ensuring a comprehensive and authoritative treatment. (c) 2013 Elsevier Inc. All rights reserved.

关键词： 软件   测试   自动化  

摘要： 软件测试是软件生命周期中的重要阶段之一,软件测试质量能够直接决定软件产品的运行情况。与传统的手工测试相比,软件测试自动化不仅能够提高测试效率、降低成本,同时还能够有效保证测试的质量与效果,但是也存在着一些限制条件与风险。因此,有必要对软件测试自动化进行探究。

关键词： 软件测试   软件质量   模拟器  

摘要： 软件测试是保证模拟器软件质量的重要手段,系统测试是软件测试中非常重要的一个环节。针对模拟器软件的特殊性,重点对系统测试中的功能性测试和非功能性测试的方法和过程进行了分析,对其它软件的系统测试也有参考意义。

关键词： 系统软件测试   测试   需求   分析  

摘要： 随着人们对软件工程化的重视以及软件规模的日益扩大,软件分析、设计的作用越来越突出,有资料标明,60%以上的软件错误不是程序错误,而是分析和设计错误,因此,做好软件需求和设计的测试工作就显得非常重要。这也是我们提倡的测试概念扩大化,提倡软件全生命周期测试的理念。

关键词： 测试数据   软件测试   遗传算法   模拟退火算法   适应度函数  

摘要： 测试数据的自动生成研究是软件测试的一个焦点问题,测试数据的自动生成可以提高测试工作效率,节约测试成本。考虑遗传算法(GA)和模拟退火算法(SA)各自优缺点,提出遗传/模拟退火(GASA)混合算法的策略,在标准的GA中融入SA,在GA的局部搜索中引入SA,SA的随机状态受限于遗传优化算法的结果,GA的种群更新是由SA的退温算法和随机状态产生函数来控制,从而得到最优解。GASA算法取长补短,提高了算法的全局和局部搜索能力,能避免GA过早收敛,提高了算法搜索最优解的能力。实验结果表明,GASA算法寻找最优解所需的迭代次数明显优于标准GA。