一种GUI测试的EDPN测试树生成模型

设计了一种EDPN测试图,提出了基于EDPN测试图的测试树构造算法．在给出基于EDPN测试树覆盖准则的基础上,得出了测试用例生成方法．实践表明,给出的测试方法简单、实用,能对GUI的测试达到较高的测试覆盖率．     

一种基于GUI模型的测试脚本组合方法

为了提高测试效率和测试脚本复用率,提出了一种基于图形用户界面(graph user interface,GUI)模型的测试脚本组合方法.该方法针对GUI层次结构的特点,采用事件关系图和窗口调用图对GUI交互行为进行建模.首先,通过反射机制从程序可执行文件中解析提取事件关系图和窗口调用图;然后,通过构建脚本对象分层信息,从而建立测试脚本与模型的映射关系,再利用映射关系与模型实现脚本的组合.最后,在4款开源GUI应用上进行实验.实验结果表明,所提方法在组合耗时、组合脚本可执行率和模型覆盖率3个方面具有明显优势,验证了脚本组合方法的有效性.     

基于广义环图树的装配模型

提出广义环的概念和方法,并用广义环的划分方法推导了广义环图树．以广义环的划分方法将装配设计图模型转化成用广义环图树来表示的装配模型,用基于广义环图树的装配设计模型建立了 Ｉｎｔｅ Ａｓｍ 系统．     

基于广义环图树的装配模型

提出了广义环的概念和方法，并用广义环和划分方法推导了广义环图树。以广义环的划分方法将装配设计图模型转化成用广义环图树来表示的装配模型，用基于义环图树的装配设计模型建立了ＩｎｔｅＡｓｍ系统。     

树扩图生成树数的界

连通图的生成树是指该图的极小连通生成子图．在Cayley公式的基础上，给出树扩图生成树数的上下界．     

利用对偶图求平面图的生成树数目

图的生成树数目是图的一个重要参数，求连通图生成树数目的方法有很多．本文利用平面图的对偶图的Kirchhoff矩阵来求一些平面图的生成树数目，求这类平面图的生成树数目比直接利用收缩边和去边得到递推公式的方法要简单，该方法对于平面图可以进一步推广.     

完全二分图的生成树的个数

给出了生成子图的定义．证明了生成子图的构造定理和计数定理．提出了任意G（p,q）的生成树的计数方法和构造方法．介绍了完全二分图K3,3的生成树的计数和构造．     

若干图类的生成树数

连通图的生成树是该图的极小连通生成子图。本文求出了所有梯形图、扇形图和轮形图生成树的棵数，分别给出了它们的递推关系式和通项表达式．     

树扩图的生成树数

连通图的生成树是指该图的极小连通生成子图,本文在Cayley公式的基础上,给出每一树扩图类Pn（t）、K1,n-1（t）、Tn（a1,a2,…,ak;t）、Tn,k（t）中的图的生成树数相同．     

基于Flash的分形图形和动画生成技术研究

探讨了在Flash中实现迭代函数系统、图形迭代系统、L系统的思路和方法．重点研究了基于Flash的分形树生成方法,通过把迭代函数系统与Flash中的影片剪辑技术相结合来构造分形树．在此基础上探究了Flash中生成分形动画的两种方法．通过添加鼠标交互、影片运动录制和回放功能以及通过修改参数,实现了舞动的树．     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理,从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

基于事件-状态关联关系的GUI测试评判信息生成

GUI研究中关于测试评判信息的生成均依靠测试人员手工完成,这将严重影响整个测试效率和开销.通过详细分析GUI系统中事件与系统状态的关联关系,定义了事件-状态关联关系的形式化描述,提出了根据该关联关系自动生成与测试用例相匹配的测试评判信息的算法.实验表明,基于事件-状态关联关系的GUI测试评判信息生成方法具有可用性,并能有效解决GUI测试评判信息生成过程中开销过大的问题.     

基于界面状态有效性的GUI自动测试模型

针对图形用户界面(GUI)自动功能测试存在的问题,提出了一种基于图形用户界面状态有效性的有限自动机(FSM)测试模型,给出了建模方法和测试方法,该模型不仅能提高测试脚本的重用性,而且能够自动产生GUI测试路径和测试输入数据。     

基于图形用户界面的软件测试技术

软件测试是软件开发的重要环节，由于软件界面越来越复杂，软件的图形用户界面(GUI)测试也成了一项复杂而烦琐的工作。本文阐述了GUI测试的概念，提出了GUI测试的一般流程及测试指南，同时给出了GUI测试的主要方法，并重点介绍了GUI自动化测试技术。     

基于Web应用系统的GUI测试

软件测试是软件开发的重要环节,Web应用系统的GUI测试是一项复杂而烦琐的工作。本文阐述了GUI测试的概念,提出了Web应用系统的GUI测试的一般流程及测试指南,同时给出了Web应用系统GUI测试的主要方法。     

一种VFSM的图形用户界面的测试方法

采用有限状态机（FSM）来模拟GUI的测试问题具有很大的局限性。作者针对基于FSM的GUI测试的局限性，提出了一个变量有限状态机（VFSM）的形式化模型，该VFSM通过引入一组变量，可以使用较少的状态来模拟复杂的GUI，并且根据GUI设计规范来构造VFSM相对比较简单；然后，给出了一个VFSM－＞FSM的转化定理和转化算法；接着介绍了基于VFSM的GUI测试方法的步骤；最后给出了该方法的一个应用实例数据，数据表明采用VFSM的GUI测试方法大大减少了状态、变换和输出的数量。     

GUI测试技术调查与分析

GUI(图形用户界面)软件系统的多样性决定了测试方法的多样性。针对GUI软件测试中如何选择测试技术的问题,通过设定的8个技术参数,在对测试技术进行分析后,提出了根据故障模型对GUI测试技术进行分类的方法。分析结果清晰地显示了每种测试技术的特点,能为测试员选择合适的测试技术完成测试活动提供新的思路,提高测试效率。     

基于粒计算-SDG的故障诊断仿真平台

针对目前实际工业系统不允许在运行中进行实时的故障诊断试验及研究的问题,设计了基于Matlab中GUI的高温硝酸冷却系统的故障诊断仿真试验平台。本试验平台采用符号有向图的深层知识模型和反向推理方法,利用系统模型中的相容通路,推理基本故障的故障诊断规则,引入信息粒度和信息粒化原理,实现了粒矩阵的知识约简算法,构建了基于粒计算-SDG的故障诊断方法。最后通过实验验证了该仿真试验平台的有效性。     

移动终端软件自动化测试技术的研究与应用

基于GUI软件的自动化测试方法，提出了一种移动终端软件的自动测试方法。通过脚本对移动终端的仿真软件的自动化测试，间接地达到对移动终端本身软件实现自动测试。还详细阐述了自动测试工具的软件体系架构、移动终端的屏幕信息数据流的编解码和屏幕图形的压缩／解压缩方法。