测试用例自动生成方法研究与实现

测试用例的生成工作是指选定被测任务、分析输入数据、确定其取值、并分析对应的输出数据。软件测试数据生成在软件系统开发费用中占很大比重,如果该过程能自动实现,则会极大地减少软件开发的周期和费用。介绍一种测试用例自动生成的链方法,这种测试技术,结合插装技术及目标跟踪方法,能有效生成测试用例,从而提高了测试效率。     

基于遗传算法的软件测试用例自动生成研究

测试用例由测试输入数据以及与之对应的输出结果组成,测试用例设计的好坏直接决定了测试的效果和结果,所以说在软件测试活动中最关键的步骤就是设计有效的测试用例。文章阐述了一种寻优搜索算法来自动生成软件测试用例数据,即遗传算法,利用遗传算法原理的模型图结合测试用例设计需求,介绍了遗传算法自动生成测试用例数据的思想和步骤,并在此基础上研究了基于遗传算法在测试用例自动生成上的技术。利用此方法产生的测试用例数据可以产生较好的测试结果。     

一种基于高阶Markov使用模型的测试用例自动生成方法

为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法和基于相对熵的测试充分性判定方法。实践表明,改进后的方法有效地提高了测试用例生成的稳定性和测试充分性判定的精确性,与原有方法比较更适合大规模软件的测试,提高了大规模软件自动化测试的效率。     

基于MC/DC准则的确认测试用例生成方法

形式化的需求规格说明以其能够被自动操纵的形式,精确地描述了软件预期提供的功能,为测试提供了良好的条件。运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试中采用的主要途径。MC/DC(修改的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。结合模型检查技术,提出一种从形式化的软件需求中自动生成测试用例的方法,以达到对软件需求的类似于MC/DC准则的覆盖测试。以一个实际的案例为例,并检验其生成的用例对代码的覆盖率,证明方法的实用性。     

基于遗传算法的UML活动图测试用例优化研究

测试用例的选择在软件测试中十分重要,良好的测试用例可以减少时间和资源的使用,因此提出了一种基于遗传算法的UML活动图自动生成测试用例的算法。通过建立UML活动图模型,将活动图转换为有向图,然后采用深度优先搜索方法获得测试路径,应用遗传算法优化得到测试路径。该算法可以提供优先需要测试的路径,用于自动生成高质量的测试用例,提高测试任务的工作效率。     

一种新的基于Web服务超市平台的QoS测试方法

为保证Web服务的质量,需要对QoS(Quality of Service)进行测试.针对QoS测试中测试用例的自动生成和动态更新这些难点,基于实验室自主开发的Web服务超市平台,创新性地提出两阶段QoS测试方法:预测试阶段根据不同的数据选取策略,从数据池中不同的数据分区随机选择需要的数据组成若干测试用例进行测试;实值...     

基于配置前置约束算法的NP测试系统的研究

本文在介绍了现有主流自动测试系统的相关技术基础之上,针对网络处理器的工作特点,设计了一款具有基于配置前置约束的用例自动生成算法的关键字驱动的NP自动化测试系统.实现了从测试用例自动生成、测试序列自动生成、自动执行测试到输出测试结果的全自动NP测试系统框架,在实际对比应用中,由于采用了用例自动生成技术,该测试系统在测试效率和检出问题方面均比原有半自动测试系统有大幅度的提升,并取得了良好的应用效果.     

基于UML活动图的测试用例生成方法设计

传统的软件测试主要依赖人工来产生测试用例,易出错、完备性差、自动化程度低。为了提高测试的完备性和自动化程度,基于模型的测试越来越受到人们的关注,这种方法的优点在于可以及早的发现缺陷,缩短开发时间。文章提出一种基于统一建模语言（Unified Modeling Language,UML）活动图模型生成测试用例的方法,结合实例重点介绍测试路径生成的具体步骤。根据该方法生成的测试用例,可以自动生成测试路径,提高了测试的完备性和自动化程度。     

不容忽视的网络空间底层安全设计

作为安全保护技术的底层设计,协议对于网络及信息系统数据存储和传输起到了不可或缺的保护作用。文章在研究协议实现的安全测试的基础上,针对协议模型的形式化、测试序列的生成以及测试用例的描述等关键步骤进行了研究,对现有的测试用例生成方法进行分析,为研究新的测试用例生成方法提供借鉴。     

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

在对软件进行测试中,生成测试用例是一个工作量巨大的工作,若是依靠手工方式生成测试数据则极有可能出现错误.为了保证测试的充分性,测试用例的有效性,本文研究了如何进行测试数据的自动生成,提出了基于遗传算法的软件测试数据的生成方法.本方法利用遗传算法实现测试数据的自动化生成,并在生成的过程中并对测试数据进行测试,解决了路径覆盖的测试.     

Efficient test case generation for validation of UML activity diagrams

Unified Modeling Language (UML) is widely used as a system level specification language in embedded system design. Due to the increasing complexity of embedded systems, the analysis and validation of UML specifications is becoming a challenge. UML activity diagram is promising to modeling the overall system behavior. However, lack of techniques for automated test case generation is one major bottleneck in the UML activity diagram validation. This article presents a methodology for automatically generating test cases based on various model checking techniques. It makes three primary contributions: First, we propose coverage-driven mapping rules that can automatically translate activity diagram to formal models. Next, we present a procedure for automatic property generation according to error models. Finally, we apply various model checking based test case generation techniques to enable efficient test case generation. Our experimental results demonstrate that our approach can reduce the validation effort drastically by reducing both test case generation time and required number of test cases to achieve a functional coverage goal.     

基于否定选择遗传算法的路径覆盖测试数据生成

路径覆盖是软件测试领域重要的测试方法之一.在搜索空间中,找到一组测试数据满足路径覆盖是一个具有挑战性的问题.因此,自动生成测试数据是软件测试的关键问题.文中提出一种基于否定选择遗传算法的路径覆盖测试数据生成方法,将否定选择策略融入遗传算法,动态优化遗传算法的种群数据,自动生成覆盖目标路径的测试数据.多个基准程序和工业程序的实验结果表明,与随机方法和遗传算法比较,文中方法能够提高路径覆盖率,减少冗余测试数据的生成.     

基于回溯与引导的关键代码区域覆盖的二进制程序测试技术研究

基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度高的函数、循环写内存的代码片断)的执行情况。该文提出了覆盖关键代码区域的测试数据自动生成方法,该方法基于二进制程序,不依赖于源码。通过回溯路径获取所有可达关键代码区域的程序路径,并通过路径引导自动为获得的路径生成相应的测试数据。路径引导策略基于程序的符号执行与实际执行,逐步调整输入,使用约束求解器生成相应的测试用例。理论分析与实验结果显示该文给出的方法可以降低生成测试数据所需要的运行次数,与传统的覆盖路径测试数据生成方法相比,所需要的运行次数显著降低,提高了生成测试数据的效率。     

RFID技术及铁路应用

本文介绍了铁路车号识别系统中的RFID关键技术,对多通道零中频检测技术、无源反射调制技术及射频供电技术进行了分析和实验研究,并设计研制出了一套射频自动识别系统。所研制的射频识别系统工作于915MHz,射频功率1．5W,射频卡为平板振子结构,作用距离0～10m,数据10kbps。具有计算机控制自动显示,报表打印等功能。     

陀螺罗经性能测试方法研究

本文通过分析航海型电罗经的工作原理,提出了陀螺罗经的通用测试平台设计方法, 以及陀螺球性能参数相关的计算方法,通过陀螺罗经测试平台的数据采集,将数据结合陀螺球性能参数进行解算,可以定量的鉴定陀螺球的性能并可以数字输出鉴定结果数据,并将数据通过上位机软件图形显示,测试结果自动计算生成。通过该平台的设计大大提高了陀螺罗经试验测试水平,提高了测试效率。     

Synchronization and Specification Issues in Protocol Testing

Protocol testing for the purpose of certifying the implementation's adherence to the protocol specification can be done with a test architecture consisting of remote tester and local responder processes generating specific input stimuli, called test sequences, and observing the output produced by the implementation under test. It is possible to adapt test sequence generation techniques for finite state machines, such as transition tour, characterization, and checking sequence methods, to generate test sequences for protocols specified as incomplete finite state machines. For certain test sequences, the tester or responder processes are forced to consider the timing of an interaction in which they have not taken part; these test sequences are called nonsynchronizable. The three test sequence generation algorithms are modified to obtain synchronizable test sequences. The checking of a given protocol for intrinsic synchronization problems is also discussed. Complexities of synchronizable test sequence generation algorithms are given and complete testing of a protocol is shown to be infeasible. To extend the applicability of the characterization and checking sequences, different methods are proposed to enhance the protocol specifications: special test input interactions are defined and a methodology is developed to complete the protocol specifications.     

基于DS2172误码测试设备的软硬件设计

误码测试设备采用工控计算机作为设计平台,WINDOWS 2000作为操作系统进行软硬件设计。采用专用误码测试芯片发送/接收测试码,使用大规模集成电路及可编程门阵列FPGA,接口电路包括专用接口和通用接口,其通用数据接口采用多协议接口芯片,能够支持RS422/RS232/V.35等V系列建议接口。采用友好的WINDOWS操作界面,有几十种测试码型,接口类型丰富,不仅能实时显示误码数、误码率和告警等测试结果,还可自动生成测试日志,方便用户对测试结果的输出及分析。