基于自定义通信协议的动态测试技术研究 被引量：4

1

作者 葛泽文 胡兆华 《数字技术与应用》 2019年第9期90-92,共3页

本文针对受安全性限制的自定义通信协议的动态测试难题,通过对协议的特征进行分析,研究协议动态测试通用技术,从协议模板定义、用例生成、动态交互、即时调用三方库等方面进行方法研究。找到了解决自定义通信协议动态测试问题的方法,并... 本文针对受安全性限制的自定义通信协议的动态测试难题,通过对协议的特征进行分析,研究协议动态测试通用技术,从协议模板定义、用例生成、动态交互、即时调用三方库等方面进行方法研究。找到了解决自定义通信协议动态测试问题的方法,并且该方法通用于所有协议的测试应用。 展开更多

关键词 自定义通信协议 动态测试 协议模板 用例自动生成

下载PDF 职称材料

基于UML的系统测试用例自动生成 被引量：1

2

作者 胡俊豪 何春 宗竹林 《计算机系统应用》 2011年第2期178-181,共4页

提出了一种新颖的基于UML图自动生成系统测试用例的方法。此方法适用于所有UML建模的系统。用创新性地结合图论知识,对用例图和序列图进行抽象,定义了相应的测试覆盖准则以生成测试用例。通过两级遍历,自动生成系统测试向量,并且达到所... 提出了一种新颖的基于UML图自动生成系统测试用例的方法。此方法适用于所有UML建模的系统。用创新性地结合图论知识,对用例图和序列图进行抽象,定义了相应的测试覆盖准则以生成测试用例。通过两级遍历,自动生成系统测试向量,并且达到所提的系统测试覆盖率的要求。能够覆盖所有用例、用例依赖性、以及交互中所有的消息序列。实现最大化的覆盖范围。 展开更多

关键词 系统测试 UML 用例图 序列图 用例自动生成 图论

下载PDF 职称材料

基于IFML元模型自动生成RIA用户界面测试用例研究 被引量：1

3

作者 李丹丹 刘晓燕 +1 位作者 曹荣凯 严馨 《现代电子技术》 北大核心 2020年第18期43-46,共4页

最近OMG推出的交互流建模语言(IFML),其强大的用户界面建模功能现已逐渐应用于RIA用户界面模型驱动开发早期的建模阶段。然而针对RIA用户界面测试依旧停留在开发后期才能使用传统技术进行的问题,使得测试工作需要花费大量的时间和成本... 最近OMG推出的交互流建模语言(IFML),其强大的用户界面建模功能现已逐渐应用于RIA用户界面模型驱动开发早期的建模阶段。然而针对RIA用户界面测试依旧停留在开发后期才能使用传统技术进行的问题,使得测试工作需要花费大量的时间和成本。文章给出一种基于IFML元模型自动生成RIA用户界面测试用例的方法。首先,通过Eclipse IFML编辑器建立RIA用户界面的IFML元模型;然后,分别阐述了将IFML元模型转换到测试用例、时间自动机的转换规则,并通过转换引擎生成对应文件;其次,通过UPPAAL对生成的自动机导航模型进行死锁和可达性验证;最后以实例进行了方法验证。 展开更多

关键词 RIA用户界面测试 用例自动生成 交互流建模语言 元模型建立 转换规则 文件生成

下载PDF 职称材料

基于配置前置约束算法的NP测试系统的研究

4

作者 李德明 叶进 《微电子学与计算机》 CSCD 北大核心 2013年第5期63-66,共4页

本文在介绍了现有主流自动测试系统的相关技术基础之上,针对网络处理器的工作特点,设计了一款具有基于配置前置约束的用例自动生成算法的关键字驱动的NP自动化测试系统.实现了从测试用例自动生成、测试序列自动生成、自动执行测试到输... 本文在介绍了现有主流自动测试系统的相关技术基础之上,针对网络处理器的工作特点,设计了一款具有基于配置前置约束的用例自动生成算法的关键字驱动的NP自动化测试系统.实现了从测试用例自动生成、测试序列自动生成、自动执行测试到输出测试结果的全自动NP测试系统框架,在实际对比应用中,由于采用了用例自动生成技术,该测试系统在测试效率和检出问题方面均比原有半自动测试系统有大幅度的提升,并取得了良好的应用效果. 展开更多

关键词 网络处理器 自动化测试 用例自动生成 关键字驱动 系统架构

下载PDF 职称材料

基于接口参数的黑箱测试用例自动生成算法 被引量：52

5

作者 聂长海 徐宝文 《计算机学报》 EI CSCD 北大核心 2004年第3期382-388,共7页

测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算... 测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型 ,据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表 .并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点 ,从而可以在提高软件测试质量的同时 ,降低成本 ,提高效率 .最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果 . 展开更多

关键词 软件测试 软件开发 接口参数 软件工程 黑箱测试 用例自动生成算法

下载PDF 职称材料

Web服务自动化测试技术 被引量：21

6

作者 马春燕 朱怡安 陆伟 《计算机科学》 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 职称材料

基于UML活动图的测试用例自动生成方法研究 被引量：18

7

作者 牟凯 顾明 《计算机应用》 CSCD 北大核心 2006年第4期844-846,共3页

基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列,引入人机动态交互的方法在测试场景生成算法上加以约束,避免了测试场景集数量爆炸,使... 基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列,引入人机动态交互的方法在测试场景生成算法上加以约束,避免了测试场景集数量爆炸,使自动化生成测试用例可行性有一定提高。最后,讨论了从测试场景到测试用例的方法,从而为UML活动图的自动化测试提供了系统的、有效的、可行的方法。 展开更多

关键词 UML活动图 测试场景 测试用例自动生成

下载PDF 职称材料

一种面向列车控制系统中安全攸关场景的测试用例自动生成方法 被引量：16

8

作者 陈鑫 姜鹏 +2 位作者 张一帆 黄超 周岩 《软件学报》 EI CSCD 北大核心 2015年第2期269-278,共10页

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生... 列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性. 展开更多

关键词 安全攸关场景 场景建模 简单路径覆盖 测试用例自动生成

下载PDF 职称材料

SMT求解技术的发展及最新应用研究综述 被引量：11

9

作者 王翀 吕荫润 +2 位作者 陈力 王秀利 王永吉 《计算机研究与发展》 EI CSCD 北大核心 2017年第7期1405-1425,共21页

可满足性模理论(satisfiability modulo theories,SMT)是判定一阶逻辑公式在组合背景理论下的可满足性问题.SMT的背景理论使其能很好地描述实际领域中的各种问题,结合高效的可满足性判定算法,SMT在测试用例自动生成、程序缺陷检测、RTL(... 可满足性模理论(satisfiability modulo theories,SMT)是判定一阶逻辑公式在组合背景理论下的可满足性问题.SMT的背景理论使其能很好地描述实际领域中的各种问题,结合高效的可满足性判定算法,SMT在测试用例自动生成、程序缺陷检测、RTL(register transfer level)验证、程序分析与验证、线性逻辑约束公式优化问题求解等一些最新研究领域中有着突出的优势.首先阐述SMT问题的基础SAT(satisfiability)问题及判定算法;其次对SMT问题、判定算法进行了总结,分析了主流的SMT求解器,包括Z3,Yices2,CVC4等;然后着重介绍了SMT求解技术在典型领域中的实际应用,对目前的研究热点进行了阐述;最后对SMT未来的发展前景进行了展望,目的是试图推动SMT的发展,为此领域的相关人员提供有益的参考. 展开更多

关键词 可满足性模理论 SMT求解器 SMT求解算法 测试用例自动生成 程序缺陷检测 云计算

下载PDF 职称材料

软件测试用例生成中的前置条件分析 被引量：7

10

作者 付剑平 陆民燕 阮镰 《计算机应用研究》 CSCD 北大核心 2007年第3期103-105,共3页

在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例。结果表明对前置条件的研究能够促进测试用例的自动化生成过程。

关键词 前置条件 测试用例 测试用例生成 测试用例自动生成

下载PDF 职称材料

一种数据驱动的软件接口自动化测试框架的设计与实现 被引量：8

11

作者 刘智 《信息化研究》 2015年第1期75-78,共4页

复杂应用系统通常分成多个子系统联合工作,子系统之间接口的正确性和一致性对整个软件系统的工作起着至关重要的作用。由于接口类型多、结构复杂,导致接口测试过程中存在测试执行时间长、效率不高的问题。为了解决这一问题,论文提出并... 复杂应用系统通常分成多个子系统联合工作,子系统之间接口的正确性和一致性对整个软件系统的工作起着至关重要的作用。由于接口类型多、结构复杂,导致接口测试过程中存在测试执行时间长、效率不高的问题。为了解决这一问题,论文提出并实现了一种自动化接口测试框架,该框架采用形式化描述语言XML存储数据,实现数据与脚本的分离和基于关键字的自动化测试用例生成功能,有效地缩短了接口测试时间,提高了软件测试工作效率。 展开更多

关键词 接口测试 软件测试自动化 测试用例自动生成 数据驱动脚本技术

下载PDF 职称材料

基于遗传算法的测试用例生成工具研究 被引量：5

12

作者 赵明 张毅坤 +2 位作者 沈建雄 崔杜武 高海龄 《计算机工程》 EI CAS CSCD 北大核心 2005年第13期151-153,共3页

以Korel的遗传算法生成测试用例策略为基础,在适应函数、染色体编码、遗传算法效率等方面提出了相应的算法改进。引入程序结构依赖系数来确定个体的适应值,使得整个搜索更加智能化;解决编码长度预测问题;采用改进的自适应遗传算法提高... 以Korel的遗传算法生成测试用例策略为基础,在适应函数、染色体编码、遗传算法效率等方面提出了相应的算法改进。引入程序结构依赖系数来确定个体的适应值,使得整个搜索更加智能化;解决编码长度预测问题;采用改进的自适应遗传算法提高用例的搜索效率。同时对实现测试用例生成过程中的关键技术进行了分析。最后结合算例对软件进行了验证。 展开更多

关键词 测试用例自动生成 GA 程序结构依赖系数 动态变长染色体编码 改进自适应遗传算法 静态分析 插装 iTDG系统构架

下载PDF 职称材料

Online Judge系统的优化 被引量：6

13

作者 庄奇东 王键闻 +2 位作者 张楠 张爽 任娜 《计算机系统应用》 2011年第8期115-121,共7页

从Web页面和数据库缓存、服务器架构、多核评测处理规则、前端异步响应、数据表设计、跨平台支持、源代码抄袭检测、测试用例自动生成等方面优化了Online Judge系统,使得评测效率提高的同时减少了服务器数量,节约了运行成本。最后讨论... 从Web页面和数据库缓存、服务器架构、多核评测处理规则、前端异步响应、数据表设计、跨平台支持、源代码抄袭检测、测试用例自动生成等方面优化了Online Judge系统,使得评测效率提高的同时减少了服务器数量,节约了运行成本。最后讨论了基于Online Judge系统实现智能优化算法的统一测试平台的方法。 展开更多

关键词 Online JUDGE 缓存 多核 处理器亲和性 排队论 抄袭检测 测试用例自动生成

下载PDF 职称材料

基于UML活动图的测试用例生成方法研究 被引量：6

14

作者 苏翠翠 王晓军 《计算机技术与发展》 2010年第8期49-51,55,共4页

基于模型的测试用例生成方法已经被软件行业所接受。这种方法的优点在于可以及早地发现缺陷,减少软件开发的时间等等。现在,研究者已经考虑从UML图中获得测试用例。文中介绍了一种从UML2.0活动图中产生测试用例的方法。提出了活动路径... 基于模型的测试用例生成方法已经被软件行业所接受。这种方法的优点在于可以及早地发现缺陷,减少软件开发的时间等等。现在,研究者已经考虑从UML图中获得测试用例。文中介绍了一种从UML2.0活动图中产生测试用例的方法。提出了活动路径覆盖准则,重点分析并发活动的顺序及排列,引入深度优先与广度优先结合的生成算法,避免了测试用例数量爆炸,提高了自动化生成测试用例的可行性,从而为UML活动动图的自动化测试提供了系统的、有效的、可行的方法。 展开更多

关键词 UML活动图 测试场景 测试用例自动生成

下载PDF 职称材料

AIGC技术在软件测试中的应用探讨 被引量：1

15

作者 肖丰佳 《工业控制计算机》 2024年第4期82-84,共3页

软件测试是软件研发过程中一个非常重要的环节,如何高效及时完成测试工作一直是软件测试领域的难题之一。随着ChatGPT的火爆发展,AIGC技术在软件测试领域得到了广泛的应用,甚至改变了传统的软件测试模式。系统介绍了AIGC在软件测试领域... 软件测试是软件研发过程中一个非常重要的环节,如何高效及时完成测试工作一直是软件测试领域的难题之一。随着ChatGPT的火爆发展,AIGC技术在软件测试领域得到了广泛的应用,甚至改变了传统的软件测试模式。系统介绍了AIGC在软件测试领域的应用情况:首先,概述了AIGC的发展,并对AIGC技术以及特点进行简要介绍;其次,详细阐述AIGC在测试用例自动生成、缺陷检测和修复、测试代码生成、测试数据生成方面的潜在用途;再次,剖析了AIGC技术在软件测试中的挑战;最后,探讨了其在软件测试中的应用前景。 展开更多

关键词 软件测试 AIGC 测试用例自动生成 代码生成 缺陷检测和修复

下载PDF 职称材料

基路径覆盖测试用例自动生成方法研究 被引量：5

16

作者 宋想 宋晓秋 《计算机工程与设计》 CSCD 北大核心 2013年第8期2759-2763,共5页

传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例... 传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例。提出了一种新的方法,利用遗传算法动态运行程序,逐渐逼近被测程序的真实逻辑圈复杂度,直接生成满足基路径覆盖测试用例的最小集合,不存在路径不可达问题。实验结果表明,该算法能够有效地生成满足基路径覆盖的测试用例。 展开更多

关键词 面向路径测试 路径覆盖 基路径覆盖 圈复杂度 测试用例自动生成

下载PDF 职称材料

基于混沌遗传算法的测试用例自动生成研究 被引量：5

17

作者 黄陈辉 吴海涛 +1 位作者 阮江涛 钱程 《计算机与数字工程》 2021年第1期31-35,共5页

测试用例自动生成是提高软件测试效率的重要手段。针对传统遗传算法的测试用例自动生成方法存在早熟收敛、迭代后期种群多样性降低等问题,提出了一种基于混沌遗传算法的测试用例自动生成模型,运用反向学习策略初始化种群,结合层接近度... 测试用例自动生成是提高软件测试效率的重要手段。针对传统遗传算法的测试用例自动生成方法存在早熟收敛、迭代后期种群多样性降低等问题,提出了一种基于混沌遗传算法的测试用例自动生成模型,运用反向学习策略初始化种群,结合层接近度改进个体适应度的评价方法,并利用混沌序列优化遗传算法的交叉、变异操作。实验结果表明,与已有测试用例自动生成方法做对比,该方法提高了目标路径覆盖率、算法的效率,同时提升了测试用例生成上的全局寻优能力。 展开更多

关键词 测试用例自动生成 遗传算法 混沌优化算法 适应度函数

下载PDF 职称材料

面向条件判定覆盖的线性拟合制导测试生成 被引量：5

18

作者 汤恩义 周岩 +1 位作者 欧建生 陈鑫 《软件学报》 EI CSCD 北大核心 2016年第3期593-610,共18页

条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足.... 条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足.例如:符号执行方法很难处理较为复杂的非线性条件约束,并在处理程序的规模上受到很大限制;希尔攀登法由于在搜索过程中易陷入局部最优,而难以达到满足C/DC准则的高覆盖率;模拟退火法和遗传算法依赖于用户使用过程中的复杂配置,测试用例生成效果具有一定的随机性.针对这一现状,提出了一种线性拟合制导测试用例生成方法.依据C/DC准则,该方法将程序中的每一个条件判定规范化为一个与零值比较的数值函数,并以插桩与执行获得该函数当前输入下的采样.通过拟合这些采样,能够逐步判断出程序中各个条件判定与输入的关系,并利用这些关系生成高覆盖率的测试用例.相对于传统方法,该方法具有参数配置简易、生成过程高效等优点,并且能够处理带非线性条件约束、逻辑复杂的程序.在3个开源软件库中的25个真实程序上运行的实验结果表明,所提出的方法比目前以覆盖率见长的遗传算法(genetic algorithm,简称GA)制导方法具备更好的覆盖能力与更高的执行效率. 展开更多

关键词 测试用例自动生成 条件判定覆盖 线性拟合 关联路径

下载PDF 职称材料

关于两两测试的研究 被引量：4

19

作者 朱海燕 《计算机工程与设计》 CSCD 北大核心 2006年第15期2802-2804,共3页

在软件开发过程中软件测试的成本是很高的。但是,在许多情况下两两测试可用于减少测试的成本,并对于许多软件系统在实践中证明是实用和有效的。它要求对于系统的每一对输入参数,这两个参数有效值的每一个组合至少要被一个测试用例覆盖... 在软件开发过程中软件测试的成本是很高的。但是,在许多情况下两两测试可用于减少测试的成本,并对于许多软件系统在实践中证明是实用和有效的。它要求对于系统的每一对输入参数,这两个参数有效值的每一个组合至少要被一个测试用例覆盖。介绍了两两测试的概念以及生成测试用例的两个算法。最后,对应用两两测试时应注意的一些问题进行了讨论。两两测试的许多思想可以扩展到t路测试。 展开更多

关键词 软件测试 两两测试 测试用例 测试用例自动生成 测试策略

下载PDF 职称材料

软件回归测试中的自动测试生成方法 被引量：1

20

作者 曾强 洪玫 +1 位作者 杨昊苏 骆德全 《计算机应用研究》 CSCD 北大核心 2009年第6期2349-2351,共3页

软件回归测试一般使用现有的测试用例集进行测试,如何有效利用这些用例成为回归测试的关键。研究自动对现有测试用例集的扩展,包括自动改变测试用例的执行顺序、自动进行测试用例数目的增减等,提出基于现有测试用例随机生成新的测试用... 软件回归测试一般使用现有的测试用例集进行测试,如何有效利用这些用例成为回归测试的关键。研究自动对现有测试用例集的扩展,包括自动改变测试用例的执行顺序、自动进行测试用例数目的增减等,提出基于现有测试用例随机生成新的测试用例集的方法。实验证明,该方法生成的测试文件能在原有环境下成功执行,能实现自动测试范围的扩大或缩小,以及测试时间的增加或减少,为软件回归测试提供了有用的自动化工具。 展开更多

关键词 软件回归测试 测试用例自动生成 测试自动化 随机算法

下载PDF 职称材料