测试序列生成

作品数:33被引量:56H指数:4
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:李华刘震舒挺黄建国姜淑娟更多>>
相关机构:内蒙古大学中国矿业大学北京交通大学电子科技大学更多>>
相关期刊:《电子制作》《软件学报》《高技术通讯》《软件导刊》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国家教育部博士点基金内蒙古自治区自然科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于图神经的DQN的类集成测试序列生成方法研究
《电子技术与软件工程》2023年第5期29-34,共6页王晨源 
本文提出针对类集成测试中不同的测试序列所耗费的整体代价问题使用整体测试桩复杂度为评价指标来设计深度强化学习任务;最后设计图神经网络用来提取程序类之间的关系特征并融入至DQN中,通过在一定训练次数内不断训练智能体获得最低整...
关键词:类集成测试序列 图神经网络 深度强化学习 测试桩代价 
面向类集成测试序列生成的强化学习研究被引量:3
《软件学报》2022年第5期1674-1698,共25页丁艳茹 张艳梅 姜淑娟 袁冠 王荣存 钱俊彦 
国家自然科学基金(61673384,71774159,62162004,51874292);广西可信软件重点实验室开放课题(kx201608);广西自然科学基金重点项目(2018GXNSFDA138003)。
集成测试是软件测试过程中不可缺少的步骤,针对在集成测试中如何对系统中的类合理排序的问题,国内外研究者提出了多种生成类集成测试序列的方法,然而他们大多没有将测试桩复杂度作为评估测试代价的指标.针对该问题,提出面向类集成测试...
关键词:类集成测试序列 强化学习 测试桩 测试代价 奖励函数 
面向列控系统的多目标测试序列集生成方法被引量:4
《铁道标准设计》2020年第12期143-149,共7页赵晓宇 
中国铁路总公司科技研究计划课题(P2018G003);中国铁道科学研究院科研课题(2017YJ056)。
为高效生成满足测试案例全覆盖的最优测试序列集,首先,根据《CTCS-3级列控系统系统需求规范》和有色Petri网(CPN)建模规则构建列控系统模型,通过ASK-CTL公式和非标准状态空间查询法对模型进行验证;其次,采用基于改进深度优先搜索算法(ID...
关键词:列控系统 测试序列生成 CPN 多目标优化 IMMAC IDFS 
基于FSM模型的无线传感器网络数据收集协议测试
《软件导刊》2017年第9期14-18,共5页刘层层 杨红丽 
在对无线传感器网络数据收集协议进行一致性测试时,生成的测试序列往往不够简捷高效。因此,提出了基于FSM模型的无线传感器网络数据收集协议测试方法。采用FSM模型描述数据收集协议规范,在FSM模型的基础上利用UIO算法生成测试序列。研...
关键词:无线传感器网络 数据收集协议 FSM模型 测试序列生成 UIO算法 
有限状态机模型测试序列生成算法研究被引量:6
《计算机科学》2016年第S2期474-481,共8页李元平 李华 赵俊岚 
国家自然基金项目资助项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011);赛尔网络下一代互联网技术创新项目:SDN环境下IPv6网络测试研究(CERNET IPv6 Innovation Project)(NGII20150112)资助
在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约...
关键词:DFSM NFSM 约束集 适应性测试 
基于CPN对系统的并发行为进行测试被引量:1
《计算机科学》2016年第1期218-225,共8页李华 孙涛 王显荣 邢熠 李颖杰 夏兴行 
国家自然科学基金项目(61562064;61163011;61262082);内蒙古自然科学基金项目(2012MS0922)资助
首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在保证并发覆盖的前提下,将测试序列的生成划分为3个阶段,重点讨论了覆盖并发行为的测试序列生成方法。对...
关键词:并发行为 CPN 测试序列生成 TTCN-3 
基于案例推理的测试序列生成方法研究被引量:1
《铁路计算机应用》2014年第6期16-20,共5页舒月 张勇 
中国铁路总公司科技开发计划项目(2013X001-F)
鉴于测试序列生成专家系统知识获取困难以及知识库维护不易等问题,本文提出从案例推理技术的新角度研究CTCS-3级列控系统测试序列的生成。设计了测试序列案例推理流程;提取了现场测试序列特征属性并构建了案例的框架表示结构;为实现案...
关键词:案例推理 测试序列生成 框架表示法 相似性度量 层次分析法 
一种基于EFSM的一致性测试序列生成方法
《电子制作》2013年第21期31-31,共1页邸剑 王晓月 李丽芬 
协议的一致性测试是用来检验协议实现是否符合协议规范,其关键技术就是测试序列的生成。本文提出了一种基于扩展的有限状态自动机EFSM的全面的可执行的测试序列生成方法。该方法使用UIOE方法对控制流进行分析,使用all-du-path标准对数...
关键词:一致性测试 测试序列生成 转换可执行分析 逆向判定性 
Web应用工作流的CPN建模及测试序列生成
《内蒙古大学学报(自然科学版)》2013年第5期545-551,共7页董路路 李华 张素梅 
国家自然科学基金项目(61163011);教育部春晖项目(Z2007-1-01032);内蒙古自然科学基金项目(2011MS0912)
为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展-深度优先遍历算法,可以在满足状态覆盖和变迁覆盖的前提下减...
关键词:PETRI网 CPN 建模 合理性 测试序列 
基于分支界限搜索的EFSM协议测试序列生成算法被引量:2
《计算机应用研究》2013年第5期1349-1352,共4页尤娟 李俊全 夏松 
针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法。该算法基于互异代表系理论为每个协议状态变迁赋权值,再基于分支界限法搜索生成的协议测试序列,将协议一致性测试序列的生成...
关键词:协议一致性测试 测试序列生成 扩展有限状态机 赋权值 互异代表系 分支界限法 
检索报告 对象比较 聚类工具 使用帮助 返回顶部