教学课程资源库 更多>>

关键词： 图形用户界面   软件测试   事件处理函数   代码结构   数据依赖关系  

摘要： 图形用户界面(Graphic User Interface，简称GUI)是大多数软件系统提供给用户的交互接口，其功能正确性直接决定软件质量。GUI测试是检测GUI功能正确性的重要手段，它是一种通过对被测软件GUI元素的测试，验证被测软件的功能实现与规约是否一致的测试方法。在测试资源有限的情况下，对GUI实施准确有效的测试是降低测试成本的一种有效途径。　　GUI具有事件驱动特性，事件处理函数完成预期的GUI功能。GUI错误通常由软件开发人员在实现GUI功能关联的事件处理函数时引入，一般可以分为两类，第一类为事件处理函数内部逻辑实现错误，通常由开发人员误解软件需求所致;第二类为事件处理函数间数据依赖关系实现错误，如在一个事件处理函数内错误地设置某个变量，导致在另一个事件处理函数中使用此变量时发生错误，此类错误通常会导致软件异常、程序崩溃等。　　当前，GUI测试研究方法主要包括基于模型的GUI测试和基于代码的GUI测试。基于模型的GUI测试通过构造尽可能多的用户操作序列，以期发现GUI错误。由于模型（如事件流图模型或有限状态机模型）无法准确描述事件处理函数的内部执行逻辑以及事件处理函数间的数据依赖关系，生成测试用例以覆盖尽可能多的用户操作序列为目标（而非前述的两类GUI错误），导致难以准确有效地对GUI实施测试。基于代码的GUI测试，主要通过静态分析、符号执行等技术对软件代码进行分析测试，其主要目的是尽可能提高被测软件的代码结构覆盖率，然而，代码结构的高覆盖率并不代表事件处理函数间数据依赖关系的高覆盖率，导致无法有效发现第二类GUI错误。　　针对基于模型的GUI测试和基于代码的GUI测试中的问题，根据上述两类GUI错误，本文围绕事件处理函数，从GUI功能实现的角度，分析事件处理函数的内部执行逻辑和事件处理函数间的数据依赖关系，构造事件处理函数图，制定相应的GUI测试覆盖准则;首先研究GUI测试用例生成技术，然后针对GUI测试用例冗余问题，展开GUI测试用例集约简等相关技术研究，以期进一步降低GUI回归测试中的测试成本。主要包括:　　1.定义事件处理函数图。分析GUI元素上的事件与事件处理函数之间的关系，依据此关系对GUI元素上的事件进行分类，定义事件处理函数并提出事件处理函数图。　　2.制定GUI测试覆盖准则。根据事件处理函数的代码结构特征，提出完整最短路径定义，描述GUI功能的执行逻辑;根据事件处理函数间的数据依赖关系特征，提出完整最短路径上的定义-引用对定义，描述事件处理函数间的数据依赖关系。在这两个定义的基础上，分别制定基于完整最短路径以及完整最短路径定义-引用对的GUI测试覆盖准则，前者体现了事件处理函数相关代码结构的覆盖率，后者体现了事件处理函数间的数据依赖关系的覆盖率。　　3.基于反馈的GUI测试用例生成。为了规避根据静态模型生成测试用例时遗漏GUI功能以及生成无效测试用例等问题，在对用户输入数据等价类划分的基础上，将已有测试用例执行信息作为反馈，指导测试用例自动生成。典型的开源被测应用的实验表明，基于此模型的生成方法不仅能有效控制GUI测试用例规模，而且提高了GUI相关代码结构以及数据依赖关系的覆盖率。　　4.基于事件处理函数的GUI测试用例集约简。针对GUI测试用例冗余问题，定义基于事件处理函数执行路径和基于事件处理函数间数据依赖关系的GUI测试用例冗余规则，制定并实现相应的GUI测试用例集约简算法。实验结果表明，基于事件处理函数间数据依赖关系的GUI测试用例集约简技术在保证测试质量的前提下，能有效降低GUI测试用例集的规模。　　5.在移动测试平台的应用。结合上述研究，介绍在“核高基”国家科技重大专项“智能手机嵌入式软件平台研发及产业化”支持下开发的测试原型工具，对其平台上的“想法管理器”、“模拟收费系统”等，构建事件处理函数图，生成测试用例并对测试效果进行评估。　　综上所述，本文针对GUI测试，从事件处理函数的角度，提出了事件处理函数图，制定了两个基于完整最短路径的测试覆盖准则，设计并实现了基于反馈的GUI测试用例生成方法;从事件处理函数执行路径和数据依赖关系的角度，提出了相应的GUI测试用例集约简技术，并取得了较好的测试效果，为GUI测试与实现，提供了丰富的参考。

关键词： 实时系统   软件测试   区域划分   用例生成   测试约简  

摘要： 随着计算机与互联网的迅速普及,实时系统在各个领域都得到了广泛的应用,该类系统诸多动作的实现与时间息息相关,都需要满足一定的时间约束。因此,对这类系统的可靠性与安全性的问题得到了研究人员的广泛关注。基于模型的检测方法是一种对实时系统检测和验证的常用方法,其中时间自动机是诸多模型中使用最为广泛的一种建模工具,它是对自动机理论的扩展,具有描述方法简洁和描述能力强等特点,因而作为模拟实时系统行为的模型得到广泛的研究与应用。本文基于的是时间自动机模型对实时系统进行建模,主要工作如下：(1)在时钟区域划分方法的基础上,提出一种新的划分方法,将无穷状态空间的时钟区域在时钟数量对应的坐标图中划分为若干个等价类,其中只划分为相关的区域内和区域外的两种类型,使得用最少的点能够等价的对应更多的状态空间,简化了对每一个时钟空间的选取,进而减少测试用例的生成数量。同时,还提出了新的计算区域数量的方法以及对时钟区域对应区间与时钟约束的转换进行了分析总结,并得出一般的公式。(2)针对时间自动机的执行状态空间的爆炸问题,特别是其执行模拟空间存在无穷状态,采用基于抽象约简的方法对执行状态空间约简。该抽象约简的技术可以在可达性和安全性上与原系统保持模拟或互模拟关系,并能够将无穷的状态空间约简为有限的状态空间同时保持相应的属性,进一步约简原状态空间测试用例的数目和长度,最终实现了测试用例的约简。(3)针对执行状态中时间约束表达式的冗余和无解问题,采用基于有界差分矩阵(DBM)的表达式约简技术,判定表达式是否有解和是否存在冗余表达式,最终生成不存在冗余的最简的表达式,实现了表达式时间取值的约简,进一步约简路径节点时间维的取值与组合爆炸问题。通过时间维空间的划分规则,结合状态空间约简技术、表达式约简技术能够得到比原执行空间更为约简的状态空间,通过给出具体实例,在划分好的区域中对应选取满足条件的中间点作为区域样点,最终对应生成满足时间维的测试用例。

关键词： 航空工程   信号处理软件   测试技术  

摘要： 近代人类，在全世界的航空和航天领域中，由于软件缺陷造成了一系列不可以挽回的损失，随着嵌入式信号处理软件广泛应用与航天、航空领域，信号处理软件的安全性和可靠性受到越来越多的关注，但由于嵌入式信号处理软件特殊的运行平台，以往的测试方法对信号处理软件的覆盖率测试、性能测试、变量监控和堆栈监控测试都有着种种弊端，使得对信号处理软件的测试工作不充分，软件中存在大量潜在缺陷，给航空和航天设备遗留隐患，如何对信号处理软件将进行全面测试，成为摆在软件测试人员的头等难题。　　本文提供了一种软件和硬件相结合的嵌入式信号处理软件测试方法—RTInsight测试方法，在信号处理软件运行的计算机板中，RTInsight硬件实时提取测试数据，应用RTInsight Pro软件对测试数据进行全面分析，实现嵌入式信号处理软件的覆盖率测试、性能测试、变量监控和堆栈监控测试。　　首先，通过Testbed静态插桩技术、软件编译和烧写、RTInsight测试环境搭建和RTInsight Pro软件分析测试结果等四个方面，介绍了RTInsight测试方法的技术原理，展现了RTInsight测试技术预期测试结果。　　其次，在RTInsight测试方法实现过程中，要搭建嵌入式信号处理软件的测试环境，其测试环境包括了硬件测试环境和软件测试环境。通过制作硬件转接板和―飞线‖技术实现计算机板与RTInsight硬件之间的通信连接，完成信号处理软件测试环境的搭建。　　再次，选择实际项目的信号处理软件，执行软件测试用例，实际验证了RTInsight测试方法的有效性，并分别从覆盖率测试、性能测试、变量监控和堆栈监控四个方面与以往测试方法的对比，说明RTInsight测试方法的先进性与可行性。　　在文章的最后，说明了该测试方法对硬件连接和数据传输方面的局限性，说明了该测试方法在下一步发展目标。总结RTInsight测试方法为嵌入式信号处理软件提供了全新的测试途径。

关键词： 办公自动化   B/S模式   ASP   SQL SERVER   软件测试  

摘要： 办公自动化是信息技术领域的一个分支。办公自动化处理信息技术的应用是在办公环境中去支持典型的办公室的任务,比如文档处理、信息归档,信息检索等等。一个OA办公信息系统是一个自动化信息系统,目的是为了提高典型的办公室任务工作效率和执行效率。传统的办公方式存在大量的弊端,比如纸媒体泛滥、电话通知信息等等,为信息传送和沟通形成很大的障碍,造成人力资源的浪费,降低了工作效率,直接影响企业的生产运营。另外,对于大型企业来说,公司分布在各处,按照传统的办公方式,很多业务需要花费大量的时间在往返路程上,即延缓了信息的传递,还增加了办公的成本。因而建立符合信息化标准的OA办公系统成为企业进一步发展的必然。OA系统可以完成信息的自动收集、分析、传输等功能,方便分散在各处的分部门之间的数据共享,能够即时获得最新信息,为企业管理者提供经营决策参考信息,实现企业管理信息化。本文设计的OA办公自动化系统采取模块化开发,具体管理模块有:个人管理、系统管理、公文管理、会议管理、办公管理和接待管理。各个管理模块的具体功能如下:个人管理模块:个人信息、账号管理、待办事项和个人意见。系统管理模块:用户管理、角色和群组管理、权限分配管理、系统数据备份、公告管理。公文管理模块:发送公文、接收公文、公文审核、公文传阅。会议管理模块:会议列表、会议申请、会议议题审核、周会列表。办公管理模块:交办协办及其添加和审核、待办事项、规章制度。接待管理模块:车辆管理、车辆审核、用餐管理、用餐审核。登陆本文设计的OA系统需要输入用户名、密码、验证码进行身份验证,输入正确进入系统界面,按照事先分配的权限操作。如果输入错误则返回系统登录界面重新输入。在身份验证过程中涉及到的技术有:数据库连接、数据库查询、验证码生成与传输。系统安全采取的措施有:对密码字段采用MD5加解密和防SQL注入技术。本文设计的OA办公系统特点如下:利用计算机软件技术和数据库技术为企业办公自动化提供了一个全面完善的解决方案。系统简单易用,灵活性较强,维护简单、功能扩展强。系统基于B/S的网络设计模式,充分利用了企业内部网络。为保障系统安全,采用用户名密码加验证码技术对用户合法身份验证,同时系统具有数据备份功能,保障系统数据安全。通过增加用户数量、提高测试强度等多种负载测试系统各功能模块,同时结合了多种测试方法验证系统的安全性、可用性。测试显示系统能够安全可靠运行,能够满足企业对系统的预期。系统经过多次重复的功能测试和性能测试,证明能够实现企业对系统的各方面需求,提高了办公室工作人员的工作效率,降低了办公成本,加快了各部门之间信息交流的速度,资源得到了最大程度的利用,也使得日常办公更加规范化。

关键词： 软件测试   FSM   测试集压缩   特殊转换处理  

摘要： 随着计算机的应用日益增多,各行业对软件系统的健壮性和稳定性提出了更高的要求,使得软件测试在整个软件项目中的地位日益重要。基于FSM模型的系统测试是一致性测试的重要研究方向,在实际的测试工作中已被普遍的推广。但由于实际应用场景的多样性和软件设计的复杂性,在某些工作中软件系统的建模描述困难,为实际测试工作带来极大的不便。同时某些经典的测试方法生成的测试用例集规模较大,影响整个一致性测试过程的效率,加重了实际中测试的工作量。由此可见,基于FSM模型的一致性测试在实际应用中存在着若干缺陷,对该技术的研究具有较大的应用价值。针对上述问题,本文中首先介绍了基于FSM模型一致性测试理论,引出了FSM模型的相关概念,详细论述了基于FSM模型测试的经典方法。其次,本文介绍了研究中开发的基于FSM模型的测试方案生成原型系统的总体框架。总体框架主要包括FSM模型绘制模块、测试用例生成及优化模块、FSM模型特殊转换处理模块以及管理模块等主要功能模块。然后,本文分别针对测试用例生成及优化模块和FSM模型特殊转换处理模块进行详细论述。在测试用例生成及优化模块中,提出了一种测试集压缩方法,该方法分别对原始测试用例集进行前缀冗余约简和子串冗余约简,实现了对两种经典测试方法生成的测试集的压缩优化,其结果表明,优化后的测试集能够保证原有错误检测能力不受影响,同时取得了显著的压缩效果。在FSM模型特殊转换处理模块中,本文列举并定义了实际测试中几种特殊场景下的特殊转换形式,分别提出了对其处理的方法,增强了FSM模型的描述能力。最后,基于本课题的应用背景,开发了基于FSM模型的测试方案生成原型系统,该系统包含了各模块的全部功能,利用本系统进行了大量的实例测试,其结果充分验证了研究工作的有效性。

关键词： 软件测试   活动图   UML   测试用例  

摘要： 如今,在复杂的软件系统开发过程中,如何提高软件产品的质量仍是软件行业重点关注的问题。软件测试是保证软件质量的重要手段,而在软件测试中如何生成有效的测试用例是软件测试的核心内容,本文针对测试用例生成方法设计与实现了一种基于UML活动图模型生成测试用例的原型工具,原型工具将软件测试提前到需求分析阶段,不仅能有效降低测试成本,提高开发效率,并且还有助于测试人员尽早发现软件中的错误,减少不必要的损失。基于UML活动图模型生成测试用例原型工具的实现,主要工作分为以下几方面：(1)解析UML活动图模型的XML文件表示形式,将活动图中的相关信息转换为有向图信息,研究从有向图结构中得到活动图节点信息,最后得到相应测试场景。(2)针对UML活动图包含并发模块等复杂结构难以直接生成测试用例的问题上,研究如何将活动图的并发模块单独处理,使复杂的结构简单化。(3)在测试数据的生成方面采用定义测试剖面的方法。通过对输入输出变量进行有效的约束,从而生成满足一定条件的测试数据。(4)设计与实现了基于UML活动图模型生成测试用例的原型工具,并在项目组研发的项目《药品经营与质量管理系统》中,对所设计实现的原型工具进行验证。验证结果表明所设计的原型工具在测试用例生成方面是可行的。分析表明,基于UML活动图生成测试用例的原型工具,能满足在需求分析阶段实现测试用例的生成。通过项目《药品经营与质量管理系统》对原型工具验证,表明了该工具能在需求分析阶段生成有效的测试用例,有效避免了在测试用例生成方面遗漏用例的问题,提高软件测试的效率。

关键词： 多播   软件测试   因特网组管理协议   协议无关多播稀疏模式  

摘要： 随着网络技术持续快速发展,一些多媒体应用,例如在线直播、远程医疗、远程教育、网络电视、网络电台、视频会议等会占用大量的网络资源,带来带宽的急剧消耗和网络拥塞等问题。不同于单播方式和广播方式,多播技术能有效地解决单点发送、多点接收情况下的数据传输的问题。但是IP多播方式也存在着很多不足之处,例如传输可靠性差、报文可能出现乱序、安全性难以保障等。因此,在多播软件产品开发的过程中,必须更系统、更严格的进行软件测试分析、设计、执行,才能确保IP多播软件在网络中运行的稳定性、可靠性和安全性。针对杭州华三通信技术有限公司开发的IP多播软件的实际需要,经过多播软件相关协议分析、多播软件测试设计,我执行了一套通信设备的多播协议软件测试方案,主要内容包括:(1)描述了多播组管理协议IGMP三个不同版本的差异和工作机制;分析了多播路由协议PIM-SM的各项工作机制的流程和特点。(2)以软件测试理论为基础,针对IGMPv1/IGMPv2/IGMPv3和PIM SM协议的特点,进行了软件测试策略的制定,完成了基于多业务路由器的IP多播软件测试的需求分析以及方案设计,并编写了测试用例。(3)对多业务路由器的IP多播软件系统进行测试执行,经过配置测试、功能测试、协议一致性测试、性能规格测试、压力测试、异常测试、组合测试和互操作测试等八大类测试,发现了一些IP多播软件系统及周边模块存在的问题。通过分析问题、复现问题、提交问题单并配合相关开发人员定位问题原因,有效提升了多播软件系统的稳定性,最终通过了鉴定测试中心的鉴定测试,达到了版本发布的要求。

关键词： 软件测试   模块   软件  

摘要： 本文描述的测试软件是为测试三取二安全计算机平台功能的正确性和系统的可靠性而设计的一款专用测试工具。该工具用于测试三取二安全计算机平台的三取二功能、继电器的驱动和采集、UDP协议通信、串口协议通信、热备冗余功能、各板卡的实时工作状态显示、故障报警等。为了逐一测试这些功能,本文详细描述了工具的设计过程和设计方法,并配有流程图。该款工具具有一定的设计创新性,已经得到应用,达到了其设计目的,得到了第三方安全认证公司的认可,使三取二安全计算机平台顺利通过安全认证。

关键词： 人事薪资管理系统   测试方法   功能测试   性能测试   人机界面测试  

摘要： 该文主要介绍了某型人事薪资管理系统的软件测试方案。采用黑盒测试和白盒测试相结合的原理,选取功能测试、性能测试、人机界面测试三种测试类型,重点检测系统功能实现情况以及主要性能指标。文章介绍了部分重点测试用例设计以及执行情况,给出了测试结论。

关键词： 面向对象   软件测试   方法   分析  

摘要： 近年来,随着各种软件应用的增多,软件开发发展的越来越迅速,由此,使得软件测试受到人们广泛的重视。在传统的软件测试中,通常由程序员来自行完成。在软件开发技术发展的过程中,软件开发开始应用面向对象法,虽然这种方法带来了很大的便利,但是对于软件测试工作来说,难度也增大了许多,因此,本文介绍了面向对象的软件测试模型,同时分析了面向对象的软件测试方法。