期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
Web服务自动化测试技术 被引量:21
1
作者 马春燕 朱怡安 陆伟 《计算机科学》 CSCD 北大核心 2012年第2期162-169,共8页
Web服务(Web services)已成为当前和未来网络分布式应用的主流软件开发技术。如何确保Web服务软件的质量和可靠性是当前软件工程领域关注的焦点问题。分析了Web服务测试的层次和阶段,以及测试工具的现状,提出了Web服务自动化测试的技术... Web服务(Web services)已成为当前和未来网络分布式应用的主流软件开发技术。如何确保Web服务软件的质量和可靠性是当前软件工程领域关注的焦点问题。分析了Web服务测试的层次和阶段,以及测试工具的现状,提出了Web服务自动化测试的技术框架,分析了此框架内Web服务操作、Web服务操作序列和Web服务组合WSB-PEL流程测试的关键技术,并研制了测试用例自动生成的原型系统,给出了实验结果,最后指出Web服务自动化测试技术值得进一步探讨的主题。 展开更多
关键词 WEB服务 自动化测试技术 测试用例自动生成
下载PDF
一种面向列车控制系统中安全攸关场景的测试用例自动生成方法 被引量:15
2
作者 陈鑫 姜鹏 +2 位作者 张一帆 黄超 周岩 《软件学报》 EI CSCD 北大核心 2015年第2期269-278,共10页
列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生... 列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性. 展开更多
关键词 安全攸关场景 场景建模 简单路径覆盖 测试用例自动生成
下载PDF
软件测试用例生成中的前置条件分析 被引量:7
3
作者 付剑平 陆民燕 阮镰 《计算机应用研究》 CSCD 北大核心 2007年第3期103-105,共3页
在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例。结果表明对前置条件的研究能够促进测试用例的自动化生成过程。
关键词 前置条件 测试用例 测试用例生成 测试用例自动生成
下载PDF
基于STAMP与组合测试的城轨全自动运行系统车载设备安全测试方法研究
4
作者 赖琴 张亚东 +1 位作者 马牧云 饶畅 《铁道标准设计》 北大核心 2024年第8期187-195,共9页
针对现有城轨全自动运行系统车载设备测试安全性需求考虑不足与测试用例规模较大的问题,提出一种基于STAMP理论与组合测试的城轨全自动运行系统车载设备安全性测试方法。首先,基于STAMP理论对车载设备建立分层控制结构模型,从可测性的... 针对现有城轨全自动运行系统车载设备测试安全性需求考虑不足与测试用例规模较大的问题,提出一种基于STAMP理论与组合测试的城轨全自动运行系统车载设备安全性测试方法。首先,基于STAMP理论对车载设备建立分层控制结构模型,从可测性的角度提取出安全约束,分析安全约束涵盖的车载设备安全性测试特征;然后,以最优覆盖数组与种子测试用例为基础,结合约束条件,利用遗传算法对最优覆盖数组进行重构,扩展生成满足约束条件的精简测试用例集;最后,以全自动运行系统站台发车场景车载设备测试为例,对算法有效性进行验证。结果表明,在组合覆盖强度相同的情况下,本文方法比现有主流方法生成的测试用例数平均降低16.45%,对降低车载设备测试成本、提升测试效率具有一定现实意义。 展开更多
关键词 全自动运行系统 车载设备 组合测试 安全测试 测试用例生成
下载PDF
基于自然语言需求的SCADE模型测试用例自动生成方法
5
作者 邵温欣 杨志斌 +1 位作者 李维 周勇 《计算机科学》 CSCD 北大核心 2024年第7期29-39,共11页
随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法... 随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法主要采用手工方式构造SCADE模型测试用例,存在需求与测试用例不一致、成本代价高且容易出错的问题。文中提出了一种基于自然语言需求的SCADE模型测试用例自动生成方法。首先,给出了基于模型检测的测试用例自动生成方法,通过自然语言需求处理生成原子命题,用于生成前提假设Assume和观察者模型,同时给出了陷阱性质(Trap Properties)生成规则来生成陷阱性质用于模型检测;其次,给出了基于覆盖分析和变异测试的测试用例质量评估方法,并在SCADE模型上进行变异测试;最后,设计和实现了原型工具,并基于一个工业界案例飞行员弹射座椅控制系统进行了案例分析,验证了所提方法的有效性。 展开更多
关键词 安全关键软件 模型驱动开发 SCADE 测试用例自动生成 模型检测
下载PDF
基于分类树的随机测试用例生成 被引量:6
6
作者 徐伟 王林章 李宣东 《计算机科学》 CSCD 北大核心 2009年第1期263-266,285,共5页
随机测试(RT)已被用于在基于模型的测试中自动生成满足一定模型覆盖准则的测试用例集合。然而,完全随机的测试用例产生方法可能会导致大量冗余的测试用例。因此,在研究基于UML(Unified Modeling Language)活动图产生测试用例的基础上,... 随机测试(RT)已被用于在基于模型的测试中自动生成满足一定模型覆盖准则的测试用例集合。然而,完全随机的测试用例产生方法可能会导致大量冗余的测试用例。因此,在研究基于UML(Unified Modeling Language)活动图产生测试用例的基础上,提出了一种基于分类树的随机测试用例产生方法(CT-RT),运用分类树分析已运行测试用例的输入域,从而指导产生新的测试用例,并通过实验案例说明了对于UML活动图中的简单路径覆盖。该方法较之完全随机的方法大大减少了冗余测试用例的数量。 展开更多
关键词 随机测试 自动生成测试用例 分类树 UML活动图
下载PDF
一种自动化测试技术的研究与实现 被引量:1
7
作者 李国新 罗省贤 《电子测试》 2008年第8期9-12,56,共5页
软件测试是保证软件质量的重要手段。随着软件产业的快速发展,手工测试已经不能满足软件测试的需要。然而,不能自动化生成测试用例和测试脚本又已经成为阻碍自动化测试的主要原因。因此本文提出了一种自动化测试技术,由数据库管理每个... 软件测试是保证软件质量的重要手段。随着软件产业的快速发展,手工测试已经不能满足软件测试的需要。然而,不能自动化生成测试用例和测试脚本又已经成为阻碍自动化测试的主要原因。因此本文提出了一种自动化测试技术,由数据库管理每个要素的测试用例,采用一种"分步组合法"组合测试场景中每个要素的测试用例,快速而覆盖面比较均匀地生成被测场景的所有测试用例,并通过模板技术自动生成测试用例对应的测试脚本,从而大大提高测试效率。最后,通过实际应用验证了该技术的可行性。 展开更多
关键词 自动化测试 测试技术 用例生成 脚本生成
下载PDF
关于两两测试的研究 被引量:4
8
作者 朱海燕 《计算机工程与设计》 CSCD 北大核心 2006年第15期2802-2804,共3页
在软件开发过程中软件测试的成本是很高的。但是,在许多情况下两两测试可用于减少测试的成本,并对于许多软件系统在实践中证明是实用和有效的。它要求对于系统的每一对输入参数,这两个参数有效值的每一个组合至少要被一个测试用例覆盖... 在软件开发过程中软件测试的成本是很高的。但是,在许多情况下两两测试可用于减少测试的成本,并对于许多软件系统在实践中证明是实用和有效的。它要求对于系统的每一对输入参数,这两个参数有效值的每一个组合至少要被一个测试用例覆盖。介绍了两两测试的概念以及生成测试用例的两个算法。最后,对应用两两测试时应注意的一些问题进行了讨论。两两测试的许多思想可以扩展到t路测试。 展开更多
关键词 软件测试 两两测试 测试用例 测试用例自动生成 测试策略
下载PDF
基于代码相似性的测试用例重用及生成方法
9
作者 刘巧韵 杨秋辉 +2 位作者 洪玫 刘美英 刘盈盈 《计算机工程与设计》 北大核心 2023年第10期2950-2955,共6页
为在测试用例自动化生成中有效利用现有用例信息,降低测试用例生成成本,提高生成效率,提出一种基于代码相似性的测试用例重用及生成方法。设计基于文本和度量的被测代码相似性检测方法,分别从语法和语义上检测并划分相似类型;针对不同... 为在测试用例自动化生成中有效利用现有用例信息,降低测试用例生成成本,提高生成效率,提出一种基于代码相似性的测试用例重用及生成方法。设计基于文本和度量的被测代码相似性检测方法,分别从语法和语义上检测并划分相似类型;针对不同相似类型,采用更名重用和补充重用生成测试用例。将代码相似性应用于测试用例生成,综合考虑代码的语法、语义等多维相似信息,提升代码相似性检测的准确性,能更有效运用重用技术提升测试用例生成效率。实验结果表明,所提方法具有更高的重用召回率和重用精度,在相同时间成本下生成的测试用例覆盖率更高。 展开更多
关键词 单元测试 测试用例自动化生成 测试用例重用 代码相似性检测 代码克隆 语法相似性 语义相似性
下载PDF
不正确程序修复补丁识别
10
作者 董玉坤 唐道龙 +1 位作者 孙玉雪 位欣欣 《计算机系统应用》 2023年第3期217-223,共7页
程序自动修复技术是保证软件质量、提高开发效率的有效手段.目前,大多数自动修复工具使用测试用例作为补丁正确性验证的最终方法,有限的测试用例难以对程序进行充分的测试,因此自动修复工具生成的补丁集合包含大量的不正确补丁.为了识... 程序自动修复技术是保证软件质量、提高开发效率的有效手段.目前,大多数自动修复工具使用测试用例作为补丁正确性验证的最终方法,有限的测试用例难以对程序进行充分的测试,因此自动修复工具生成的补丁集合包含大量的不正确补丁.为了识别不正确补丁,我们采用对比缺陷修复前后成功测试的执行路径以及生成测试用例的方法来识别修复补丁的有效性,以解决自动修复工具精度低的问题.我们的方法评估了来自6个经典的自动修复工具生成的132个补丁,并成功地排除了80个不正确的补丁并且没有排除正确的补丁,这表明我们的方法可以有效地排除不正确补丁,并且提高自动修复工具的精度. 展开更多
关键词 程序自动修复 补丁质量评估 不正确补丁 测试用例生成 不正确补丁识别 UML 检测方法
下载PDF
基于数据流分析的过拟合补丁识别
11
作者 董玉坤 杨宇飞 +1 位作者 程小彤 唐叶尔 《计算机系统应用》 2023年第12期261-267,共7页
自动程序修复技术可实现对软件缺陷的自动修复,并使用测试套件评估修复补丁.然而因为测试套件不充分,通过测试套件的补丁可能并未正确修复缺陷,甚至引入新的缺陷并产生波及效应,导致自动程序修复生成大量过拟合补丁.针对这个问题,本文... 自动程序修复技术可实现对软件缺陷的自动修复,并使用测试套件评估修复补丁.然而因为测试套件不充分,通过测试套件的补丁可能并未正确修复缺陷,甚至引入新的缺陷并产生波及效应,导致自动程序修复生成大量过拟合补丁.针对这个问题,本文提出了一种基于数据流分析的过拟合补丁识别方法,首先将补丁对程序的修改分解为对变量的操作,然后采用数据流分析方法识别补丁影响域,并根据补丁影响域选择针对性覆盖准则来识别目标覆盖元素,进而选取测试路径并生成测试用例实现对修复程序的充分测试,避免修复副作用的影响.本文在两个数据集上进行了评估,实验结果表明,基于数据流分析的过拟合补丁识别方法可有效提升自动程序修复的正确性. 展开更多
关键词 自动程序修复 过拟合补丁 补丁影响域 数据流分析 测试用例生成
下载PDF
改进量子遗传算法应用于测试数据自动生成的研究 被引量:3
12
作者 季海婧 孙军梅 《小型微型计算机系统》 CSCD 北大核心 2013年第2期386-389,共4页
为了提高测试数据的自动生成效率,提出一种改进的量子遗传算法(IQGA),用以自动生成测试数据.该算法以角度编码染色体,减少染色体存储空间;采用一种新的动态旋转角策略,使种群在测试数据生成的过程中优秀测试数据能得以较好的遗传,促进... 为了提高测试数据的自动生成效率,提出一种改进的量子遗传算法(IQGA),用以自动生成测试数据.该算法以角度编码染色体,减少染色体存储空间;采用一种新的动态旋转角策略,使种群在测试数据生成的过程中优秀测试数据能得以较好的遗传,促进种群收敛;并通过Hadamard门变异策略提高种群多样性,扩大种群探索路径.利用典型的三角形分类问题进行了验证,实验结果表明,改进的量子遗传算法具有用时短,生成测试数据少,覆盖率高等优点,测试数据自动生成效率高于传统量子遗传算法和遗传算法. 展开更多
关键词 量子遗传算法(QGA) 遗传算法(GA) 测试数据自动生成 Hadamard门 软件测试
下载PDF
基于DSG模型的测试用例自动生成方法 被引量:2
13
作者 李立刚 侯胜坤 +2 位作者 戴永寿 李隆浩 王亚龙 《小型微型计算机系统》 CSCD 北大核心 2015年第11期2510-2514,共5页
传统的基于程序的测试用例生成方法在大中型软件测试应用中存在着多种问题,如用例覆盖不全面、测试周期长、质量差等.为解决以上问题,本文提出了一种基于有向序列图(Directed sequence graph,DSG)模型的测试用例自动生成方法,以实现高... 传统的基于程序的测试用例生成方法在大中型软件测试应用中存在着多种问题,如用例覆盖不全面、测试周期长、质量差等.为解决以上问题,本文提出了一种基于有向序列图(Directed sequence graph,DSG)模型的测试用例自动生成方法,以实现高质量、高覆盖率测试用例的自动生成.该方法以UML序列图模型为基础,定义了与其等效的形式化DSG模型,并提出一种UM L序列图模型到DSG模型的自动转换算法,基于转换得到的DSG模型,采用逐层递进的遍历方式获取所有测试路径以生成测试用例.在某系统软件中的测试应用结果表明,该方法可有效生成测试用例,并且具有较高的测试效率和测试覆盖率. 展开更多
关键词 UML序列图 有向序列图 软件测试 测试用例自动生成
下载PDF
基于UML状态图的测试用例自动生成方法 被引量:2
14
作者 杨晶 顾春华 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第3期346-351,共6页
随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记... 随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例。实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率。 展开更多
关键词 UML状态图 函数最小化 测试用例自动生成
下载PDF
基于模型的软件测试用例生成方法比较研究 被引量:1
15
作者 赵鹤 高婉玲 《现代计算机》 2017年第3期20-26,共7页
随着软件系统的规模和复杂度的增加,软件测试的自动化提上日程,软件测试用例的自动化生成成为降低测试成本的重要途径。模型检测技术和工具的出现,使得软件测试用例的生成更加自动化。本文对基于模型检测技术的测试用例自动生成方法进... 随着软件系统的规模和复杂度的增加,软件测试的自动化提上日程,软件测试用例的自动化生成成为降低测试成本的重要途径。模型检测技术和工具的出现,使得软件测试用例的生成更加自动化。本文对基于模型检测技术的测试用例自动生成方法进行评估,与传统的基于有限状态机(FSM)模型的测试用例自动生成方法进行比较,采用系统文献综述和可控实验的方法,进行定性和定量的比较分析。结果显示,基于模型检测技术的测试用例自动生成方法在自动化程度、测试覆盖率、测试成本等方面都具有优势,是一种可以应用和进一步研究的测试用例自动生成方案。 展开更多
关键词 软件自动化测试 测试用例自动生成 基于模型的测试用例生成 模型检测 有限状态机
下载PDF
Research of testing method based on UML statecharts
16
作者 占学德 《Journal of Shanghai University(English Edition)》 CAS 2006年第5期469-470,共2页
Unified modeling language (UML) is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and... Unified modeling language (UML) is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts. 展开更多
关键词 unified modeling language (UML) statechart formalsemantics flattened regular expression (FREE) model specification based software testing test criteria automatic generation of test case.
下载PDF
面向安全需求的测试用例自动生成技术研究 被引量:1
17
作者 周绍君 徐中伟 +2 位作者 喻钢 李弋强 吴剑 《计算机工程与应用》 CSCD 北大核心 2009年第28期75-78,共4页
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例... 传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中。 展开更多
关键词 UML顺序图 安全因子 最小安全因子路径 测试用例自动生成 安全苛求系统
下载PDF
基于可信基因的网格测试分级约简研究
18
作者 殷锋 陈良银 《西南民族大学学报(自然科学版)》 CAS 2009年第4期864-870,共7页
作为保证网格服务质量的重要技术手段,网格测试已成为网格研究的热点内容之一.而软件测试的核心与关键则是测试用例的生成问题,测试用例的数量和质量将直接决定软件测试的成本和有效性.就目前而言,随着覆盖程度的提高,所需使用的测试用... 作为保证网格服务质量的重要技术手段,网格测试已成为网格研究的热点内容之一.而软件测试的核心与关键则是测试用例的生成问题,测试用例的数量和质量将直接决定软件测试的成本和有效性.就目前而言,随着覆盖程度的提高,所需使用的测试用例数量也在呈指数级增长,且冗余随之而来.因此,若进行完全测试,势必工作量很大,但若只按一般组合设计测试用例,则又会存在因测试次数太少而牺牲相应检错能力的问题.为此,提出了基于可信基因的网格测试约简方案,并通过实践验证了所得到的测试集不仅规模较小、保持了极佳的检错能力,而且与传统算法相比较时空间复杂度有所下降. 展开更多
关键词 网格测试 测试用例自动生成 测试用例集约简
下载PDF
面向高可信软件的整数溢出错误的自动化测试 被引量:7
19
作者 卢锡城 李根 +1 位作者 卢凯 张英 《软件学报》 EI CSCD 北大核心 2010年第2期179-193,共15页
面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法(dynamic automatic integer-overflow detection and testing,简称DAIDT).该方法无需任何源码甚至是符号表支持,即可对二进制应用程序进行全面测试,并自动发现高危... 面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法(dynamic automatic integer-overflow detection and testing,简称DAIDT).该方法无需任何源码甚至是符号表支持,即可对二进制应用程序进行全面测试,并自动发现高危整数溢出错误.在理论上形式化证明了该技术对高危整数溢出错误测试与发掘的无漏报性、零误报性与错误可重现特性.为了验证该方法的有效性,实现了IntHunter原型系统.IntHunter对3个最新版本的高可信应用程序(微软公司Windows 2003和2000 Server的WINS服务、百度公司的即时通讯软件BaiDu Hi)分别进行了24小时测试,共发现了4个高危整数溢出错误.其中3个错误可导致任意代码执行,其中两个由微软安全响应中心分配漏洞编号CVE-2009-1923,CVE-2009-1924,另一个由百度公司分配漏洞编号CVE-2008-6444. 展开更多
关键词 整数溢出 高危整数溢出错误 动态自动测试用例生成 污点分析 符号化执行
下载PDF
Android软件可靠性测试用例自动生成的设计研究 被引量:3
20
作者 李震 王肖 +2 位作者 卢超 王敏 李阳 《计算机应用与软件》 CSCD 2016年第1期235-239,共5页
Android是近几年新兴的智能手机操作系统,同时也出现了各种类型的Android应用软件,竞争激烈。对其进行可靠性测试是保证Android软件质量和可靠性的重要途径,同时也可帮助开发方在满足用户期望和尽快上市发布产品两者之间找到合理的平衡... Android是近几年新兴的智能手机操作系统,同时也出现了各种类型的Android应用软件,竞争激烈。对其进行可靠性测试是保证Android软件质量和可靠性的重要途径,同时也可帮助开发方在满足用户期望和尽快上市发布产品两者之间找到合理的平衡。而测试用例的生成是软件可靠性测试的重要环节。针对Android软件可靠性测试用例的自动生成问题,首先提出收集用户对Android软件使用的习惯数据,以便于构建软件的马尔科夫链模型的方法,并基于马尔科夫链模型,提出和实现了设置状态间转移概率算法和测试用例生成算法,最终根据以上的研究内容设计了带有自动记录用户操作习惯模块的Android文件管理器和Android软件可靠性测试用例自动生成工具,给出了Android软件可靠性测试用例设计的总体思路。实验结果表明,该方法大大降低了Android软件测试用例生成的难度,同时节约了测试用例生成的时间和成本,提高了可靠性测试的效率。 展开更多
关键词 马尔科夫链模型 Android软件开发 测试用例自动生成 Eclipse插件开发 遍历算法
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部