基于概率论的测试用例优化技术研究

软件可靠性测试是软件工程中的一个新的研究领域.为了缩短软件测试周期,测试用例的生成是关键.基于马尔可夫链模型,提出了一种测试用例优化技术,该理论采用适应度比例的概率方法进行优化.通过例子证明.该方法在产生均匀、优化的测试用例方面是有效的.     

可变报文格式测试工具设计方法

可变报文格式(VMF)测试工具旨在发现被测系统中VMF编解码功能的故障,本文设计了一种测试VMF语法规则及部分语义限制符合性的自动化测试工具.设计了测试工具框架,包括VMF数据元素字典、测试任务管理器、测试用例生成器、VMF编解码器、测试报告生成器、格式转换接口等模块;针对编码及解码功能,设计了使用合法及非法测试用例的测试过程;从VMF语法规则、语义规则两个方面分析了测试需求,设计了可基于VMF数据元素字典自动生成的测试用例类型;给出了测试用例的生成方法:首先生成所有测试用例类型中的一种,然后通过修改该类型测试用例的报文内容或报文编码生成其它类型的测试用例,测试用例生成方法为多项式复杂度,有效地避免了组合膨胀.实验结果表明本文设计的测试工具是可行有效的.     

O-O语言编译器测试用例的自动生成算法

面向对象语言编译器自动测试工具的一个主要功能就是根据测试的需求目标和既定的测试方法,自动生成面向对象程序语言的测试用例.本文从编译器测试的上述需求定位出发,基于兼顾深度测试和宽度测试的黑盒测试方法,分析研究了测试用例自动生成所面临的几个主要问题.诸如,全涵盖符合面向对象语言标准(如IS0 C++、ANSI C++)的语法和语义,测试用例的正确性保证和复杂性要求等;探讨了从随机性、任意性方面实现一个满足测试需求的C++测试用例框架的相应算法.这些算法解决了测试用例中表达式、语句以及其它C++语言要素的生成,以及表达式、语句嵌套和数据结构的任意复杂性的问题.对于面向对象的编译器自动测试中的主要部分--用例生成器的设计与实现,具有一定的借鉴意义.     

软件测试数据生成方法研究

在软件测试中,测试数据生成是其关键环节,也对软件测试的自动化产生重要影响.本文从不同角度介绍了软件测试用例的生成方法,并且为了提高测试用例生成的效率,着重介绍了采用了遗传算法作为核心搜索算法来生成测试数据的方法.最后,总结了测试用例生成的综合策略.     

基于遗传蚁群算法的测试用例集约简

为提高软件测试效率,节省回归测试成本,本文提出了一种新的约简测试用例集的算法.该算法是遗传算法和蚁群算法两种算法的结合,首先利用遗传算法的快速随机全局搜索能力,生成蚁群算法的初始信息素,然后利用蚁群算法的正反馈性,快速得到约简测试用例集的近似最优解.最后通过仿真实验验证了该算法的有效性.     

基于复合执行剖面的测试用例缩减技术

考虑到基于观察的测试常用的基本块、分支边等执行剖面信息不能完全表现测试用例对缺陷的发现能力,致使筛选的测试用例失效发现率不高,本文根据分析不同程序元素对缺陷类型的表现情况,提出将全面覆盖缺陷的复合执行剖面用于缩减高效的测试子集.实验结果表明,该缩减技术综合考虑了执行剖面对测试用例缺陷覆盖能力的刻画及失效用例的分布特性,因而得到的测试子集更能有效发现程序缺陷,提高了测试效率及可信度.     

一种基于模型的内嵌测试方法

基于需求的内嵌测试方式加强产生和实现测试用例的自动化程度,同时也提高软件的质量并减少开发测试用例所需的周期。     

嵌入式软件数学仿真测试平台设计与研制

本文针对控制软件的特点和要求,给出了可靠性数学仿真测试平台的作用和意义.介绍测试用例生成与可靠性分析及评估的关系,设计针对某装备控制程序的数学仿真测试环境.     

基于TestLink的测试管理系统研究

介绍基于TestLink的测试用例及结果跟踪管理系统,并对其一重要功能“导入导出测试用例”进行扩展,实现对excel文件导入导出。     

基于TestLink的测试管理系统研究

介绍基于TestLink的测试用例及结果跟踪管理系统,并对其一重要功能"导入导出测试用例"进行扩展,实现对excel文件导入导出。     

大型软件回归测试用例选择优化策略

在软件回归测试时需要制定测试策略,选择有效测试用例进行测试以避免测试的盲目性.针对大型软件回归测试用例的选择问题本文提出一种新的选择方法并对其进行算法设计和实现.本文运用Uml用例图来描述系统功能模块间的关系,将UML图转换为有向图并通过有向图的遍历算法输出回归测试时需要测试的模块.通过实例研究表明,运用此方法能够显著提高回归测试中测试的效率和准确性,在保证了回归测试覆盖度的同时减少了测试的冗余度.     

软件产品测试用例设计分析与实践

通过对软件产品测试用例设计相关标准的讨论,并通过实践分析测试用例设计的常用分类与设计步骤、组织方法,给软件产品测试用例设计提供一定指导。     

软件测试用例的复用技术研究

软件测试用例的复用使其减少软件测试过程中重复性劳动成为可能。对于软件测试工程师而言,测试用例的有效复用必将有力地推进测试进程。软件测试工程师对测试用例库的充分利用,可以减少包括分析、设计、编码、验证等大量重复性劳动,最终提高软件测试效率和软件质量。     

手机自动测试系统的研究

手机自动测试系统是针对手机性能进行的自动化测试系统。针对当前手机行业的发展趋势,从项目需求、框架设计、开发环境的选择与配置和各子模块的实现方面研究一个通用手机自动测试系统。系统主要由测试序列编辑器、测试用例库和测试用例执行模块等子系统组成。     

软件测试用例库建设与维护浅谈

在软件开发项目中,测试用例的设计起着至关重要的作用,它是软件测试全过程的核心,也是测试执行环节的基本依据。在项目实践中,测试用例经常因为管理不善和设计盲目,使得用例库庞大而且难以维护,成了测试人员的负担,也使得测试执行人的工作劳动强度和效率难以改善。探讨一种软件测试用例库的建设与维护方法。     

基于会话的Web应用测试方法

Web应用程序难以创建有效的测试用例,如使其既能满足测试的需求,又能测试Web应用程序的多用户交互会话。针对上述问题,采用从Web日志数据中得到域数据创建测试用例的方法,从Web日志中获取用户行为数据和用户会话数据。提出一种基于用户行为和用户会话的测试新方法,通过实验验证该方法在功能覆盖和故障检测方面的有效性。     

电子计价秤软件测试关键问题的研究

从测试管理、测试技术和测试人员三方面对电子计价秤软件测试中的关键问题进行了研究和总结,包括测试规范、测试过程管理、仿真测试、测试用例运行和分析等,能够为电子计价秤软件测试领域的研究提供参考,同时可以为相关计量器具软件的测试提供借鉴.     

嵌入式软件系统的实时建模方法研究

测试需求模型采用形式化语言构建,对于系统测试实现自动化具有重要促进作用。本文基于面向对象思想,采用状态图作为核心技术,与类图相结合提出适用于嵌入式软件系统实际测试需要的一种实时建模方法。该方法对于需求模型的构建直观简洁易用,与测试用例生成策略相结合,能够实现测试用例的自动生成。     

基于MOABCO的多目标测试用例优先级排序

为了提高回归测试的效率,提出了一种基于多目标人工蜂群优化(Multi-Objective Artificial Bee Colony Optimization, MOABCO)算法的多目标测试用例优先级排序(Multi-Objective Test Case Prioritization, MOTCP)方法.针对标准多目标人工蜂群(Multi-Objective Artificial Bee Colony, MOABC)算法容易陷入局部最优解的问题,将差分变异策略融入到新蜜源更新阶段,且基于信息熵改进新蜜源选择方法,以避免算法陷入局部最优并增强了全局搜索能力;然后,将代码覆盖率和测试用例有效执行时间作为优化目标,并用MOABCO算法求Pareto最优解集,以解决MOTCP问题.实验结果表明, MOABCO算法求得的Pareto最优解集在逼近性和分布均匀性上均优于MOABC算法;在解决MOTCP问题上,相对于NSGA-II算法具有更高的收敛速度和更高的缺陷检测率.     

软件产品黑盒测试的测试用例设计

软件测试是为了发现软件缺陷和错误而执行的过程.传统的穷举测试,受到时间、费用和人工等条件的限制,实施起来是不现实的.为了节省时间和资源,提高测试效率,从大量的可用测试用例中精心选取了少量的测试数据,使得采用这些测试数据能够达到最佳的测试效果,可以高效地发现软件中隐藏的错误和缺陷.