基于组合模型的高效黑盒测试用例设计

测试用例的选择和生成技术是软件测试尤其是黑盒测试中一个重要研究领域.测试用例的质量将影响软件测试的科学性和有效性.组合模型是一种应用十分广泛的软件黑盒测试模型,在一般测试用例选择方法基础上,结合典型应用提出了一种基于组合模型的高效黑盒测试用例设计方法.该方法产生的测试用例具有数量少,能实现组合模型中参数间最大限度组合的特点,从而提高软件测试质量的同时.降低成本,提高效率.     

一个基于UML协作图的集成测试用例生成方法

UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为,确认它们是否被正确实现是集成测试的工作.本文提出了一个基于UML协作图生成集成测试用例的方法,将表示设计的协作图作为测试模型,首先通过遍历每条消息的直接后继识别协作图中的表示用例实现的所有可能的场景路径,然后在遍历每条场景路径的过程中获取相应协作执行的路径条件、参数变量和预期方法调用序列,最后使用范畴-划分方法确定场景路径上的输入、输出、环境条件的合理组合作为覆盖该场景路径的测试用例,用于测试一个协作场景路径上的交互行为.该方法,集成了白盒方法和黑盒方法,在覆盖所有的测试需求的前提下,生成的测试用例较少.     

基于混合粒子群的IMX系统组合测试用例集生成

测试用例生成是组合测试领域的关键任务。针对国际航空运输协会的全球航空公司综合管理系统在软件测试中面临的测试用例冗余问题,分析粒子群算法生成单个测试用例时不同参数取值以及取值对结果的影响,以此为基础提出一种以one-test-at-a-time为扩展策略的混合粒子群组合测试用例集生成算法。以全球航空公司综合管理系统中的参数为实验数据,实验表明,该方法在生成尽可能少的组合测试用例集上是有效的,且可以减小该系统组合测试用例集规模,提高待测软件系统的测试效率。     

一种自动化测试技术的研究与实现

软件测试是保证软件质量的重要手段.随着软件产业的快速发展,手工测试已经不能满足软件测试的需要.然而,不能自动化生成测试用例和测试脚本又已经成为阻碍自动化测试的主要原因.因此本文提出了一种自动化测试技术,由数据库管理每个要素的测试用例,采用一种"分步组合法"组合测试场景中每个要素的测试用例,快速而覆盖面比较均匀地生成被测场景的所有测试用例,并通过模板技术自动生成测试用例对应的测试脚本,从而大大提高测试效率.最后,通过实际应用验证了该技术的可行性.     

基于支持向量机回归模型的测试用例生成与重用

在软件测试领域,利用遗传算法生成测试用例是一个研究热点.传统方法在利用遗传算法生成测试用例时,需要计算每个个体的适应度.为了降低适应度计算的时间消耗并重用测试用例,提出一种融入支持向量机回归模型的测试用例生成与重用的方法.在使用遗传算法生成测试用例的过程中,利用一定数量的个体及其适应度作为样本训练支持向量机回归模型.在之后的种群进化中,根据回归模型计算个体适应度,同时利用回归模型查找适应度较高的个体并重用到新种群的进化中.在某大型程序实验中,该方法与同类经典方法相比,覆盖率提高了3％,平均进化代数也有所降低,其降低百分比达85.97％.     

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

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

SOArTester4RT:一种面向组合服务演化的高效回归测试工具

提出了一中基于有向图关键路径选择的组合服务回归测试方法.通过分析组合服务执行流,识别受影响的执行流,选择适当的回归测试路径,并生成相应的回归测试用例.基于该方法,在SOArWare平台上实现了SOArTester4RT 工具.实例分析和测试结果表明:该工具可以对BPMN的各种控制结构加以分析,产生必需的测试用例,有效提高了组合服务演化后的回归测试效率.     

基于错误交互集的组合测试软件故障定位方法

提出了一种基于错误交互集的组合测试软件故障定位方法.根据组合测试数据的执行结果,生成可能的错误交互集,通过对集合中全部交互进行定性分析,以有效的避免不同测试用例覆盖的相同错误交互被重复定位的情况,减少所需附加测试用例的数目.提出了基于错误密度的测试用例分析方法,将已有测试结果作为先验知识,提高错误定位的效率.最后,经过算法效率分析及实验验证,本文算法能够在保证准确定位错误交互的基础上,有效减少所需附加测试用例的数目.     

基于组合的业务分析及自动生成用例的方法

给出了一种可自动生成用例的业务分析方法.用组合表的方法分析业务,充分考虑了相关联业务的各种取值及各种影响关系,在避免重复用例的情况下大大增加了测试用例的覆盖度,保证了被测系统的质量.根据上面的算法,在计算机中实现了软件原型,在具体业务中,将通过组合分析所产生的业务分析表导入到程序中,通过自动分析,得出基于组合和组合规则的测试用例.     

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

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

基于无线传感器网络的远程自动抄表系统设计

针对居民小区抄表系统的技术要求,设计了一种基于无线传感器网络的的远程自动抄表系统方案,该系统将有线通信与无线通信、ZigBee短距离通信与GPRS/CDMA/3G远距离通信有机地结合起来,实现了居民小区的远程自动抄表。给出了组网结构图,阐述了抄表管理中心的软件结构框图和主要功能。与传统的实现方案相比,该方案的通信设计有明显的优势。     

基于UML模型和OCL约束的类间交互测试用例生成方法研究

 面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.     

基于B/S远程在线教育系统的设计与实现

针对传统课堂教学不能很好地延伸和拓展,学生不能灵活地掌握学习主动权,学生学习和教师教学缺乏有效交流平台等问题,将Browser/Server三层体系结构、Servlet、JDBC技术应用于远程在线教育系统中.研究了系统实现的技术原理,系统功能需求,从系统用例图、时序图、协作图、状态图方面进行了系统UML建模、完成了数据流图、数据字典、系统流程和数据库设计,最后对系统进行了黑盒测试,测试结果达到了预期效果.     

数字信道中误码发生器的设计与实现

针对测试的需求,提出了一种结合博克斯.马勒(Box-Muller)变换法和线性同余算法实现高斯分布随机误码产生器的方法。通过设定不同的判决门限可得到不同的误码率。随后采用现场可编程门阵列(FPGA)实现了数字基带信号的高斯分布误码插入,该方法具有精度高、容易实现和误码率设定灵活的优点。通过误码仪对该误码发生器的测试结果与MATLAB软件仿真结果进行对比,结果表明该方法切实可行。     

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.     

Performance of a class of parallel spread-spectrum code acquisitionschemes in the presence of data modulation

An acquisition procedure for data-modulated direct-sequence spread-spectrum systems is investigated. The correlation time is partitioned into subintervals, and the integration results in these subintervals are noncoherently combined for detection. The tradeoff between noncoherent combining loss and data modulation degradation guides the optimum choice of the number of subintervals. Two forms of data modulation are considered, namely, the alternate-data and random-data cases. The parallel acquisition schemes discussed allow multiple code-phase offsets to be examined at each test. The circular state diagram approach is used to analyze the performances of these schemes. The theory presented is valid for a class of such parallel schemes     

基于FPGA的ISA总线/MMИ总线数据转换电路设计

某型导弹测试设备控制总线为通用的ISA总线,而通信接口总线为非标准的MMИ总线。在此以FPGA为核心设计了一种ISA总线/MMИ总线转换电路,该电路可以完成2种制式的数据和控制指令转换。给出了转换电路原理框图、FPGA配置电路和地址比较电路原理图。实验结果表明该电路具有转换数据准确,工作可靠等优点。实际应用表明,该电路完全能达到测试设备的要求。     

基于电力线通信的远程电能计量监控系统设计

为了解决目前电业管理中存在的电能非法使用问题，提出了一种基于电力线通信网络的远程电能计量监控方法。该系统具有电能的自动计量、远程数据传送、防止非法用电等功能。给出了防止非法用电的系统结构框图，设计了基于ST7538的电力线通信模块和基于ATT7022A的电能计量监控模块，给出了其硬件结构图及软件程序流程图。最后，对该系统进行了电能计量精度测试和电力线通信可靠性测试，给出了测试数据。经过初步试验证明本设计模块是有效的。