检索结果-内蒙古大学图书馆

计算机科学 2018年第4期45卷 203-207,214页

作者：郭俊霞郭仁飞许南山赵瑞莲北京化工大学信息科学与技术学院北京100029

在Web应用软件模型表示研究领域中,研究对象主要为不含Ajax技术的应用程序。少数针对Ajax(Asynchronous JavaScript and XML)的模型构建采用传统的FSM模型表示方法,并不能描述客户端消息触发后的参数传递问题;在FSM模型的基础上引入UML... 详细信息

在Web应用软件模型表示研究领域中,研究对象主要为不含Ajax技术的应用程序。少数针对Ajax(Asynchronous JavaScript and XML)的模型构建采用传统的FSM模型表示方法,并不能描述客户端消息触发后的参数传递问题;在FSM模型的基础上引入UML分层模型的表示方法因需要人工干预,不利于测试用例的自动生成。针对上述问题,借鉴efsm模型这一重要的软件描述模型,从用户的Session数据出发,通过日志数据分析用户的行为,并记录客户端的操作事件。通过对用户行为和客户端操作事件进行匹配,生成完整的用户会话,从而建立efsm模型。实验结果表明,该efsm模型能够有效地表示Web应用程序的状态以及状态的变化情况,并可以有效地为测试用例自动生成服务。

关键词： Web应用软件用户Session数据 Ajax efsm模型

来源：评论

学校读者我要写书评

暂无评论

基于Ajax的Web应用客户端的efsm模型构建

基于Ajax的Web应用客户端的EFSM模型构建

引用

作者：王泽宇北京化工大学

学位级别：硕士

基于模型的软件测试技术在学术界和工业界得到越来越多的重视,已成为自动化测试的一个重要研究方向。进入Web2.0时代之后,Ajax技术广泛应用于Web应用中。由于Ajax技术可以对Web页面异步刷新,因此给Web应用的模型表示带来了新的挑战。在... 详细信息

基于模型的软件测试技术在学术界和工业界得到越来越多的重视,已成为自动化测试的一个重要研究方向。进入Web2.0时代之后,Ajax技术广泛应用于Web应用中。由于Ajax技术可以对Web页面异步刷新,因此给Web应用的模型表示带来了新的挑战。在Web应用建模方法研究领域中,研究对象主要为不含Ajax的Web应用,少数针对Ajax特性的建模方法采用传统的FSM模型或UML模型来表示,并不能描述客户端消息触发后的参数传递过程。因此,本文采用efsm(扩展有限状态机)模型作为Web应用的描述模型,给出一种针对Web应用客户端的efsm模型构建方法。通过对efsm模型状态及迁移的定义,利用实际的用户行为轨迹信息,对Web应用客户端进行建模。对于用户行为轨迹trace,提出三种充分性准则用以补充轨迹集合,并依据某种准则生成相应的最小trace集。基于用户行为轨迹,构建初始efsm模型,并进行修订和约减,在减少了模型中冗余状态及迁移的同时,能有效确保建模结果的有效性。为验证所提出建模方法的有效性,论文有针对性地进行了一系列实验。结果表明:利用本文所述方法能够在合理的时间内构建Web应用客户端的efsm模型,该模型能够表示基于Ajax的Web应用异步刷新特性及参数传递。利用本文提出的充分性准则生成的最小trace集,可以在减少原始轨迹集的同时,保证建模结果的完整性,提高了建模效率。

关键词： efsm模型最小集 Ajax技术 Web应用用户行为轨迹

来源：评论

学校读者我要写书评

暂无评论

基于依赖关系的efsm模型事件失效修复方法

基于依赖关系的EFSM模型事件失效修复方法

引用

作者：史婷婷北京化工大学

学位级别：硕士

软件的修复需要修复算法对整个系统有深入的理解,然而随着软件规模的增大,对于理解与分析整个系统能力的要求越来越高。模型是一种软件系统高层次的抽象,可以简化对于整个软件系统的理解,简化软件系统修复算法的设计,而扩展有限状态机(E... 详细信息

软件的修复需要修复算法对整个系统有深入的理解,然而随着软件规模的增大,对于理解与分析整个系统能力的要求越来越高。模型是一种软件系统高层次的抽象,可以简化对于整个软件系统的理解,简化软件系统修复算法的设计,而扩展有限状态机(efsm模型)是其中重要的一种,主要由状态、迁移及迁移上的信息组成。在现有的基于efsm模型相关技术中,当模型所处的环境发生变化后,也就是模型的部分触发事件发生失效,主要采用静态分析技术,将失效事件及之后的相关功能完全删除。为保证模型不受失效事件影响,该方法最大可能删除与失效事件直接相关和潜在相关的迁移及迁移上的信息。甚至在某些情况下,该方法会导致整个模型完全不可用。本文通过分析原有方法的不足,结合最新的模型依赖分析技术,提出了一种新的基于依赖关系的efsm模型事件失效修复方法。该方法不是简单的删除失效事件点之后的相关功能,而是通过依赖分析,区分与失效点存在直接关系和潜在关系的功能,识别可修复迁移路径,并通过模型状态及迁移等价合并等操作,该方法在保证模型修复后可用的前提下,尽可能多的保留了原模型的功能。为了验证本文所提出修复方法的正确性,本文通过理论和实证两个方面进行了论证。在理论方面,本文通过引用模型相似性的概念,通过形式化证明的方式,证明了修复后模型相对于原模型是在语义上一致的。在实证方面,本文通过两个方面验证修复方法的正确性和修复效果:通过比较修复后的模型相较于原模型而言,分析模型信息量的变化情况;根据修复方法提出测试用例修复方法,对修复后的模型上执行修复后的测试用例的执行路径,与原模型上执行原测试用例的执行路径,进行比较。实验结果证明,本文所提出的efsm模型修复算法在保证了大部分功能的前提下,语义上一致,结构上相似。

关键词：模型修复依赖关系 efsm模型事件失效

来源：评论

学校读者我要写书评

暂无评论

基于Session的Web应用软件efsm模型构建及测试用例生成方法研究

基于Session的Web应用软件EFSM模型构建及测试用例生成方法研究

引用

作者：郭仁飞北京化工大学

学位级别：硕士

进入Web 2.0时代之后,由于Ajax技术在Web应用软件中的广泛使用,使得Web页面局部刷新的特点凸显出来,这给Web应用软件的模型表示带来了困难。在Web应用软件建模表示研究领域中,研究对象主要针对不含Ajax技术的应用程序,少数针对Ajax的模... 详细信息

进入Web 2.0时代之后,由于Ajax技术在Web应用软件中的广泛使用,使得Web页面局部刷新的特点凸显出来,这给Web应用软件的模型表示带来了困难。在Web应用软件建模表示研究领域中,研究对象主要针对不含Ajax技术的应用程序,少数针对Ajax的模型构建采用传统的FSM模型的表示方式,并不能描述客户端消息触发后的参数传递问题;而在FSM模型的基础上引入UML分层模型的表示方法,使得模型结构比较复杂,不利于测试用例的自动生成。针对上述问题,本文借鉴efsm模型这一重要的软件描述模型,提出Web应用软件的形式化描述方式。并结合基于状态和基于Session的测试方法,以用户实际Session数据为基础构建Web应用软件的efsm模型。利用模型对Web应用软件进行测试是本文进行模型建模的主要目的之一。本文在构建efsm模型的基础上,根据Web应用软件efsm模型的特点,设计测试路径的生成规则,以及用于测试数据生成的约束求解规则。为进一步验证本文方法所构建的efsm模型的有效性,设计并进行相关实验。结果表明:该efsm模型能够有效地表示Web应用软件的状态以及状态的变化情况,且在Session数据达到一定程度时能够对Web应用软件进行有效地表示。通过对测试用例生成的实验表明,本文所提出的测试路径和测试数据生成规则可以指导测试路径和测试数据进行有效生成,并且生成的测试用例能够对Web应用软件中存在的错误进行有效地检测。

关键词： Web应用软件用户Session数据 Ajax efsm模型测试用例生成

来源：评论

学校读者我要写书评

暂无评论

基于efsm模型的故障重现研究

基于EFSM模型的故障重现研究

引用

作者：任程前北京化工大学

学位级别：硕士

目前,现代软件产品已广泛应用于社会各个领域。研究表明,现代软件超过45%的开发成本消耗在故障定位和修复过程中。故障重现是故障定位和修复的前提,对软件质量保障至关重要。现有的故障重现方法主要有“记录-重放”和“故障后处理”。... 详细信息

目前,现代软件产品已广泛应用于社会各个领域。研究表明,现代软件超过45%的开发成本消耗在故障定位和修复过程中。故障重现是故障定位和修复的前提,对软件质量保障至关重要。现有的故障重现方法主要有“记录-重放”和“故障后处理”。前者需要对源程序插入辅助代码记录执行信息,可能会对程序执行造成影响,并且消耗额外资源;后者在故障发生后通过分析系统堆栈信息,从中抽取测试数据,在源程序中运行获取故障执行路径,可能会因堆栈信息记录不足导致故障无法重现,不利于故障的定位与修复。如何自动化高效的重现故障是目前软件工程领域的一个研究热点。软件模型是软件系统的抽象化表示,扩展有限状态机模型(Extended Finite State Machine,efsm)是一种重要的软件模型。它通过状态、迁移等信息可精确地表达系统的行为及数据流信息。目前,基于模型的软件开发已广泛应用,基于模型的故障重现使开发人员更容易理解故障产生的原因,可帮助开发人员快速定位故障,进而提升故障修复效率。因此,本文提出一种基于efsm模型的故障重现方法,采用前向搜索策略,依据故障信息在efsm模型上实现故障的自动化重现。该方法首先分析故障间关系,以确定优先重现的故障;设计故障起始节点优先级准则,以指导故障重现路径搜索起始节点的选择;在前向搜索过程中,应用前序迁移优先级准则指导前序迁移的选择;并在故障迁移路径生成过程中确保其可行性,提高故障重现的准确性。为验证本文故障重现方法的有效性,以四个开源模型及故障信息为对象,对模型的故障进行自动化重现。实验结果表明,本文提出的方法可以在模型中快速、准确地生成可触发故障的重现路径,有效地重现故障。

关键词：故障重现故障分析前向搜索 efsm模型

来源：评论

学校读者我要写书评

暂无评论

面向efsm模型的故障树构建及验证

面向EFSM模型的故障树构建及验证

引用

作者：刘伟宁北京化工大学

学位级别：硕士

故障树分析(Fault Tree Analysis,FTA)是一种度量软件系统风险性的有效手段。故障树分析最根本、最关键的环节是故障树的构建。针对有限状态机FSM(Finite State Machine,FSM)模型构建其故障树是一种常用方法,但FSM模型通常不能精确描述... 详细信息

故障树分析(Fault Tree Analysis,FTA)是一种度量软件系统风险性的有效手段。故障树分析最根本、最关键的环节是故障树的构建。针对有限状态机FSM(Finite State Machine,FSM)模型构建其故障树是一种常用方法,但FSM模型通常不能精确描述软件系统的控制流和数据流信息,其构建的故障树常常无法准确描述系统出现故障的原因。efsm(Extended Finite State Machine,efsm)模型相较于FSM能更精确地描述系统的控制流和数据流信息,已广泛用于复杂软件系统的建模。然而,由于efsm模型迁移变量之间关系复杂,故障溯源分析困难,从efsm模型构建其故障树较为困难。此外,现有故障树验证一般采用静态分析方法,未对故障进行动态触发验证,难以验证故障树的有效性。为此,本文提出一种面向efsm模型的故障树自动化构建及验证方法。针对efsm模型的故障状态,同时考虑其控制依赖和数据依赖关系,对故障进行溯源分析,构建故障的失效因果链;在此基础上,确定不同失效因果链节点间的逻辑关系,分析其失效原因,构建故障树。为验证故障树的有效性,提取故障树的故障触发模式,并以此为基础,设计A*算法指导efsm模型上测试用例生成,以触发模型故障,验证故障树的有效性。为了验证本文提出面向efsm模型的故障树构建及验证方法的有效性,本文针对ATM、Cruise Control、Cashier、Vending Machine等八个常见的嵌入式系统efsm模型进行实验,实验结果表明,面向efsm模型故障,构建的故障树可有效描述故障的原因。

关键词： efsm模型故障树失效因果链故障溯源故障树验证

来源：评论

学校读者我要写书评

暂无评论

基于efsm模型的面向多样性的测试用例生成研究

基于EFSM模型的面向多样性的测试用例生成研究

引用

作者：宋雨琪北京化工大学

学位级别：硕士

基于模型的软件测试凭借其测试生成效率高、易于实现等优势,在自动化测试领域受到了广泛关注。扩展有限状态机efsm模型是诸多软件模型中的一种,然而,efsm模型测试覆盖准则存在的局限性影响了 efsm模型测试用例的故障检测能力,同时,efsm... 详细信息

基于模型的软件测试凭借其测试生成效率高、易于实现等优势,在自动化测试领域受到了广泛关注。扩展有限状态机efsm模型是诸多软件模型中的一种,然而,efsm模型测试覆盖准则存在的局限性影响了 efsm模型测试用例的故障检测能力,同时,efsm模型的测试效率随软件规模的增大而降低。因此,提高efsm模型测试生成的有效性及效率已成为目前基于模型的软件测试的研究热点。本文针对目前efsm模型测试生成有效性较差和测试生成效率较低的问题,提出了一种面向多样性的efsm模型测试用例生成方法(Diversity-oriented efsm test suite generation method,DOTSG)。本文根据efsm模型及其测试用例特点,分析了导致efsm模型测试用例间存在差异的影响因素,并量化各因素给出了 efsm模型测试用例差异性和efsm模型测试用例集多样性的度量方法。为了将efsm模型测试用例集多样性度量引入基于遗传算法的efsm模型测试序列生成中,进一步给出两种efsm模型测试用例集多样性优化策略。同时,从个体编码、遗传操作算子和个体可行性判别三方面对遗传算法过程进行优化,使得遗传算法能够更适用于面向多样性的efsm模型测试用例生成,以在满足测试覆盖准则的前提下,生成可执行且多样性较好的efsm模型测试用例集。为评估方法有效性,本文选取了六个efsm模型作为被测对象,面向全迁移覆盖准则进行基于遗传算法的面向多样性的测试用例生成,并分别从测试用例的故障检测能力、测试生成效率和测试用例集规模三方面进行了对比和分析。实验结果表明,在满足全迁移覆盖准则的前提下,本文DOTSG方法是可行且有效的。同时,相比于传统efsm模型测试生成方法,DOTSG方法不仅在测试生成效率和测试用例的故障检测能力上有显著提升,而且能够在一定程度上缩小测试用例集规模。

关键词： efsm模型测试用例集多样性遗传算法测试用例生成

来源：评论

学校读者我要写书评

暂无评论

基于集合进化算法的efsm模型可行测试序列集生成

基于集合进化算法的EFSM模型可行测试序列集生成

引用

作者：冯利航北京化工大学

学位级别：硕士

随着信息数字化时代的来临,计算机软件以惊人的速度急剧膨胀,软件测试对保障软件质量起着至关重要的作用。扩展有限状态机(Extended Finite State Machine,efsm)可以对软件过程的动态行为进行准确阐述,是一种基于状态的形式化描述方式... 详细信息

随着信息数字化时代的来临,计算机软件以惊人的速度急剧膨胀,软件测试对保障软件质量起着至关重要的作用。扩展有限状态机(Extended Finite State Machine,efsm)可以对软件过程的动态行为进行准确阐述,是一种基于状态的形式化描述方式。当前有关efsm模型的研究大部分集中在两个方面:测试序列生成和测试数据生成。针对可行测试序列的生成研究目前还处于起步阶段,需要进一步的对实现efsm模型可行测试序列的生成方法进行优化。本文针对efsm模型,以迁移覆盖准则为目标,结合测试序列可行性度量方法以及基于遗传算法的测试数据生成方法,运用面向迁移覆盖准则的集合进化算法和面向迁移覆盖准则与测试序列集多样性的多目标集合进化算法生成可行测试序列集;设计并实现了一个基于集合进化算法的efsm模型可行测试序列集生成器,该生成器能够有效的生成满足迁移覆盖准则的可行测试序列集。为验证本文提出的基于集合进化算法生成满足迁移覆盖准则的可行测试序列集方法的有效性,通过本文设计并实现的可行测试序列生成器,对6个被测efsm模型进行大量的实验对比分析,比较分析了测试序列的可行性对测试生成效率的影响,以及对可行测试序列有效比的影响;比较分析了测试序列集的多样性对测试生成效率的影响。结果表明:(1)测试序列可行性分析能够大幅度提高测试生成的效率,同时也对可行测试序列的有效比有明显提高;(2)测试序列集的多样性对提高测试生成效率具有明显效果。

关键词： efsm模型集合进化算法可行测试序列测试序列集多样性

来源：评论

学校读者我要写书评

暂无评论

基于efsm模型不定型切片测试用例自动生成的研究

基于EFSM模型不定型切片测试用例自动生成的研究

引用

作者：苏宁北京化工大学

学位级别：硕士

基于模型的测试是软件测试中的一个重要分支。efsm模型是对FSM模型的扩展,可以更加精准地描述软件系统的动态行为。基于efsm模型的测试技术具有重要的研究意义与实用价值。基于efsm模型的测试生成主要包含两个部分：测试迁移路径的生成... 详细信息

基于模型的测试是软件测试中的一个重要分支。efsm模型是对FSM模型的扩展,可以更加精准地描述软件系统的动态行为。基于efsm模型的测试技术具有重要的研究意义与实用价值。基于efsm模型的测试生成主要包含两个部分：测试迁移路径的生成和覆盖测试迁移路径的测试数据生成。相关学者研究了efsm模型测试生成效率的影响因素,发现模型规模越大,测试生成的效率就会越低。在实际应用中,软件系统规模的增大使与之对应的模型规模也变得越来越大,这势必会导致测试效率的降低和测试难度的增加。模型切片是在程序切片的基础上提出的,它是对模型的约减。其中,efsm模型不定型切片只保留了原模型的语义,是一种约减程度较高的切片技术。为了提高efsm模型的测试生成效率,本文提出了一种基于efsm模型不定型切片的测试生成方法。依据不定型切片的特点,即切片中的迁移均对被测迁移存在影响和切片中存在合并迁移；以及efsm模型路径可行性的特点,本文提出了基于切片的测试路径生成规则,并采用遗传算法生成测试数据。此外,依据切片的定义,可知切片上测试用例是原模型测试用例的子集。为了保证在切片上生成的测试用例在原模型上可用,本文进一步提出了测试路径补全规则和测试数据补全规则。通过两个案例分析得出：基于模型切片可以更加准确地生成可行路径和提高测试强度。为了进一步验证本文方法的有效性和正确性,对其进行了实验设计和验证。实验结果显示：首先在切片上生成的测试用例补全后在原模型上基本可运行；其次基于切片的方法中测试用例生成效率在大多数情况下都比较高,效率低的主要原因是依赖性分析和切片的时间较长,但整体评价时间都较短。

关键词： efsm模型不定型切片测试用例生成测试用例补全

来源：评论

学校读者我要写书评

暂无评论

efsm模型动态解释技术的研究

引用

工业控制计算机 2012年第2期25卷 75-77页

作者：徐俊舒挺贾宇波宋瑾钰浙江理工大学信息电子学院

扩展有限状态机efsm模型行为的动态解释是基于efsm模型协议一致性测试中的关键技术之一。首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法。然后,在分析两类方法优缺点的基础上,提出了一种基... 详细信息

扩展有限状态机efsm模型行为的动态解释是基于efsm模型协议一致性测试中的关键技术之一。首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法。然后,在分析两类方法优缺点的基础上,提出了一种基于动态脚本交互技术的模型行为解释新方法。新方法把模型行为复杂的词法和语法解释任务化简为一个基于动态交互技术的脚本执行问题。最后,通过一个应用实例验证了新方法的可行性。

关键词： efsm模型动态脚本通信协议一致性测试

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：