基于EMC和HA的UML Statecharts检测研究

后续软件的正确开发取决于UML软件体系模型是不是反映了用户的需求.UML Statecharts可以把一个系统的行为正确地完整地描述出来,还可以展现系统功能.所以UMLstatecharts是UML模型检测的重要的对象.可以把UML Statecharts转成层次自动机HA[1],那么就可以让UML Statecharts没那么复杂,结构变得简单很多.之所以要在EMC[4]的基础上建立模型检测方法,是因为UML statecharts它有时序性.这种检测方法就是在对HA[1]描述的时候要使用Kripke[1]结构,对系统的性质进行描述时用时态逻辑,并标记状态.要判断出每一个状态能不能和相应的性质相匹配,对那些不符合的要给出不符合的状态序列,然后再次基础上优化.     

基于UML活动图的测试用例生成方法设计

传统的软件测试主要依赖人工来产生测试用例,易出错、完备性差、自动化程度低。为了提高测试的完备性和自动化程度,基于模型的测试越来越受到人们的关注,这种方法的优点在于可以及早的发现缺陷,缩短开发时间。文章提出一种基于统一建模语言（Unified Modeling Language,UML）活动图模型生成测试用例的方法,结合实例重点介绍测试路径生成的具体步骤。根据该方法生成的测试用例,可以自动生成测试路径,提高了测试的完备性和自动化程度。     

基于UML集成测试模型的生成方法

UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例.     

基于遗传算法的UML活动图测试用例优化研究

测试用例的选择在软件测试中十分重要,良好的测试用例可以减少时间和资源的使用,因此提出了一种基于遗传算法的UML活动图自动生成测试用例的算法。通过建立UML活动图模型,将活动图转换为有向图,然后采用深度优先搜索方法获得测试路径,应用遗传算法优化得到测试路径。该算法可以提供优先需要测试的路径,用于自动生成高质量的测试用例,提高测试任务的工作效率。     

基于FSM的Web应用测试用例生成研究

Web应用测试是提高Web应用质量的重要手段,测试的核心工作就是生成测试用例。生成测试用例主要有两大步骤:(1)从Web应用中提取模型。(2)遍历表示模型的有向图,产生测试用例。首先采用Html分析法结合源代码分析法提取FSM模型,随后在新提出的Web应用最小测试成本迁移覆盖准则下,利用一种复合的启发式搜索算法--模拟退火遗传算法遍历模型。通过比较模拟退火遗传算法和传统的搜索算法的效果,实例证明,该方法比传统方法生成的质量更理想。     

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

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

基于UML的面向对象软件回归测试研究

研究了UML图及事物间的关系,提出了基于UML的面向对象软件回归测试技术,它能有效地控制测试范围和缩减测试用例,帮助软件测试人员在不增加测试风险的情况下选择合适的测试用例和减少测试量,提高软件回归测试的有效性和降低软件测试成本.     

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

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

Web应用测试模型研究

本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室．     

测试用例自动生成方法的现状及研究

软件测试数据生成在软件系统开发费用中占很大比重。如果该过程能自动实现,则会极大地减少软件开发的周期和费用。测试用例的生成工作包含选定被测任务、分析输入数据、确定其取值并分析对应的输出数据。其中分析对应的输出数据是决定测试是否成功的关键环节。测试用例选取的一个中心原则,就是以用最少的测试用例找到尽可能多的错误。目前的工具尚不能完成自动生成测试用例这个环节,往往是只能采用人工选取的方法。按所采用的方法和研究对象的不同,将测试用例自动生成方法主要分为5类:基于有限状态集的测试,基于标注的转换系统的测试,针对面向模型的需求规格说明的测试,针对面向对象软件的测试,以及运用模型检查生成测试用例的方法。在简单介绍前4种方法之后,重点对模型检查的方法进行详细的分析和探讨。     

VI仿真环境下嵌入式软件测试研究与应用

嵌入式软件测试与通用软件测试有相通之处,也有很大差异,嵌入式系统测试与系统软硬件平台关系密切且对测试环境、测试方法都有特殊要求。测试用例设计是软件测试的核心,决定了软件测试的最终效果。在软件测试环境能更方便地进行测试用例注入,且软件测试环境直接影响着软件测试的效率。本文论述了嵌入式软件测试技术,分析了采用UML生成测试用例的方法,论述了采用VI技术搭建仿真测试环境的原理。采用所述方法实现了某型号分系统嵌入式软件测试。     

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

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

基于数据流的软件测试序列自动生成技术研究

测试用例自动生成技术是软件测试的一个重要研究领域，而如何从待测试程序中选取适当的测试序列集合是其中的一个关键问题。文章提出一种构造结构性测试序列集合的方法，此方法首先对待测试程序进行静态分析，然后根据程序的语句间关系生成程序图，最后基于数据流测试准则，根据程序图以及变量的定义和使用信息构造结构性测试序列集合。在Linux平台上使用这种方法对若干条程序进行分析处理，得到的测试序列集合可以使待测试程序得到充分测试。本文提出的方法具有比较高的测试覆盖，同时，在计算过程中避免了无用路径的生成，节省了算法空间和执行时间。     

测试用例自动生成方法研究与实现

测试用例的生成工作是指选定被测任务、分析输入数据、确定其取值、并分析对应的输出数据。软件测试数据生成在软件系统开发费用中占很大比重,如果该过程能自动实现,则会极大地减少软件开发的周期和费用。介绍一种测试用例自动生成的链方法,这种测试技术,结合插装技术及目标跟踪方法,能有效生成测试用例,从而提高了测试效率。     

不容忽视的网络空间底层安全设计

作为安全保护技术的底层设计,协议对于网络及信息系统数据存储和传输起到了不可或缺的保护作用。文章在研究协议实现的安全测试的基础上,针对协议模型的形式化、测试序列的生成以及测试用例的描述等关键步骤进行了研究,对现有的测试用例生成方法进行分析,为研究新的测试用例生成方法提供借鉴。     

一种基于状态规格说明的OBDD测试用例生成方法

为了有效地在规格说明层面对软件系统进行测试,A.J.Offutt[1]针对系统的状态规格说明定义了一系列覆盖准则,并阐述了如何基于系统的状态表示生成满足覆盖准则的基本方法。本文引入了一种应用于大型集成电路设计的数据结构OBDD(有序二叉决策图)作为生成测试用例的基本结构,创新地提出了一种新的生成测试用例方法。     

基于智能交互技术的自动化测试方法研究与实现

在对交互式软件进行测试分析的基础上,本文提出了一套自动化测试框架中UI交互的智能模型,测试系统利用屏幕感知技术获取待测系统的状态并积累到专家系统中,专家系统根据待测系统的状态分析产生下一测试动机,选择测试数据生成测试用例,使测试工程师从测试动机的发起者转变成测试系统的监控者,力求解决由于测试工程师能力不同带来测试质量不同的问题。实践证明,基于智能交互技术的自动化测试大大提高了测试用例生成的质量和效率,由该技术支持的自动化测试框架已经在一些大型金融系统中得到应用,并取得良好效果。     

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

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

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

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

基于启发式搜索和分类树的网络协议模糊测试用例生成方法研究

模糊测试通过向目标系统注入大量的非预期输入找出系统漏洞,是安全检测和漏洞挖掘的有效方法。针对网络协议模糊测试的关键问题之一——测试用例生成方法进行研究,论述了网络协议模糊测试的意义、方法和关键问题,在启发式搜索算法和分类树思想的基础上提出了启发式网络协议模糊测试用例生成方法,分别选取模糊器Peach和FTP作为验证平台与目标协议,借助IDAPro工具提取启发算子并将其写入配置文件,用于指导目标协议测试用例的生成过程,通过测试结果分析验证了启发式网络协议模糊测试用例生成方法的可行性与有效性。