一种基于事件关系的图形用户界面程序测试方法

从图形用户界面(GUI)应用程序具有的事件驱动运行特征出发，研究了事件之间的可能关系．对事件进行了分类并构造了关联图，在此基础上提出了根据事件关系设计测试用例的基本方法。最后利用该方法对一个实际例子进行测试用例的设计。     

基于模型的图形用户界面软件测试方法

通过研究GUI(图形用户界面)软件的规格说明、GUI结构、GUI代码,构造用于GUI测试的四种不同层次的GUI表示方法,该表示方法可以描述界面间关系的界面调用关系图、界面信息的对象-事件分析图、界面内事件间关系的事件关系流图以及程序内部逻辑结构的事件程序控制流图,在此基础上提出了基于这些模型的复合性测试用例生成方法,并用实例说明该方法的有效性.     

基于时间Petri网的并行测试任务调度

并行测试拥有减少测试时间和降低测试成本的强大优势,正成为研究热点之一;首先介绍了并行测试的基本概念,针对在并行测试系统中由于多任务并行调度,可能引起的资源冲突问题,提出一种基于时间Petri网的并行测试任务调度建模方法;通过搜索Pe-tri网模型的可达树,寻找不同的变迁发生序列;比较不同序列的完成时间,得到完成所有测试任务需要时间最短的并行任务调度序列;最后,在该模型下,对一个实例进行了仿真分析;试验结果表明,该模型适于描述该类型系统的任务调度过程。     

基于有色Petri网和IPSO的并行测试系统任务调度研究

并行测试以减少测试时间和降低测试成本的强大优势成为下一代自动测试系统ATS发展的热点;针对ATS中并行测试任务调度复杂、难以优化问题,提出了一种有色Petri网和改进粒子群优化(IPSO)算法相结合的任务调度优化算法;采用有色Petri网建立并行测试系统模型,得到并行测试的动态特性;采用IPSO算法搜索最优的任务调度路径,得到以测试时间最短为目标的最优任务调度方案;最后,将该算法应用到某型雷达电路板并行测试系统中,研究结果表明,与遗传算法GA相比,该算法效率更高,更利于工程应用。     

基于事件消息驱动的Petri网的类族测试用例生成技术的研究

在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例“爆炸”以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。     

软件测试课程中黑盒测试教学案例的设计

近几年来,随着计算机软件行业的蓬勃发展,软件测试技术的需求不断增长。一些高校开设软件测试这门课程,为 IT 行业培养软件测试人才。而软件测试课程根据其理论性和实验性都比较强的特点,在教学中应采用大量的实例作为讲解的重点。本文根据软件测试过程黑盒测试技术中,比较常见的案例教学进行分析,以求在教学中获得更好的效果。     

基于Petri网的并行测试系统任务过程建模

针对并行测试系统中的测试过程复杂的问题,提出测试任务分解的原则和方法.对分解后的子任务构造任务相关图,并在任务相关图和资源占用情况的基础上,通过任务过程模型算法建立基于Petri网的并行测试任务过程模型,清晰描述测试任务执行过程中的顺序、并发等特性以及测试资源的使用情况.利用模型可分析子任务间的并行性,可为测试系统并行任务调度提供依据.     

基于Petri网的离散事件仿真算法

本文介绍了一种基于Ｐｅｔｒｉ网的模型描述语言ＥＰＤＬ，并给出了Ｐｅｔｒｉ网与离散事件系统仿真相结合的算法。     

一种基于线性逻辑的Petri网分析方法

1 引言 Petri网是一种用网状图形表示系统模型的方法,能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。Petri网理论提供了强大的分析方法,如不变量分析、系统性能分析(如活性)等以证明系统的正确性。近年来Petri网也被用来表示知识推理,例如用于诊断和监控,这就需要发展一种关于Petri网行为的推理主题。有些学者把经典逻辑和Petri网相结合,用Petri网表示产生式规则系统,网的框架代表基于产生式规则     

基于树型模型的黑盒测试用例自动生成

软件测试是保证软件质量的重要手段,尤其是自动化测试可以提高测试效率,降低成本.测试用例的自动获取尤其是黑盒测试用例的自动生成是软件测试的关键和难点.在借助边界值和等价划分等数学原理得到的典型值的基础上,结合自定义的树型模型设计了全面覆盖算法和快速搜索有效用例算法两种面向不同方面的算法.并通过在假设的模型下运用两种算法进行测试数据的生成与测试结果的对比.测试结果表明两种算法各有其自身的优势,有可适用的测试场合、轮次.     

基于界面状态因果图的测试用例生成

在可视化软件测试系统中,测试用例来源于引起对象状态转移的前置条件和触发事件,模拟界面控件状态由消息驱动产生转移变迁的执行特点形成界面状态因果图,提出了基于终态的测试树及其生成算法,讨论了利用这种测试树及相应覆盖准则生成测试用例的方法,最后给出了一个应用实例。     

基于QTP的软件测试实验教学设计

针对《软件测试》课程教学中对测试工具的教学流于产品说明的问题,提出将软件测试工具QTP融于软件测试的实验教学中,设计三次试验采用QTP分别对三角形问题、日期问题和学生信息管理模块进行测试,通过实验,不仅能让学生掌握软件测试的基本技术、熟悉软件测试的基本流程,还能让学生了解测试工具的基本原理、掌握测试工具的使用技能。     

一种用于测试编译优化的程序控制结构生成算法

代码优化是编译器的重要阶段,是编译技术的研究重点。优化算法复杂度高,需要有效地测试用例生成方法对其进行充分的测试。提出了一种测试用例自动生成方法,能直观简单地生成具有可优化成分的程序,有针对性地对编译优化进行有效测试。重点介绍了该方法的基础、程序控制结构生成算法,并介绍了基于本方法实现的一个编译器自动测试工具。     

浅析软件测试中故障模型的建立

软件测试在软件的迅速发展中越来越突显其重要性,在软件测试中,会碰到各种类型灵活性很强的软件故障,所以测试用例的设计显得很重要.针对软件测试用例的难以确定性,通过故障模型的建立,利用故障树分析原理,对故障模式判决软件进行测试用例的设计.     

基于程序执行状态图的软件测试方法研究

软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。最后,文章介绍了使用PESC逐步生成测试路径的方法。     

基于开发测试流程的软件测试用例设计

目前,软件质量保证——测试应用正处在新的发展时期,国内的很多软件企业已经开始重视测试这个环节。着重介绍了在开发测试流程中如何设计高效的测试用例,不同于传统的用例设计方法,重点放在了开发过程和每个阶段的具体操作步骤上。最后,对测试用例执行力做了几点要求,通过它来保障测试用例的效力。     

基于．Net平台美化软件系统界面的美化类库设计初探

本文描述的对象是“利用自定义类库美化软件系统界面的设计方案”．目的是提出为软件系统界面设计一个用于美化的类库的思想．通过对自定义类库包括工具栏、菜单的白定义组件的重新设计。满足客户的需求．同时为软件系统对设类库的调用接口、组件间接口定义提供必要的支持。     

软件测试简介及认识误区

本文简单介绍了软件测试,并对人们意识中一些比较普遍的关于软件测试的误区进行剖析,使人们对软件测试的认识更为清晰。     

基于UML模型的场景测试技术

UML代表着软件建模的发展趋势,对基于UML模型的测试技术研究具有现实意义。本文采用基于UML模型的场景测试技术生成测试用例。     

基于Petri网的软件动态演化的一致性分析

在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。