一种面向城市轨道交通FAO系统危险场景的安全测试用例自动生成方法

1

作者 冉怡明 张亚东 +1 位作者 饶畅 江磊 《铁道标准设计》 北大核心 2025年第6期178-186,共9页

在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试... 在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试用例自动生成方法:以全自动运行系统中的障碍物脱轨检测场景为例,首先根据场景安全约束建立带安全约束的时间自动机模型,定义CF-SC安全测试覆盖准则,用于刻画场景运行下危险致因和安全约束的测试需求;然后针对此覆盖准则,设计一种考虑安全约束的深度优先搜索算法,算法在深度优先搜索框架下增加补充判别策略,用于覆盖安全测试需求的边和节点,实现安全测试用例的自动化生成。结果表明,CF-SC安全测试覆盖准则强于传统的路径覆盖准则,相对于现有方法,本方法在实现路径全覆盖的基础上,可对潜在的危险致因进行充分测试,对含有安全约束的路径覆盖率提升达33%,可有效满足安全测试需求,对提高全自动运行系统安全性具有重要研究意义和应用价值。 展开更多

关键词 城市轨道交通 全自动运行系统 覆盖准则 时间自动机 UPPAAL 测试用例生成

在线阅读 下载PDF 职称材料

基于有向图的最小完全覆盖互操作测试序列生成算法 被引量：11

2

作者 林华辉 赵保华 屈玉贵 《中国科学技术大学学报》 CAS CSCD 北大核心 2006年第2期225-229,共5页

互操作测试过程目的是用尽量少的测试序列数目对目标系统实施测试,而又能检测出尽可能多的错误.采用基于有向图的满足互操作测试的最小完全覆盖准则的测试序列生成算法可以生成更有效的互操作测试集.

关键词 互操作性测试 互操作等价 最小完全覆盖准则 有向图 测试序列生成算法

在线阅读 下载PDF 职称材料

确定性有限状态机的最小测试成本迁移覆盖准则 被引量：6

3

作者 刘攀 缪淮扣 +1 位作者 曾红卫 梅佳 《软件学报》 EI CSCD 北大核心 2011年第7期1457-1474,共18页

软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错... 软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误. 展开更多

关键词 最小测试成本迁移覆盖准则 成本/效率的平衡 确定性有限状态机 迁移覆盖

在线阅读 下载PDF 职称材料

面向路径的测试数据自动生成工具 被引量：4

4

作者 李宝林 李志蜀 +2 位作者 陈良银 邢建川 叶军 《计算机工程》 CAS CSCD 北大核心 2007年第15期7-9,共3页

针对测试路径覆盖的可行性问题,给出了一种新的面向路径测试覆盖准则的测试数据自动生成工具。并对Length_N路径覆盖准则进行了定义,运用该准则对被测程序进行静态分析,得到完整路径表(CFG_PT),结合程序插装技术和遗传模拟退火算法自动... 针对测试路径覆盖的可行性问题,给出了一种新的面向路径测试覆盖准则的测试数据自动生成工具。并对Length_N路径覆盖准则进行了定义,运用该准则对被测程序进行静态分析,得到完整路径表(CFG_PT),结合程序插装技术和遗传模拟退火算法自动生成测试数据。实验表明,该工具在实际应用中有较好的效果。 展开更多

关键词 面向路径测试覆盖准则 遗传模拟退火算法 程序插装 Length_N完整路径表

在线阅读 下载PDF 职称材料

基于事件消息驱动的Petri网的类族测试用例生成技术的研究 被引量：3

5

作者 龚红仿 李军义 邹北骥 《计算机应用》 CSCD 北大核心 2005年第1期65-68,共4页

在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状... 在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。 展开更多

关键词 类族交互测试 测试用例生成 事件消息驱动Petri网 扩展的正交阵列测试系统 标记关 联递推法 同步消息序列 测试覆盖标准

在线阅读 下载PDF 职称材料

回归测试中测试用例集扩充技术研究进展 被引量：1

6

作者 陈翔 顾庆 陈道蓄 《计算机科学》 CSCD 北大核心 2013年第6期8-15,28,共9页

测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并... 测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并未对该研究问题的已有研究成果进行系统总结和展望。首先介绍了测试用例集扩充问题的研究背景和问题描述,然后总结出研究框架并对已有研究工作进行分类和系统比较,接着对常用评测数据集和评测指标进行了分析,最后对该问题值得关注的未来研究方向进行展望。 展开更多

关键词 回归测试 测试用例集扩充 测试覆盖准则 动态符号执行 演化测试

在线阅读 下载PDF 职称材料

基于扩展的EDPN的类的交互测试用例生成技术的研究 被引量：1

7

作者 龚红仿 李军义 +2 位作者 胡积平 邹北骥 孙家广 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第1期99-103,共5页

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合... 针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性. 展开更多

关键词 类的交互测试 测试用例生成 扩展的事件驱动Petri网 扩展的正交阵列测试 系统 标记关联递推法 测试覆盖标准

在线阅读 下载PDF 职称材料

基于UML交互概览图的测试线索的生成方法 被引量：1

8

作者 曾一 王翠钦 +1 位作者 李函逾 洪豪 《计算机应用》 CSCD 北大核心 2014年第1期270-275,291,共7页

针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点... 针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。 展开更多

关键词 UML模型 交互概览图 流程信息 覆盖准则 测试线索

在线阅读 下载PDF 职称材料

基于UML的Web应用建模与测试方法 被引量：1

9

作者 李丽萍 缪淮扣 钱忠胜 《计算机工程》 CAS CSCD 北大核心 2010年第9期26-28,31,共4页

针对Web应用的功能测试问题,提出一种基于用例和顺序图的Web应用建模与测试方法。使用统一建模语言(UML)将用例图分层地扩展为用例迁移模型(UCTM),利用顺序图自上而下描述UCTM中的每个用例,将顺序图自动转换为受限有向图(RDG)。为控制... 针对Web应用的功能测试问题,提出一种基于用例和顺序图的Web应用建模与测试方法。使用统一建模语言(UML)将用例图分层地扩展为用例迁移模型(UCTM),利用顺序图自上而下描述UCTM中的每个用例,将顺序图自动转换为受限有向图(RDG)。为控制状态空间爆炸,提出约束消息覆盖准则(CMC)。结果表明,由RDG生成的测试用例能满足CMC,CMC可控制测试用例的数量。 展开更多

关键词 WEB应用 顺序图 构件 测试用例 约束消息覆盖准则

在线阅读 下载PDF 职称材料

基于UML协作图的测试用例生成方法与实现 被引量：1

10

作者 曾红卫 周建云 《计算机工程与设计》 CSCD 北大核心 2007年第16期3805-3807,3811,共4页

根据组件软件的特征,提出一种基于UML协作图直接产生测试用例的方法。给出了一系列覆盖准则,并针对协作图中条件、并发和循环消息流提出相应的处理方法。采用深度优先的算法遍历所有测试场景,每个测试场景相应于一个测试用例,并设计和... 根据组件软件的特征,提出一种基于UML协作图直接产生测试用例的方法。给出了一系列覆盖准则,并针对协作图中条件、并发和循环消息流提出相应的处理方法。采用深度优先的算法遍历所有测试场景,每个测试场景相应于一个测试用例,并设计和实现了测试用例自动生成工具系统UMLTCG。 展开更多

关键词 UML协作图 测试场景 测试用例生成 覆盖准则 邻接表

在线阅读 下载PDF 职称材料

面向Length_N测试覆盖准则的测试用例生成技术研究

11

作者 李宝林 李志蜀 +1 位作者 倪建成 李继玲 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2008年第3期132-137,共6页

针对路径覆盖测试的可行性,提出了一种新的路径测试覆盖准则(Length_N准则)。首先把测试用例生成归纳为多目标函数的优化问题,其有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集。为了提高生成效率,对... 针对路径覆盖测试的可行性,提出了一种新的路径测试覆盖准则(Length_N准则)。首先把测试用例生成归纳为多目标函数的优化问题,其有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集。为了提高生成效率,对遗传模拟退火算法的编码、适应度函数、交叉概率做了一定的改进;并在此基础上来自动生成测试用例。实验结果表明该方法在效率上较遗传算法、随机测试数据生成方法有很明显的提高,在可行性上比路径覆盖准则也有很大的改善。 展开更多

关键词 面向路径测试覆盖准则 遗传模拟退火算法 程序插装 测试用例 Length_N完整路径表

在线阅读 下载PDF 职称材料

一种软件体系结构级基本路径覆盖方法

12

作者 赵磊 吕莉媛 赵国生 《计算机工程》 CAS CSCD 2012年第10期60-62,66,共4页

软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试。基于此,提出一种软件体系结构级的测试路径覆盖方法。利用化学抽象机描述软件体系结构并导出与其对应的DAG图,表达软件体系结构的动态特征。根据基... 软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试。基于此,提出一种软件体系结构级的测试路径覆盖方法。利用化学抽象机描述软件体系结构并导出与其对应的DAG图,表达软件体系结构的动态特征。根据基本路径覆盖准则及测试序列生成算法,生成测试路径。以C/S体系结构为例验证该方法的正确性和有效性。 展开更多

关键词 化学抽象机 软件体系结构 有向无环图 测试覆盖准则 基本路径覆盖

在线阅读 下载PDF 职称材料

一种基于UML动态视图的测试场景生成方法 被引量：3

13

作者 赵欣 刘琳岚 +1 位作者 罗海平 樊鑫 《计算机应用》 CSCD 北大核心 2009年第5期1385-1388,1392,共5页

针对目前测试模型中未考虑对象间交互关系产生的条件、循环消息类型造成产生的测试场景覆盖率低的问题,提出基于UML动态视图构造测试模型、生成测试场景的方法。该方法结合UML顺序图、状态图构造测试模型,等价转化成有向图,采用扩展的... 针对目前测试模型中未考虑对象间交互关系产生的条件、循环消息类型造成产生的测试场景覆盖率低的问题,提出基于UML动态视图构造测试模型、生成测试场景的方法。该方法结合UML顺序图、状态图构造测试模型,等价转化成有向图,采用扩展的十字链表存储结构,在遍历过程中判断消息类型,再根据消息类型生成测试场景。应用实例说明了该方法的实用性。 展开更多

关键词 UML动态视图 测试场景 覆盖准则 十字链表

在线阅读 下载PDF 职称材料

基于窗口导航有向图的GUI测试覆盖准则 被引量：1

14

作者 叶茂 高海昌 +1 位作者 冯博琴 朱利 《西南交通大学学报》 EI CSCD 北大核心 2006年第4期476-480,共5页

为评估图形用户界面(GUI)测试用例集的充分性,提出了基于窗口导航有向图的覆盖准则.用有向图中的顶点表示GUI中的窗口,弧表示用户输入,描述用户与GUI的交互关系.基于窗口导航有向图,提出了顶层窗口覆盖、用户输入覆盖和n长度用户输入序... 为评估图形用户界面(GUI)测试用例集的充分性,提出了基于窗口导航有向图的覆盖准则.用有向图中的顶点表示GUI中的窗口,弧表示用户输入,描述用户与GUI的交互关系.基于窗口导航有向图,提出了顶层窗口覆盖、用户输入覆盖和n长度用户输入序列覆盖准则,并设计了相应的覆盖率算法.实验结果表明,符合这些覆盖准则的测试用例集能够达到90%语句覆盖率,且使故障发现率达到79%. 展开更多

关键词 覆盖准则 图形用户界面 软件测试 窗口导航有向图 覆盖率 故障发现率

在线阅读 下载PDF 职称材料

用不同敏化方法提高超速测试的故障覆盖率 被引量：1

15

作者 魏建龙 邝继顺 《计算机科学》 CSCD 北大核心 2014年第5期55-58,90,共5页

面向小时延缺陷(small delay detect,SDDs)的测试产生方法不仅要求测试产生算法复杂度低,还要尽可能地检测到小时延缺陷。超速测试避免了因测试最长敏化通路而带来的测试效率过低的问题,而且它要求测试向量按敏化通路时延进行分组,对每... 面向小时延缺陷(small delay detect,SDDs)的测试产生方法不仅要求测试产生算法复杂度低,还要尽可能地检测到小时延缺陷。超速测试避免了因测试最长敏化通路而带来的测试效率过低的问题,而且它要求测试向量按敏化通路时延进行分组,对每组分配一个合适的超速测试频率,再采用一种可快速、准确选择特定长度的路径选择方法来有效地提高测试质量。同时,文中首次通过优先选用单通路敏化标准对短通路进行检测,对关键通路有选择地进行非强健测试,相对采用单一的敏化方法,能以很小的时间代价提高含有小时延缺陷的结点的跳变时延故障覆盖率(TDF)。在ISCAS’89基准电路中对小时延缺陷的检测结果表明:用不同敏化方法进行测试产生,能在低的cpu时间里取得更高的跳变时延故障覆盖率。 展开更多

关键词 小时延缺陷 单通路敏化 非强健测试 跳变时延故障覆盖率 超速测试

在线阅读 下载PDF 职称材料

形式概念分析在Web应用测试用例选取中的应用

16

作者 檀革苗 袁捷 +1 位作者 缪怀扣 王明辉 《计算机工程与设计》 CSCD 北大核心 2009年第17期3983-3985,4056,共4页

为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并... 为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则。最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性。 展开更多

关键词 形式概念分析 FSM模型 WEB应用测试 测试覆盖准则 状态组合爆炸

在线阅读 下载PDF 职称材料