没有合适的资源?快使用搜索试试~ 我知道了~
基于方法序列规范的测试用例生成.doc
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
0 下载量 99 浏览量
2024-03-24
10:44:05
上传
评论
收藏 76KB DOC 举报
温馨提示
试读
25页
基于方法序列规范的测试用例生成.doc
资源推荐
资源详情
资源评论
Print
基于方法序列规范的测试用例生成
一、基于方法序列规范的测试用例生成(论文文献综述)
张帅
[1]
(2021)在《基于领域驱动设计的AGV调度系统设计与实现》文中进行了进一步
梳理在现代化的大型制造车间中,为节省人力、提高车间生产效率,大量企业都为生产车间
和立体仓库引入了AGV系统。AGV(Automated Guided Vehicle,自动导航小车)是指装备
有电磁或光学等自动导引装置,能够沿导引路径行驶,具有各种移栽及安全保护功能的运输
车。企业在智能物流解决方案中使用AGV,不仅是为了实现内部物流的柔性化,更重要的是
借此打通生产各流程,推进生产全过程的数字化,最终实现打造工厂智能化的目标。然而,制
造企业为实现生产智能化往往需要使用数十台、数百台甚至上千台AGV,它们既相互协同
作业又彼此独立运行,AGV的作业场景也由静态单一转变为动态复杂,因此需要有一套智能
调度系统来进行统一的管控。作者在研究AGV调度系统中任务调度、路线规划等关键问
题的基础上,结合项目实践,基于领域驱动设计理论设计并实现了AGV调度系统,主要开展的
工作内容如下:首先,从业务用例分析着手,以活动图为主要工具对功能需求进行深入的分析
,进而提出调度领域解决方案,对核心领域概念进行剖析解读,提取了核心领域的静态模型与
动态模型;其次,结合多种架构视图对系统体系结构进行设计并完成系统接口设计;再次,对
系统各功能模块进行详细设计与实现,完成应用模块及领域组件的类设计与逻辑设计,实现
了包括基于资源分配方式实现的交通管制策略、基于有向图最短路算法实现的路线规划算
法,基于二分图匹配实现的任务分配算法以及基于设计模式实现的通信适配器等组件;最后,
对系统进行了大量的测试,通过设计对比实验对路线规划、交通管制、车辆分配等模块进
行功能测试,验证了系统功能的有效性,并通过制定性能测试方案进行了单一场景测试和多
场景对比测试与分析,测试结果说明系统具有良好的稳定性。目前,该系统已成功运用于十
余个大型智能物流项目,能够满足实际应用需求,并且具有良好的扩展性、稳定性,本文的研
究内容对行业技术发展实践具有一定的借鉴意义。
朱向雷,王海弛,尤翰墨,张蔚珩,张颖异,刘爽,陈俊洁,王赞,李克秋
[2]
(2021)在《自动驾驶智
能系统测试研究综述》文中研究指明随着人工智能技术的深入发展,自动驾驶已成为人工
智能技术的典型应用,近十年来得到了长足的发展,作为一类非确定性系统,自动驾驶车辆的
质量和安全性得到越来越多的关注.对自动驾驶系统,特别是自动驾驶智能系统(如感知模
块、决策模块、综合功能及整车)的测试技术得到了业界和学界的深入研究.调研了56篇
相关领域的学术论文,分别就感知模块、决策模块、综合功能模块及整车系统的测试技术
、用例生成方法和测试覆盖度量等维度对目前已有的研究成果进行了梳理,并描述了自动
驾驶智能系统测试中的数据集及工具集.最后,对自动驾驶智能系统测试的未来工作进行了
展望,从而为该领域的研究人员提供参考.
焦瑞
[3]
(2021)在《基于BERT多任务联合训练的土木工程问答系统研究》文中研究说明
目前土木工程领域信息化服务建设正处于发展阶段,设计人员在设计过程中会涉及到大量
知识检索和知识问答的需求,而目前大量的领域知识、规范和标准都是非结构化文本的形
式,知识库的构建存在着难度,口语化的自然语言问题也无法被有效解析,问答需求无法被满
足。因此本文选定土木工程垂直领域的智能问答应用作为切入点,使用新型自然语言处理
方法深入研究面向该领域的智能问答技术。本文的工作是基于知识库的土木工程智能问答
系统构建,主要涉及自然语言处理技术。按上下游具体技术难点,分为问答句对自动构建技
术、知识库自动构建方法、智能问答方法、智能问答系统构建四个方面。(1)针对土木
工程领域问答句对语料数据量小的问题,提出了一套用于扩充问答句对数据集的模型方案,
该方案是BERT、Transformer和UniLM结合的序列学习模型,使用二次预训练方法将大量开
放域语料的语法、句法规则迁移到土木工程领域,结合该领域内的少量人工标注数据获取
语义信息,并对模型堆叠模块随机采样分层训练,优化参数后生成高质量领域目标问句,最终
形成领域自然语言问答句对数据。模型生成问句质量达到了最佳的26.19-BLEU,相比基线
模型LSTM提升达12.78。(2)针对知识库构建难的问题,提出了用于自动化构建知识库的
联合训练端到端深度学习模型CivilWoSpERT。该模型是基于子序列片段Span、融合了词
晶格嵌入表示机制的命名实体和关系联合抽取方案。最终在命名实体识别任务上达到了
87.47的F1值,在关系抽取上达到了 78.66的F1值。(3)针对智能问答方法,提出了一种基于
知识库的快速问答方法,该方法可解析自然语言问题并通过知识库检索返回目标答案。(4
)在智能问答系统的构建方面,主要对系统进行前三阶段模型和方法的融入,采用主流的前
后端分离Web系统方案完成整个智能问答系统的搭建。本文旨在通过以上内容对土木工程
领域智能问答系统深入研究,逐个解决数据集数量小、信息抽取难度大、传统知识库对领
域知识覆盖不足等针对性问题,通过深度学习方法构建一套能够满足实际智能问答需求的
土木工程智能问答系统。
唐敏
[4]
(2021)在《IIoT中协议漏洞智能检测方案设计与实现》文中研究指明随着工业互
联网的应用越来越广泛,其安全问题也开始逐步受到重视,在攻击者之前发现其存在的潜在
安全隐患是十分重要的。模糊测试是一种常用且简单高效的漏洞检测工具,目前在工业互
联网漏洞挖掘中也应用广泛。在传统的协议模糊测试方法中,生成测试用例需要花费大量
人力和时间来对协议规范进行分析,且随着协议的改变,生成方法将不具备通用性。因此需
要设计一种能降低协议分析成本且能得到较好测试效果的模糊测试方法。近年来随着机器
学习方法在各个领域的优秀表现,模糊测试领域也开始尝试使用其进行智能化测试。但目
前机器学习的方法还很少运用于工控模糊测试领域,此外生成的测试用例测试效果也并不
理想。因此本文基于文本生成对抗网络,提出一种可以解决上述问题的工控协议测试用例
生成方法,其中采用了两种文本生成对抗网络模型,并且在对于生成数据的保存上更符合模
糊测试的需求。此外本文还实现了基于上述测试用例生成方法的工控协议模糊测试系统。
为了证明本文提出的方法的有效性,通过在常用工控协议Modbus TCP协议上进行了实验。
实验结果表明与使用原始GAN的测试用例生成模型和传统的模糊测试工具PEACH相比,本
文提出模型在测试用例通过率、漏洞挖掘效率、测试用例多样性上都更加优秀。
邓惠心
[5]
(2021)在《基于模型的移动应用功能测试用例生成方法的研究》文中研究表明
随着互联网的不断发展,移动应用的需求快速增长。移动应用的质量保证是决定其成功的
主要因素。测试自动化可能是提高移动应用程序质量并降低测试成本的有效解决方案,但
实现移动应用的自动化功能测试是复杂且困难的,它是一项昂贵且耗时的活动,并面临诸多
挑战。目前主要面临两大挑战,即测试序列自动生成和测试Oracle自动获取问题:(1)如何
自动生成功能测试的测试序列,以达到自动化功能测试的目的?(2)如何自动获取测试
Oracle,用于验证功能测试序列执行后结果的正确性?(3)如何将功能测试序列与测试
Oracle关联,形成完整的功能测试套件,以达到对移动应用进行功能测试的目的?针对上述问
题,本文提出了基于模型的移动应用功能测试用例生成方案。首先,本文采用基于GUI模型
的测试技术,解决移动应用的功能测试序列生成问题。基于GUI Ripping技术,构建被测应用
的GUI树,再从GUI树中推导出事件流图EFG,对EFG进行事件提取及分类,并通过消除非功
能性事件对EFG进行优化,再采用图形遍历算法DFS遍历EFG,生成功能测试序列。其次,本
文通过两种方法对功能测试的测试Oracle进行获取。一种是对部分独立于应用的功能(
AIF),直接获取已知的测试Oracle,用形式化定义,给出两类功能的操作序列和测试Oracle信
息。另一种是基于应用的满足IEEE标准格式的需求规格文档,获取测试Oracle,使用正则表
达式,从需求文档中提取与功能相关的测试Oracle信息,包括应用的前置状态、功能的执行
操作和应用的预期行为,然后进行形式化定义。最后,本文提出一种匹配机制,将基于GUI模
型生成的功能测试序列和获取的测试Oracle进行关联,以获得完整的功能测试用例。该机制
采用了三种匹配方式:(1)结构匹配,(2)语义匹配,(3)完善匹配。其中结构匹配通过
采用字符串匹配算法KMP,将测试序列与测试Oracle包含的操作序列进行匹配;语义匹配主
要针对结构匹配中由于测试序列和测试Oracle包含的操作序列中存在命名差异,但语义一样
导致的匹配不成功的情况;完善匹配用于解决交互功能测试需要的事件序列不能通过GUI
模型获得的问题。本文设计了三个实验来验证方案的有效性,实验结果表明本文方案能够
生成满足较高功能边覆盖率的最小功能测试序列,测试序列与测试Oracle关联形成的功能测
试用例能够比较准确地检测出大部分应用程序的功能缺陷,且误报率较低。这表明本文方
案能够有效解决移动应用功能测试面临的部分问题,并且可以减少测试人员的工作,节省测
试时间并提高测试效率。
窦磊
[6]
(2020)在《列控车载设备安全功能测试序列优化方法研究》文中研究指明CTCS-
3级列控系统是基于无线通信的列控系统,广泛应用于我国时速300~350km高速铁路。列
控车载设备功能逻辑失效可能危及行车安全,造成严重的事故,为保证行车安全,在车载设备
投入使用前必须进行严格的测试。实际的车载设备测试中,需要根据车载设备的安全功能
设计测试用例,并将测试用例串接成测试序列依次执行。因此,研究车载设备安全功能测试
用例的设计方法,并将测试用例串接优化生成测试序列,对于车载设备的测试工作具有重要
的意义。当前车载设备安全功能测试序列优化问题存在测试用例完备性不足;测试序列优
化方法迭代次数多、收敛慢;测试序列中测试用例执行位置选择不合适可能导致测试终止
的问题,本文针对上述问题开展研究,主要内容如下:1.对CTCS-3级列控系统进行了概述,对
列控车载设备测试用例的设计方法和列控车载设备的测试序列优化方法进行了介绍。2.给
出车载设备安全功能测试用例的设计方法,以CTCS-3级列控系统中CTCS-2级转CTCS-3级
等级转换功能为例,采用场景法对功能逻辑中的基本流和备选流进行划分,确定基本流和备
选流有向图,进而设计出等级转换功能完备性更高的测试用例对既有测试用例集进行了补
充和完善,增强了测试用例集的完备性。3.根据测试子序列的设计原则将测试用例串接形成
测试子序列,在此基础上将列控车载设备安全功能的测试序列优化问题经有向图变换形成
TSP(Traveling Salesman Problem,TSP)问题,结合改良圈算法和模拟退火算法在求解TSP
问题上的优缺点,设计了基于改良圈算法和模拟退火算法的组合优化算法进行求解,该算法
可以有效实现车载设备安全功能测试序列的优化。4.设计并实现了列控车载设备安全功能
测试序列优化工具,该工具可以绘制列控工程数据、对测试用例串接形成的Excel文件进行
测试序列优化、并对测试序列中的测试用例根据可视化的列控工程数据选择相应的执行位
置,最终可以保存成带有每个测试用例执行位置的测试序列表,对于列控车载设备安全功能
的测试脚本编写和自动化测试具有重要的意义。
王拓
[7]
(2020)在《基于搜索的新型列控系统车载联锁软件功能和时间性能测试研究》文
中进行了进一步梳理在我国社会经济快速发展的大背景下,人们对铁路出行的需求不断增
加。列车运行控制系统作为保障列车运行安全和提高运输效率的关键,其研究受到越来越
多的关注。在传统“地面集中式”列控系统中,地面设备几乎承担了所有核心功能,因而导致
了一些问题。基于车-车通信的新型列控系统作为解决办法之一,大量简化地面设备,并将传
统地面联锁转移至车载,实现了列车自主控制运行。与传统联锁系统不同,新型车载联锁采
用基于“车-车通信”的分布式控制方式,且其时间性能也将受到更多因素影响,因此保证新型
车载联锁功能和时间性能的正确性至关重要。传统的列控系统自动测试研究主要通过模型
检验技术实现测试案例的自动生成。然而,此类方法受限于系统模型规模,难以进行穷尽式
测试。为此,本文提出了一种将启发式搜索与时间自动机模型相结合的测试方法。该方法
借助启发式搜索的动态特性解决由系统规模造成的状态空间爆炸问题。同时,利用模型对
系统进行抽象,使用虚拟时间代替真实时间,提高测试效率。论文的主要工作总结如下:(1
)围绕新型车载联锁系统的进路控制核心功能,通过分析新型列控系统的结构和典型运营
场景,以及联锁进路控制方式和时间性能影响因素等,提出了功能测试需求和时间性能评价
指标WCET(Worst Case Execution Time)。在此基础上,开展了列控系统测试方法的综述
研究。(2)研究了基于启发式搜索算法的测试方法,提出了一种与时间自动机模型结合的
改进遗传算法,使用输入时间序列作为个体,定义了新的个体编码方式、交叉变异方式以及
适应度函数。在功能测试方面,通过引入时间自动机变异模型,实现覆盖典型故障的测试案
例自动生成,提升了测试案例的生成效率;在时间性能测试方面,基于模型生成WCET测试用
例,解决了传统测试算法在真实系统上进行时间测试过长的问题。(3)提出了基于改进启
发式搜索的新型车载联锁测试框架,主要包括:基于时间自动机的新型车载联锁测试模型构
建方法;新型车载联锁功能和性能的自动测试用例生成技术;基于软件故障注入的新型车载
联锁系统的测试执行及环境构建方法;基于一致性分数的新型车载联锁系统功能和性能的
测试评价体系。(4)针对新型车载联锁系统的进路控制功能进行了实例研究。基于Rail
ML数据结构和寻路算法开发新型车载联锁仿真软件,并在次基础上,建立了相应的测试模型
;在功能测试中,利用模型变异算子产生了变异体模型,并利用改进的遗传算法,生成了测试
用例集,实机执行最终覆盖了61.1%的真实故障。在时间性能测试中,基于测试模型生成了
进路排列WCET测试案例,实机执行得到真实软件的WCET(2072ms)。通过与传统的遗
传算法、k-Bounded模型检验算法、启发式在线搜索算法以及简单随机算法进行比较,本文
提出的基于改进启发式搜索方法在测试案例生成效率、算法耗时等方面均具有一定优势,
验证了该方法应用于新型车载联锁系统功能和性能测试的有效性。图44幅,表16个,参考文
献80篇。
谭凯
[8]
(2020)在《汽车CAN总线安全性模糊测试技术研究》文中研究表明由于汽车对
外通信接口的增多,汽车内部CAN总线网络的通信安全不断受到威胁。模糊测试技术可作
为一种CAN总线通信的安全测试方法,通过向车内CAN通信网络发送随机或经过变异的非
预期报文数据,来监视网络的异常状态并发现网络安全漏洞。目前对于汽车CAN总线模糊
测试技术的研究较少,测试用例的生成方式大都采用随机生成的方法,而没有考虑到CAN总
线的应用层协议格式,降低了CAN总线报文的通过率,影响了模糊测试的效率。为解决上述
问题,本文在分析汽车CAN总线应用层协议的基础上,提出了基于报文位翻转率特征和条件
随机场的CAN总线协议字段划分算法,并提出了基于字段权重和改进Wasserstein生成对抗
网络的CAN总线模糊测试方法。首先,根据汽车网联化、智能化的发展趋势,分析了网联汽
车面临的信息安全威胁及攻击途径;研究了车内CAN通信网络架构及汽车CAN总线应用层
协议;对CAN总线通信进行了脆弱性分析,并总结了CAN总线的相关安全防护措施。其次,
为提取CAN总线应用层协议字段格式,在分析汽车CAN总线报文数据场不同字段类型的基
础上,提出了一种基于报文位翻转率特征的字段划分算法。根据报文位翻转率特征,确定字
段的类型以及边界;针对基于SAE J1939的商用车CAN总线应用层协议,提出了一种基于条
件随机场的字段划分算法。将SAE J1939协议作为一种先验知识,并利用位翻转率特征建立
条件随机场模型,对字段进行划分;为解析信号字段所表示的汽车运行状态,给出了OBD诊断
报文数据与信号字段数据相关性分析的方法;分别利用在线公开的报文数据集、仿真报文
数据集、真实汽车报文数据集验证了上述算法的有效性。然后,为提高CAN总线模糊测试
效率,在对CAN总线报文进行协议逆向分析的基础上,提出了一种基于字段权重的模糊测试
方法。通过计算每个字段的平均位翻转率确定字段权重,并根据权重对字段进行变异生成
模糊测试用例;为使CAN总线模糊测试具有普适性,避免对CAN总线应用层协议进行逆向分
析,提出了一种基于改进Wasserstein生成对抗网络的CAN总线模糊测试方法。利用CAN总
线报文数据集训练改进Wasserstein生成对抗网络,并生成和原有报文协议结构相近的测试
用例;基于真实汽车对上述模糊测试方法进行了验证,并成功发现了汽车CAN总线的安全漏
洞。最后,为说明模糊测试技术可对其他CAN总线防护措施进行安全测试的应用,分析了几
种常见汽车CAN总线攻击方式,对基于机器学习的汽车CAN总线入侵检测算法进行了安全
性分析。研究了K近邻和Ada Boost两种用于入侵检测的机器学习算法,基于Matlab编程实
现了上述两种基于机器学习的入侵检测算法,并利用模糊测试技术对入侵检测算法进行了
评估。
于海峰
[9]
(2019)在《RESTful API接口Fuzz测试关键技术研究》文中研究指明随着信息
技术的持续发展,互联网及软件产品日益向开放、共享的模式发展。根据世界银行的统计,
已有100多个国家和超过250个政府,及联合国和世界银行等国际组织,实施“开放数据行动计
划”(Open Data Initiative)。通过应用程序接口(Application Programming Interface,API)
获取信息,已日益成为消费者获取数据的重要方式之一。因此,应用产品接口的安全性已日
趋重要。接口模糊测试(Fuzz)是接口安全测试的主要手段之一。但在实际使用过程中,
应用程序接口Fuzz存在用例规模过大、用例覆盖有效性低等问题。本文针对以上问题,结
合SwaggerHub接口开发实例的接口实现,提出并实现了一套RESTful API接口Fuzz系统,通
过用例自动生成、预筛选等方法,有效提升了应用程序接口模糊测试有效性和测试效率。
本文具体工作内容如下:首先,提出了一种基于接口定义描述的测试用例自动生成方法。该
方法通过分析接口定义描述文件的关键特征,构建一组接口定义描述与RESTful API资源表
述的映射关系,并结合OpenAPI规范给出一组实现。由于该方法基于接口定义实现,对比传
统Fuzz的报文逆向方法,有效提升了用例覆盖的完整性。其次,提出了一种基于预筛选的快
剩余24页未读,继续阅读
资源评论
百态老人
- 粉丝: 1641
- 资源: 2万+
下载权益
C知道特权
VIP文章
课程特权
开通VIP
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功