期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到263篇文章
< 1 2 … 14 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
测试不可靠条件下的诊断策略优化方法 被引量：24
1
作者 杨鹏 邱静 刘冠军 《仪器仪表学报》 EI CAS CSCD 北大核心 2008年第4期850-854,共5页
提出了一种测试结果不可靠条件下的诊断策略优化生成方法。首先将描述测试可靠性的参数(检测概率和虚警概率)转换为误诊代价,将其与基于霍夫曼编码的测试费用评估函数相结合,构建了一种既考虑测试费用又考虑诊断精度的启发式评估函数,... 提出了一种测试结果不可靠条件下的诊断策略优化生成方法。首先将描述测试可靠性的参数(检测概率和虚警概率)转换为误诊代价,将其与基于霍夫曼编码的测试费用评估函数相结合,构建了一种既考虑测试费用又考虑诊断精度的启发式评估函数,然后基于该启发式评估函数提出了一种不确定AO*算法。为了有效评估诊断策略的诊断精度,提出了一种测试性参数预计方法。最后应用案例验证了本方法,测试性预计结果表明本方法实现了诊断精度和测试费用的权衡。 展开更多
关键词 测试性设计 诊断策略 测试序列 不确定AO^＊算法 霍夫曼编码 测试性预计
下载PDF
CTCS-3级列控系统车载设备测试序列优化生成方法 被引量：18
2
作者 张勇 王超琦 《中国铁道科学》 EI CAS CSCD 北大核心 2011年第3期100-106,共7页
根据车载设备功能测试的需求,研究基于中国邮路算法优化生成CTCS-3级列控系统车载设备测试序列的方法。在分析测试序列构造方法的基础上,将测试序列的优化生成问题转换为求解1个具有多重弧的有向图的中国邮路问题。针对测试序列的特点,... 根据车载设备功能测试的需求,研究基于中国邮路算法优化生成CTCS-3级列控系统车载设备测试序列的方法。在分析测试序列构造方法的基础上,将测试序列的优化生成问题转换为求解1个具有多重弧的有向图的中国邮路问题。针对测试序列的特点,利用Edmonds-Johnson算法和LINGO建模工具对中国邮路问题进行求解,即通过构造容量网络、求解最小费用最大流、欧拉图寻迹等步骤,找出最优邮路。针对求解结果有可能导致测试序列过长的问题,提出1种有效的截短方法,实现了生成结果的二次优化。以CTCS-3级车载设备模式转换示意图为例,给出优化生成测试序列的具体过程。 展开更多
关键词 列车控制系统 车载设备 测试序列 中国邮路问题 多重弧有向图 Edmonds-Johnson算法
下载PDF
基于粒子群优化算法的类集成测试序列确定方法 被引量：17
3
作者 张艳梅 姜淑娟 +2 位作者 陈若玉 王兴亚 张妙 《计算机学报》 EI CSCD 北大核心 2018年第4期931-945,共15页
类测试序列的确定是类集成测试中一个难以解决的关键问题.合理的类集成测试序列可以降低构造测试桩的总体复杂度,降低测试代价.提出一种基于粒子群优化算法的类集成测试序列确定方法.首先,对所有类进行排列组合生成所有可能的类测试序列... 类测试序列的确定是类集成测试中一个难以解决的关键问题.合理的类集成测试序列可以降低构造测试桩的总体复杂度,降低测试代价.提出一种基于粒子群优化算法的类集成测试序列确定方法.首先,对所有类进行排列组合生成所有可能的类测试序列,并将每个类测试序列看成一个粒子并映射到一维空间,用空间中的每一个位置代表一个类集成测试序列;然后,根据适应度函数计算每个粒子的速度和位置,再通过粒子群优化算法选择粒子的最优位置和最优适应度,得到最优粒子;最后,根据映射关系,将选择的最优粒子映射为其对应的类测试序列,则该测试序列即为所求得的最优类测试序列.实验结果表明,采用该文方法求得的类测试序列花费更小的测试代价,该文方法更有效. 展开更多
关键词 测试序列 面向对象 集成测试 粒子群优化算法 一维空间
下载PDF
基于有色Petri网的车载设备模式转换测试序列生成方法 被引量：17
4
作者 赵晓宇 杨志杰 吕旌阳 《中国铁道科学》 EI CAS CSCD 北大核心 2017年第4期115-123,共9页
为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载... 为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件。验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率。 展开更多
关键词 测试序列 车载设备 列车控制系统 模式转换 有色PETRI网 中国邮路算法 路径覆盖量
下载PDF
基于D矩阵的舰船电子装备综合诊断方法 被引量：13
5
作者 林志文 刘松风 杨士元 《海军工程大学学报》 CAS 北大核心 2009年第4期87-91,共5页
针对舰船电子装备综合诊断实现要求,提出一种基于故障-测试依赖性关系(D)矩阵的综合诊断方法,利用同一D矩阵分别完成对舰船电子装备的测试性分析评估、测试诊断需求分配、诊断测试序列生成和诊断信息的共享,实现舰船电子装备综合诊断各... 针对舰船电子装备综合诊断实现要求,提出一种基于故障-测试依赖性关系(D)矩阵的综合诊断方法,利用同一D矩阵分别完成对舰船电子装备的测试性分析评估、测试诊断需求分配、诊断测试序列生成和诊断信息的共享,实现舰船电子装备综合诊断各过程诊断信息模型的一致。该方法已在某舰载电子装备综合诊断实现中得到验证和应用。 展开更多
关键词 综合诊断 D矩阵 测试性分析评估 需求分配 测试序列
下载PDF
集成电路测试系统通用测试软件的研究与设计 被引量：13
6
作者 戴春翟 李晓静 张侃谕 《电子测量技术》 2010年第1期133-135,共3页
介绍了一种集成电路测试系统通用测试软件的设计方法和软件组成。利用多层次、模块化的软件结构设计方法,令描述被测器件的参数和测试程序互相分离,并以图形化的方式利用测试模块构建测试序列文件,使得该集成电路测试软件具备良好的通用... 介绍了一种集成电路测试系统通用测试软件的设计方法和软件组成。利用多层次、模块化的软件结构设计方法,令描述被测器件的参数和测试程序互相分离,并以图形化的方式利用测试模块构建测试序列文件,使得该集成电路测试软件具备良好的通用性,可维护性和可扩充性。 展开更多
关键词 集成电路 测试序列 测试参数
下载PDF
CTCS-3级列控系统车载设备测试序列的优化 被引量：11
7
作者 李伟 王海峰 《北京交通大学学报》 CAS CSCD 北大核心 2010年第2期75-78,共4页
如何将测试案例组合成为最有效和最优化的测试序列,是车载设备测试的一个关键问题.将优化测试序列生成问题演化为邮递员问题,通过利用遗传算法解决邮递员问题的优势,将遗传算法应用于优化测试序列的生成.根据车载模式转换图构造测试子... 如何将测试案例组合成为最有效和最优化的测试序列,是车载设备测试的一个关键问题.将优化测试序列生成问题演化为邮递员问题,通过利用遗传算法解决邮递员问题的优势,将遗传算法应用于优化测试序列的生成.根据车载模式转换图构造测试子序列图,然后应用遗传算法求解得到优化测试序列.分析实验结果表明,此方法使得测试效率得到了大幅度提高,是一种优化测试序列生成问题的可行方法. 展开更多
关键词 车载设备 测试序列 遗传算法 邮递员问题
下载PDF
基于数据流的软件测试序列自动生成技术研究 被引量：10
8
作者 刘勇 曾明 +2 位作者 朱利 陈继峰 严建伟 《微电子学与计算机》 CSCD 北大核心 2005年第5期131-135,共5页
测试用例自动生成技术是软件测试的一个重要研究领域,而如何从待测试程序中选取适当的测试序列集合是其中的一个关键问题。文章提出一种构造结构性测试序列集合的方法,此方法首先对待测试程序进行静态分析,然后根据程序的语句间关系生... 测试用例自动生成技术是软件测试的一个重要研究领域,而如何从待测试程序中选取适当的测试序列集合是其中的一个关键问题。文章提出一种构造结构性测试序列集合的方法,此方法首先对待测试程序进行静态分析,然后根据程序的语句间关系生成程序图,最后基于数据流测试准则,根据程序图以及变量的定义和使用信息构造结构性测试序列集合。在Linux平台上使用这种方法对若干条程序进行分析处理,得到的测试序列集合可以使待测试程序得到充分测试。本文提出的方法具有比较高的测试覆盖,同时,在计算过程中避免了无用路径的生成,节省了算法空间和执行时间。 展开更多
关键词 软件测试 数据流 测试序列
下载PDF
一种基于耦合度量的类间集成测试序的确定方法 被引量：11
9
作者 姜淑娟 张艳梅 +1 位作者 李海洋 王庆坛 《计算机学报》 EI CSCD 北大核心 2011年第6期1062-1074,共13页
类间测试顺序的确定是类集成测试中难以解决的一个关键问题.类的测试序列不同,构造相应的测试桩需要花费的代价也会不同.每一个测试桩复杂度度量的准确性决定最终打破环路所需构造测试桩的总体复杂度.对于类间测试顺序问题,文章提出一... 类间测试顺序的确定是类集成测试中难以解决的一个关键问题.类的测试序列不同,构造相应的测试桩需要花费的代价也会不同.每一个测试桩复杂度度量的准确性决定最终打破环路所需构造测试桩的总体复杂度.对于类间测试顺序问题,文章提出一种基于耦合度量的类间集成测试序的确定方法.采用类间耦合度量与基于图的启发式算法相结合的方法,其中,前者用于度量每一个测试桩的复杂度,后者用于在保证测试桩总体复杂度尽可能小的条件下来打破环路.首先提出一种在度量中使用的耦合权重的计算方法,对测试桩的复杂度进行新的耦合度量;然后给出一种有效打破环路的基于图的启发式算法;最后实现了类间测试序列自动生成工具——TOGOS.实验结果表明:文中的方法较现有的方法总体复杂度有明显的降低,从而节约了测试成本. 展开更多
关键词 集成测试 测试序列 测试桩复杂度 耦合度量 启发式算法
下载PDF
基于UML协作图的集成测试序列生成方法 被引量：5
10
作者 董玉坤 李村合 《计算机工程与应用》 CSCD 北大核心 2007年第5期96-98,共3页
随着软件测试自动化的要求,以及UML在面向对象软件开发领域中的广泛应用,基于UML的面向对象软件测试正日益受到关注。集成测试是面向对象软件测试的一个重要阶段,在基于UML协作图生成面向对象软件的集成测试用例的过程中,一个重要内容... 随着软件测试自动化的要求,以及UML在面向对象软件开发领域中的广泛应用,基于UML的面向对象软件测试正日益受到关注。集成测试是面向对象软件测试的一个重要阶段,在基于UML协作图生成面向对象软件的集成测试用例的过程中,一个重要内容是测试序列的生成。针对集成测试序列数量容易膨胀的现象,根据UML协作图的特点,应用过程间受限控制流图(IR-CFG)描述协作图的消息间逻辑控制关系。给出了由RationalRose开发的规格说明文件生成IRCFG的算法,并介绍了IRCFG的几种覆盖准则与基于IRCFG生成测试序列的方法。 展开更多
关键词 协作图 面向对象 过程间受限控制流图 集成测试 测试序列
下载PDF
基于TestStand的自动测试系统软件设计 被引量：10
11
作者 吴伟 张宏军 +2 位作者 刘康 朱迪 吴捷 《计算机测量与控制》 北大核心 2014年第7期2321-2323,共3页
为满足测试系统多功能测试状态的需求,开发了一种基于TestStand的自动测试系统软件;该软件使用TestStand引擎对复杂的自动测试流程和测试资源进行管理;实际应用表明,该软件能够简化测试流程,有效提高了测试系统的测试效率,减少了软件维... 为满足测试系统多功能测试状态的需求,开发了一种基于TestStand的自动测试系统软件;该软件使用TestStand引擎对复杂的自动测试流程和测试资源进行管理;实际应用表明,该软件能够简化测试流程,有效提高了测试系统的测试效率,减少了软件维护成本,同时,该系统软件具有良好的兼容性和灵活性。 展开更多
关键词 TESTSTAND 自动测试系统软件 测试序列
下载PDF
基于深度学习与遗传算法的动车组与ATP车载设备接口试验测试序列优化生成 被引量：10
12
作者 袁磊 甘庆鹏 +1 位作者 李开成 付强 《铁道学报》 EI CAS CSCD 北大核心 2018年第3期88-94,共7页
接口型式试验验证不同类型ATP车载设备与不同型号动车组之间接口的适配性与安全性,而其测试序列设计和优化对在有限试验资源下高效、安全地完成试验十分重要。目前,接口型式试验的测试序列主要基于经验人工编写形成,测试项的有效性和测... 接口型式试验验证不同类型ATP车载设备与不同型号动车组之间接口的适配性与安全性,而其测试序列设计和优化对在有限试验资源下高效、安全地完成试验十分重要。目前,接口型式试验的测试序列主要基于经验人工编写形成,测试项的有效性和测试序列的优化衡量等方面存在较多问题。本文研究了接口型式试验的测试序列的优化生成方法,利用深度学习算法与遗传算法,针对测试序列的生成与优化进行建模,设计测试序列的生成与优化两个相互联系的过程,综合地在序列解空间中寻找次优解,以得到期望的测试序列。基于型式试验现场数据进行了仿真与分析,论述了本文策略的有效性。 展开更多
关键词 高速铁路 型式试验 测试序列 深度学习 遗传算法
下载PDF
利用逆向判定性缩短EFSM的测试序列的长度 被引量：6
13
作者 周晓煜 屈玉贵 赵保华 《通信学报》 EI CSCD 北大核心 2000年第11期48-55,共8页
在一个以扩展的有限状态机 (EFSM)为模型描述的协议测试系统中 ,测试序列的可执行性是一个重要的问题。同时 ,还要考虑到测试序列的优化问题。文中以EFSM为协议的描述模型 ,引入了逆向判定性的概念 ,并利用这一概念对转换可执行性分析 (... 在一个以扩展的有限状态机 (EFSM)为模型描述的协议测试系统中 ,测试序列的可执行性是一个重要的问题。同时 ,还要考虑到测试序列的优化问题。文中以EFSM为协议的描述模型 ,引入了逆向判定性的概念 ,并利用这一概念对转换可执行性分析 (TEA)方法进行了改进 ,缩短了生成的测试序列的长度 ,并且减小了所需的TEA树扩展空间。 展开更多
关键词 EFSM 逆向判定性 测试序列
下载PDF
协议一致性测试研究进展 被引量：8
14
作者 李强 余祥 +1 位作者 齐建业 许庆光 《西南科技大学学报》 CAS 2013年第4期85-92,共8页
协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术入手,... 协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术入手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。 展开更多
关键词 协议测试 一致性测试 测试序列 测试用例 形式化
下载PDF
CTCS-3级列控车载设备实验室互联互通测试方法 被引量：8
15
作者 刘雨 唐涛 +1 位作者 李开成 袁磊 《铁道通信信号》 2011年第12期4-7,共4页
研究CTCS-3级列控系统互联互通的实际需求,确定车载设备互联互通测试的基本原则;然后针对适用于CTCS-3级车载设备互联互通测试的体系和方法进行研究,分析了CTCS-3级列控系统车载设备互联互通测试平台的结构及功能划分。研究实际开展的... 研究CTCS-3级列控系统互联互通的实际需求,确定车载设备互联互通测试的基本原则;然后针对适用于CTCS-3级车载设备互联互通测试的体系和方法进行研究,分析了CTCS-3级列控系统车载设备互联互通测试平台的结构及功能划分。研究实际开展的车载设备互联互通测试工作,介绍车载设备互联互通测试序列的生成方法,互联互通测试执行的过程,最后对互联互通测试的结果进行总结,提出车载设备互联互通测试结果的管理方法。 展开更多
关键词 车载设备 互联互通测试 测试序列 测试结果
下载PDF
基于复杂网络的类间集成测试序列生成方法 被引量：8
16
作者 赵玉丽 王莹 +1 位作者 于海 朱志良 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2015年第12期1696-1700,共5页
类间集成测试是面向对象软件测试的一个重要部分.将类抽象成节点,类间调用关系抽象成边,建立面向对象软件的复杂网络模型,根据软件网络的结构特征,分析类节点的影响力和复杂性,给出一种软件重要节点的度量方法.在此基础上,将错误被尽早... 类间集成测试是面向对象软件测试的一个重要部分.将类抽象成节点,类间调用关系抽象成边,建立面向对象软件的复杂网络模型,根据软件网络的结构特征,分析类节点的影响力和复杂性,给出一种软件重要节点的度量方法.在此基础上,将错误被尽早发现的思想应用在类间集成测试排序中,在确保构造的测试桩复杂度较小的前提下,保证重要节点优先测试,得到了一种基于复杂网络的类间集成测试序列生成方法.最后,在开源软件DNS 1.2.0上进行分析和验证,证明了该方法的有效性. 展开更多
关键词 集成测试 复杂网络 节点重要性 测试序列 桩复杂度
下载PDF
飞机实时测试序列生成算法研究及仿真 被引量：6
17
作者 高磊 吕振中 景小宁 《计算机工程与应用》 CSCD 北大核心 2006年第9期228-229,232,共3页
测试序列问题是基于诊断树方法的实时故障诊断中的关键问题,且被证明属于NPC类问题。针对这一问题,文章在信息论和与/或树启发式搜索算法的基础上,提出了一种单步反馈平衡算法。它可以有效削减计算复杂度,生成测试序列的平均测试代价、... 测试序列问题是基于诊断树方法的实时故障诊断中的关键问题,且被证明属于NPC类问题。针对这一问题,文章在信息论和与/或树启发式搜索算法的基础上,提出了一种单步反馈平衡算法。它可以有效削减计算复杂度,生成测试序列的平均测试代价、平均测试点数,以及建模过程中的反馈次数、扩展节点数均优于已有算法。 展开更多
关键词 测试序列 HUFFMAN编码 信息熵 启发式搜索 与/或树
下载PDF
两种基于UIO序列的测试序列生成算法及比较 被引量：5
18
作者 马秀飞 高翔 梅杓春 《计算机工程与应用》 CSCD 北大核心 2005年第22期76-79,102,共5页
在通信协议一致性测试中,生成测试序列是非常重要的。基于FSM(FiniteStatemachine)的测试序列生成的形式化方法有很多种,其中基于UIO序列(Uniqueinput/outputsequences)的U方法是最常用的。本文主要介绍了两种基于UIO序列的测试序列生... 在通信协议一致性测试中,生成测试序列是非常重要的。基于FSM(FiniteStatemachine)的测试序列生成的形式化方法有很多种,其中基于UIO序列(Uniqueinput/outputsequences)的U方法是最常用的。本文主要介绍了两种基于UIO序列的测试序列生成算法,并以TCP协议的FSM图为例,分别应用这两种算法生成了测试序列,进而从错误覆盖度、测试序列的长度、算法复杂度等方面对这两种算法进行了比较研究。 展开更多
关键词 UIO FSM 测试序列 TCP
下载PDF
基于TMSDG的民用飞机故障诊断隔离策略 被引量：7
19
作者 周虹 左洪福 +1 位作者 蔡景 苏艳 《航空学报》 EI CAS CSCD 北大核心 2012年第3期479-486,共8页
针对民用飞机排故时交互式故障诊断与隔离需求,在符号有向图(SDG)中补充状态节点的故障概率信息和未测状态表达,引入对测试节点的描述,提出了一种附带测试维修信息的SDG(TMSDG),给出了基于此模型的交互诊断流程。首先根据初始征兆获取... 针对民用飞机排故时交互式故障诊断与隔离需求,在符号有向图(SDG)中补充状态节点的故障概率信息和未测状态表达,引入对测试节点的描述,提出了一种附带测试维修信息的SDG(TMSDG),给出了基于此模型的交互诊断流程。首先根据初始征兆获取可疑集,然后综合可靠性和测试代价等因素生成一种基于最小测试代价的诊断二叉树对初始可疑集进一步隔离。该模型能描述复杂系统中存在的状态关联和故障测试依赖关系,对其中故障进行交互式诊断和隔离指导。利用该方法建立了某飞机发动机高压引气的诊断模型,实验结果表明提出的方法有效。该方法适用于飞机的外场故障诊断与隔离。 展开更多
关键词 符号有向图 交互式诊断 测试代价 测试序列 诊断二叉树
原文传递
关于通信协议测试生成形式方法的探讨 被引量：2
20
作者 刘积仁 都军 《东北大学学报（自然科学版）》 EI CAS CSCD 1995年第2期165-170,共6页
结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别是：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法．并且，针对以上五种方法分别给出... 结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别是：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法．并且，针对以上五种方法分别给出各自生成的测试序列的长度的上界． 展开更多
关键词 形式方法 测试序列 计算机通信 通信协议
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 14 下一页 到第 页
使用帮助 返回顶部