MATLAB环境下的GUI编程

本文介绍了在图形用户界面的软件开发过程中界面设计的原则，应用MATLAB语言，从设计图形用户界面的框架结构和设置其控件属性入手，着重说明了MATLAB语言进行的图形用户界面设计时的若干相关内容的处理要点．     

GUI测试技术调查与分析

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

一种基于形式化描述的测试案例生成方法

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题.针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法.从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化.     

一种基于攻击树的渗透测试模型

借鉴攻击树理论,设计了一种基于攻击树的渗透测试模型,并给出了基于攻击树的渗透测试流程。     

一种基于测试序列失败树的动态测试方法

针对传统的测试方法按照静态的顺序执行预先生成的固定测试集，而实际测试范围可能被缩小，同时测试结果受到测试序列间、测试序列内的影响等问题，提出了一种构造测试序列失败树（TSFT）并用其指导动态测试的方法．该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响，通过TSFT指导测试序列的动态执行，同时还考虑了引导序列和验证序列对测试结果的影响，在避开TSFT的前提下，可在引导序列和验证序列集合中进行搜索和替换，动态地生成新的有效测试序列．实验结果表明，所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响，较明显地提高了实际的测试效率和测试覆盖率．     

基于事件交互图树模型的GUI测试技术

针对目前GUI（graphical user interface,图形化用户界面）软件测试存在的复杂性和低效性问题,提出一种事件交互图树模型．将结构操作事件和系统交互事件相分离,建立组件树图和事件交互图模型,给出详细的GUI软件建模方法,并根据该模型设计测试覆盖率标准和测试用例生成方法,最后应用到实际系统中取得良好效果,大大提高了GUI测试的质量和效率．     

一种小型嵌入式GUI系统的设计

图形用户界面系统是嵌入式系统的重要组成部分,目前已经出现了很多较为成熟的嵌入式GUI,但是系统偏于复杂。针对小型嵌入式系统,采用层次化、模块化、面向对象的思想,提出了一种轻量的嵌入式图形用户界面（GUI）系统,在一定程度上适用于小型的嵌入式产品。     

一种基于网络的多服务器冰箱抽样测试系统

针对冰箱企业中存在多个抽样室的情况，本文提出了1种基于网络的多服务器抽样测试系统的设计方案，并给出了实现方法。该系统为企业类似测试系统的应用提供了1种方案。     

基于图形用户界面的面向对象测试

目前,图形用户界面已成为人机界面的主流。众所周知,图形用户界面是面向对象的,而面向对象技术目前已渗透到计算机科学与工程的各个领域［１］,但有关面向对象测试的研究进展甚微。笔者在分析基于图形用户界面的软件系统的体系结构基础上,对其面向对象测试进行了研究。１　基于图形用户界面的软件体系结构　　基于图形用户界面的软件系统是以窗口或页面为核心的（为方便起见,以下统称页面）。各页面的相互关系通过页面间消息传递来实现,一个页面向另一页面发送一条消息,就激活了该页面（即在屏幕上出现该页面）。页面间消息传递也可…     

一种GUI自动化测试平台的设计与实践

随着软件业的发展,市场上几乎所有的软件包含了图形用户界面（GUI）操作,GUI测试必然成为软件质量保证的重要的一部分[4]。为了提高测试的效率和可靠性,GUI自动化测试受到越来越多的关注。本文在VS2010 Coded UI Test自动化测试工具的基础上,设计实现了的GUI自动化测试平台。使用该平台可以提高测试覆盖率、降低回归测试成本,为软件质量提供保证。     

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

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

基于GUI4J的界面自动生成技术

将XML技术应用到图形用户界面描述中,给出了一种新的图形用户界面自动生成方法,通过运用XML的特性,对界面元素进行规范化描述,通过GUI4J调用Java Swing组件库,动态生成基于Java Swing组件的图形用户界面.实践证明,将该方法应用于测试用例管理系统中,能够降低界面设计编程工作量,并在一定程度上提高软件的开发效率和可维护能力.     

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

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

基于扩展的EDPN的类的交互测试用例生成技术的研究

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例“爆炸”以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性。     

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

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

基于MATLAB图形用户界面的信号分选仿真系统

仿真系统采用MATLAB图形用户界面（GUI）设计实现，参数设置灵活，界面友好，并且能够模拟硬件方案中脉宽（PW）和到达时间（TOA）的测量和提取方式，使系统能更有效地用于研究雷达脉冲分选的过程和验证各种常用算法的可行性．通过比较各算法的性能，挑选出最优方案，指导硬件系统设计，达到节约成本的效果．实践证明，该系统能很好地应用于雷达脉冲信号的分选研究．     

基于．NET 平台的 GUI 软件框架设计

基于．NET平台的通用软件框架，设计了一种全新的GUI软件框架，完成了GUI软件框架中的工作流管理模块。     

基于区间缩减的自动化打桩方法

为了提高自动化单元测试的覆盖率,提出一种基于区间缩减的自动化打桩方法。该方法首先选择一条目标执行路径,利用路径敏感和变量相关的区间计算技术,计算路径对该路径上所有函数调用的路径约束区间,并利用该约束区间对函数调用的返回值区间进行区间缩减,最后根据缩减后的区间进行桩代码自动生成。该方法已经在单元自动化测试系统(UATS)中实现,对10个开源大型函数进行测试的结果表明:该方式将平均覆盖率由50%提高到81%,对于等价表达式较多的函数,覆盖率提高了10倍,证明该文提出的方式能有效地提高自动化单元测试的覆盖率。