基于正交法的软件测试用例生成

在软件测试中,即使对中小规模的软件,要想达到一定的测试覆盖要求,生成的测试用例数目都可能非常惊人.为了尽早地产生高质量的测试数据,将有限的测试资源进行合理的分配,提出了一种基于正交试验设计法(简称正交法)的软件测试用例生成技术.介绍了正交法的基本概念和主要用途,详细阐述了运用正交法进行软件测试用例设计的步骤,最后将其应用于一个简易管理信息系统,结果表明,生成的测试数据数量较少且错误检测能力较高.     

正交设计法在软件测试中的应用

用较少的测试用例来获得最大的测试效率是软件测试研究的重点之一。提出基于正交设计法的软件用例测试技术,并详细阐述运用正交表来设计测试用例的主要步骤,通过一个应用实例来说明其在软件测试中的应用。     

正交数组技术在面向对象测试中的应用

根据面向对象测试要求的特点及正交数组技术的特点，提出将正交数组技术应用于面向对象测试中的方法和步骤，并提供一个应用实例来说明如何将正交数组技术有效地应用到面向对象测试中。     

正交试验及其在软件测试用例设计中的应用

从正交试验入手,介绍了软件测试中正交表测试用例设计技术,给出正交测试用例设计的适用范围;针对工程实践中某些正交表难以构造的问题,提出利用常用正交表的裁减方法来完成测试用例的设计任务;最后,将正交测试用例设计技术与其它测试用例设计技术相结合完成了某通信仿真模块的测试用例设计.     

一种基于软件测试用例库的设计方法

本文设计了一种软件测试用例库,目的是实现软件测试用例的重复利用性,软件测试复用一方面可以解决测试人员经验不足带来的技术问题,另一方面还避免了设计用例设计过程的重复劳动,提高了测试效率.本文首先介绍软件测试用例的设计思想和具体编写方法,再提出软件测试用例库设计方法,将测试用例汇总起来,提取通用测试用例,通过专家评审,形成标准的软件测试用例库,供软件开发人员及测试人员使用,测试用例库的使用可缩短软件开发周期和降低软件开发成本.     

软件测试用例设计及在广州供电局的应用

测试用例的设计是软件测试中一个具有关键作用的工作,测试用例的合理性很大程度上影响着软件测试的自动化程度。论文结合现代软件测试技术中的数据驱动测试和结构驱动测试设计技术,并根据广州供电局业务系统的实际测试情况,设计了一种测试用例方案并在广州供电局业务系统中应用实施,科学合理的用例设计为业务系统测试的进行提供基础,测试达到了预期目的。     

基于正交法的软件测试用例设计

测试所花费的工作量经常比其他任何软件工程活动都多。若测试是无计划地进行,既浪费时间,又浪费不必要的劳动。因此,为测试软件建立系统化的测试策略是合情合理的。该文提出基于正交试验设计法的软件测试用例生成技术,并详细阐述运用正交表设计测试用例的方法,并通过一个应用实例来说明其在软件测试中的应用。     

正交试验设计方法在测试用例设计中的应用

文章对正交试验进行了分析,并将其与软件测试理论相结合,提出了测试用例的正交设计方法。该方法用较少的测试用例就可以对软件进行较全面、有代表性的测试,并能够对测试结果进行直观分析,找出影响该结果的主次要因素。     

Java语言中数组越界故障的静态测试研究

面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越界的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。     

面向对象软件测试及测试用例设计

面向对象软件测试是面向对象软件开发的重要阶段,面向对象软件测试的用例设计是面向对象软件测试技术的重要组成部分。本文对面向对象软件测试技术的特点和层次的划分进行了研究,然后讨论了面向对象软件的测试用例设计的方法。     

Two case studies in grammar-based test generation

Grammar-based test generation (GBTG) has seen extensive study and practical use since the 1970s. GBTG was introduced to generate source code for testing compilers from context-free grammars specifying language syntax. More recently, GBTG has been applied to many other testing problems, including the generation of eXtensible Markup Language (XML) documents and the generation of packets for testing communications protocols. Recent research has shown how to integrate covering-array techniques such as pairwise testing into GBTG tools. While the integration offers considerable power to the tester, there are few practical demonstrations in the literature. We present two case studies showing how to use grammars and covering arrays for automated software testing. The first case study exposes HTML injection vulnerabilities in an RSS feed parser. The second case study determines the effectiveness of network firewalls when faced with TCP flag attacks. The case studies illustrate the use of covering arrays in a GBTG context, the use of visualization to understand large test logs, and the issues and tradeoffs in the design of fully automated GBTG test suites.     

组合的测试用例设计与评价方法

在软件开发过程中,软件测试成为唯一的选择,在保证软件质量前提下,设计与工程人员的首要工作就是降低测试用例数量,优化测试用例设计,减轻测试工作量。提出组合测试技术和正交实验方法在软件测试中的应用方法,分析了成对组合的测试用例方法,设计了测试用例的生成方法,设计测试评价方法。在一应用系统的负载测试实验中,使用R法和方差分析方法,分析了网络带宽、处理器速度、并发用户等负载因素对系统响应时间的影响,确定最优的性能指标和测试组合。     

Fully automated interoperability test suite derivation for communication protocols

We propose an automatic test derivation method for testing interoperability of communication protocols. It first derives a skeleton test suite for control part through a sort of reachability analysis. Next, it parameterizes each test case. Finally, it completes the test suite by actualizing test cases by assigning values to their parameters. By constructing test case space based on stable states and by basing test case actualization step on orthogonal arrays used in experimental design techniques, state space explosion is avoided. In order to demonstrate the feasibility and effectiveness, out method is applied to the ATM/B-ISDN signaling protocol and TCP. The application results show that our method surpasses the conventional methods in terms of both test size and coverage.     

一种基于正交表的功能组合测试设计方法

软件测试在目前的软件开发过程中的地位日益重要。特别是目前的软件功能愈来愈多,必须保证各功能组合之间不产生冲突。如果以无条件地测试所有功能组合,则测试项目数会呈指数级增长而使得实际测试不可能。为了抑制这种组合的发散,利用正交表来设计测试是一种有效的方法。本文阐述了一种基于正交表的功能组合测试设计方法和应用,并开发了相应的测试用例生成工具,基于正交表原理,对测试对象程序的各功能项进行组合,确保用较少的测试用例达到较大的测试覆盖率。实验表明,与传统手工测试用例设计方法相比,利用该方法生成的测试用例覆盖率提高2倍,Bug发现率增加3倍,测试用例设计工时压缩为1/6。     

覆盖矩阵在参数组合配对测试中的应用

在实际测试中,用穷尽法测试全部测试案例会造成测试集爆炸、效率低下及资源浪费,正交矩阵虽能生成较优测试集,但其应用范围极为受限。该文提出一种覆盖矩阵构造方法解决上述问题,该矩阵以正交矩阵及其派生矩阵为基础构造,可以减少测试案例集,扩大其应用范围,提高测试效率。用.net工具实现该算法,证明其能够有效、快速地找到一个较优测试集。     

基于二叉树满足MC/DC测试用例设计方法

软件测试是保证软件质量的有效方法,但测试工作过程繁琐,工作量较多。探索高效、可靠的测试用例设计方法一直是大家追求的目标,随着航空航天产品逻辑复杂性的提高及软件规模的日益增大,这种要求也变得更加迫切。依据MC/DC设计的测试用例既提高了测试用例设计的效率又增加了测试覆盖率,比较适合测试逻辑关系相对复杂的软件。当前的很多软件测试工具提供了软件测试覆盖率的判定功能,可以评定设计出的测试用例是否满足MC/DC的要求,而软件测试人员需要的是逆向的过程,论文提出应用唯一原因法和屏蔽法原理设计测试用例,可达到根据逻辑关系自动生成满足MC/DC要求测试用例的目的,提高了测试用例设计的效率。     

基础软件平台的正交组合测试方法设计与应用

针对基础软件平台测试中的测试组合爆炸问题,利用正交表思想,提出了一种可用于组合优化的正交组合方法。此方法可用于基础软件平台的测试用例组合优化过程中,能够在保持覆盖度不变的情形下缩小测试用例规模,从而降低测试过程的成本与周期。通过测试过程实例表明正交组合方法优于传统的测试方法,方法在类似领域均具有较好应用前景。     

基于GIS和SMS的煤矿救援指挥通信系统

煤矿安全形势十分严峻，事故应急救援指挥遇到前所有未有的挑战。文中在描述组件式GIS和SMS技术的基础上，提出了正交软件体系结构模块化的设计思想，给出了以事故监控和事故救援管理为主要功能的基于GIS和SMS技术的系统设计方案，详细分析了SMS组件设计的技术路线。该系统已成功开发并投入试运行。