检索结果-维普期刊中文期刊服务平台

一种面向城市轨道交通FAO系统危险场景的安全测试用例自动生成方法: 1; 作者冉怡明张亚东 +1 位作者饶畅江磊《铁道标准设计》北大核心 2025年第6期178-186,共9页; 在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试... 展开更多; 关键词城市轨道交通全自动运行系统覆盖准则时间自动机 UPPAAL 测试用例生成; 在线阅读下载PDF 职称材料

确定性有限状态机的最小测试成本迁移覆盖准则被引量：6: 2; 作者刘攀缪淮扣 +1 位作者曾红卫梅佳《软件学报》 EI CSCD 北大核心 2011年第7期1457-1474,共18页; 软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错... 展开更多; 关键词最小测试成本迁移覆盖准则成本/效率的平衡确定性有限状态机迁移覆盖; 在线阅读下载PDF 职称材料

用不同敏化方法提高超速测试的故障覆盖率被引量：1: 3; 作者魏建龙邝继顺《计算机科学》 CSCD 北大核心 2014年第5期55-58,90,共5页; 面向小时延缺陷(small delay detect,SDDs)的测试产生方法不仅要求测试产生算法复杂度低,还要尽可能地检测到小时延缺陷。超速测试避免了因测试最长敏化通路而带来的测试效率过低的问题,而且它要求测试向量按敏化通路时延进行分组,对每... 展开更多; 关键词小时延缺陷单通路敏化非强健测试跳变时延故障覆盖率超速测试; 在线阅读下载PDF 职称材料

基于EFSM的最小测试用例集生成方法被引量：1: 4; 作者陈孔婷王兴起《计算机工程与设计》北大核心 2019年第9期2502-2506,共5页; 影响测试成本的主要因素是测试用例集规模和测试用例的总长度,为降低测试成本,对测试用例生成技术进行研究,提出一种基于集合覆盖理论的最小测试用例集生成方法。设计迁移覆盖算法,其中引入关键迁移概念,设计最小测试用例集算法用于合... 展开更多; 关键词扩展有限状态机最小测试用例集迁移覆盖测试成本测试效率; 在线阅读下载PDF 职称材料

题名一种面向城市轨道交通FAO系统危险场景的安全测试用例自动生成方法: 1; 作者冉怡明张亚东饶畅江磊; 机构西南交通大学信息科学与技术学院四川省列车运行控制技术工程研究中心重庆交通大学交通运输学院; 出处《铁道标准设计》北大核心 2025年第6期178-186,共9页; 基金四川省自然科学基金项目(2022NSFSC1878) 中央高校基本科研业务费专项资金资助项目(2682022ZTPY084) 重庆市教委科技计划(KJQN202300750)。; 文摘在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试用例自动生成方法:以全自动运行系统中的障碍物脱轨检测场景为例,首先根据场景安全约束建立带安全约束的时间自动机模型,定义CF-SC安全测试覆盖准则,用于刻画场景运行下危险致因和安全约束的测试需求;然后针对此覆盖准则,设计一种考虑安全约束的深度优先搜索算法,算法在深度优先搜索框架下增加补充判别策略,用于覆盖安全测试需求的边和节点,实现安全测试用例的自动化生成。结果表明,CF-SC安全测试覆盖准则强于传统的路径覆盖准则,相对于现有方法,本方法在实现路径全覆盖的基础上,可对潜在的危险致因进行充分测试,对含有安全约束的路径覆盖率提升达33%,可有效满足安全测试需求,对提高全自动运行系统安全性具有重要研究意义和应用价值。; 关键词城市轨道交通全自动运行系统覆盖准则时间自动机 UPPAAL 测试用例生成; Keywords urban rail transit fully automatic operation system coverage criterion timed automata UPPAAL test case generation; 分类号 U284 [交通运输工程—交通信息工程及控制] U239.5 [交通运输工程—道路与铁道工程]; 在线阅读下载PDF 职称材料

题名确定性有限状态机的最小测试成本迁移覆盖准则被引量：6: 2; 作者刘攀缪淮扣曾红卫梅佳; 机构上海大学计算机工程与科学学院上海市计算机软件评测重点实验室; 出处《软件学报》 EI CSCD 北大核心 2011年第7期1457-1474,共18页; 基金国家自然科学基金(60970007 61073050) +3 种基金上海市重点学科建设项目(J50103); 文摘软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.; 关键词最小测试成本迁移覆盖准则成本/效率的平衡确定性有限状态机迁移覆盖; Keywords minimum test cost transition coverage criterion cost/benefit tradeoff DFSM （deterministic finitestate machine） transition coverage; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名用不同敏化方法提高超速测试的故障覆盖率被引量：1: 3; 作者魏建龙邝继顺; 机构湖南大学信息科学与工程学院; 出处《计算机科学》 CSCD 北大核心 2014年第5期55-58,90,共5页; 基金国家自然科学基金项目(60673085 60773207)资助; 文摘面向小时延缺陷(small delay detect,SDDs)的测试产生方法不仅要求测试产生算法复杂度低,还要尽可能地检测到小时延缺陷。超速测试避免了因测试最长敏化通路而带来的测试效率过低的问题,而且它要求测试向量按敏化通路时延进行分组,对每组分配一个合适的超速测试频率,再采用一种可快速、准确选择特定长度的路径选择方法来有效地提高测试质量。同时,文中首次通过优先选用单通路敏化标准对短通路进行检测,对关键通路有选择地进行非强健测试,相对采用单一的敏化方法,能以很小的时间代价提高含有小时延缺陷的结点的跳变时延故障覆盖率(TDF)。在ISCAS’89基准电路中对小时延缺陷的检测结果表明:用不同敏化方法进行测试产生,能在低的cpu时间里取得更高的跳变时延故障覆盖率。; 关键词小时延缺陷单通路敏化非强健测试跳变时延故障覆盖率超速测试; Keywords Small delay detect Single sensitization criterion Nonrobust test transition delay fault coverage Faster than at-speed testing; 分类号 TP306 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于EFSM的最小测试用例集生成方法被引量：1: 4; 作者陈孔婷王兴起; 机构杭州电子科技大学计算机学院; 出处《计算机工程与设计》北大核心 2019年第9期2502-2506,共5页; 基金浙江省自然科学基金项目(LQ16F020006、LY17F020023); 文摘影响测试成本的主要因素是测试用例集规模和测试用例的总长度,为降低测试成本,对测试用例生成技术进行研究,提出一种基于集合覆盖理论的最小测试用例集生成方法。设计迁移覆盖算法,其中引入关键迁移概念,设计最小测试用例集算法用于合并迁移覆盖算法输出的集合,得到最小测试用例集。实验结果表明,所提方法得到的最小测试用例集,降低了测试成本,提高了测试效率。; 关键词扩展有限状态机最小测试用例集迁移覆盖测试成本测试效率; Keywords EFSM minimum test case set transition coverage test cost test efficiency; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种面向城市轨道交通FAO系统危险场景的安全测试用例自动生成方法	冉怡明张亚东饶畅江磊	《铁道标准设计》北大核心	2025	0	在线阅读下载PDF 职称材料
2	确定性有限状态机的最小测试成本迁移覆盖准则	刘攀缪淮扣曾红卫梅佳	《软件学报》 EI CSCD 北大核心	2011	6	在线阅读下载PDF 职称材料
3	用不同敏化方法提高超速测试的故障覆盖率	魏建龙邝继顺	《计算机科学》 CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
4	基于EFSM的最小测试用例集生成方法	陈孔婷王兴起	《计算机工程与设计》北大核心	2019	1	在线阅读下载PDF 职称材料