期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
基于数据库的机载导弹面向信号通用TPS开发 被引量:1
1
作者 夏锐 吴志强 +1 位作者 苟新禹 肖明清 《弹箭与制导学报》 CSCD 北大核心 2008年第2期262-264,275,共4页
在机载导弹通用自动测试系统软件开发中,采用面向信号的通用测试语言ATLAS,并且在测试系统软件开发中引入基于数据库的软件开发方法。当其中任何一个测试对象改变时,只需修改数据库的相应记录,程序无需重新编译,大大提高了软件的开发效... 在机载导弹通用自动测试系统软件开发中,采用面向信号的通用测试语言ATLAS,并且在测试系统软件开发中引入基于数据库的软件开发方法。当其中任何一个测试对象改变时,只需修改数据库的相应记录,程序无需重新编译,大大提高了软件的开发效率、通用性、可重用性和系统的可靠性。 展开更多
关键词 自动测试系统 测试程序集 数据库 ATLAS
在线阅读 下载PDF
基于证据理论的TPS诊断性能综合评定 被引量:1
2
作者 孟晓风 王国华 季宏 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2006年第11期1324-1327,1357,共5页
测试程序集TPS(Test Program Set)诊断性能的评定是保证TPS质量的重要手段.针对TPS诊断性能的评定问题,研究了基于D-S(Dempster-Shafer)证据理论的综合评定方法,介绍了D-S证据理论的基本原理,提出了TPS评价验证的数学模型以及基于证据... 测试程序集TPS(Test Program Set)诊断性能的评定是保证TPS质量的重要手段.针对TPS诊断性能的评定问题,研究了基于D-S(Dempster-Shafer)证据理论的综合评定方法,介绍了D-S证据理论的基本原理,提出了TPS评价验证的数学模型以及基于证据理论的TPS诊断性能综合评定的基本框架,定义了TPS诊断性能的基本概率分配函数(BPAF,Bas-ic Probability Assignment Functions),并在此基础上提出了基于Kolmogorov-Sm imov(K-S)检验的BPAF确定方法,给出了TPS诊断性能综合评定的步骤,最后对基于D-S证据理论的TPS诊断性能综合评定的有效性进行了实例分析,结果证明了该方法的有效性. 展开更多
关键词 测试程序集 评定 证据理论 基本概率分配函数
在线阅读 下载PDF
基于构件的并行测试系统TPS设计与实现
3
作者 夏锐 肖明清 +1 位作者 付新华 程进军 《计算机应用》 CSCD 北大核心 2007年第9期2304-2306,2309,共4页
并行测试系统的测试程序集(TPS)目前尚无成熟实用的开发方法。分析了多线程并行测试系统的体系结构,给出了其TPS的用例模型。在此基础上,按分层设计的原则,建立了基于构件的层次式框架。最后设计实现了基于COM接口的支持并发操作的功能... 并行测试系统的测试程序集(TPS)目前尚无成熟实用的开发方法。分析了多线程并行测试系统的体系结构,给出了其TPS的用例模型。在此基础上,按分层设计的原则,建立了基于构件的层次式框架。最后设计实现了基于COM接口的支持并发操作的功能构件。该开发方法为并行测试系统TPS的快速开发打下了良好的应用基础。 展开更多
关键词 并行测试 自动测试系统 测试程序集 多线程 构件
在线阅读 下载PDF
面向TPS架构的混合电路测试系统设计 被引量:1
4
作者 王春艳 赵艳丽 《雷达科学与技术》 2012年第4期435-437,447,共4页
面向测试程序集(TPS)软件架构是通用自动测试系统的发展方向,而建立统一的测试系统模型是测试系统中资源管理与配置的关键。提出了一种基于TPS的自动测试系统建模方案及实现机制,利用关系型数据库建立包括仪器仪表资源自动配置、被测件... 面向测试程序集(TPS)软件架构是通用自动测试系统的发展方向,而建立统一的测试系统模型是测试系统中资源管理与配置的关键。提出了一种基于TPS的自动测试系统建模方案及实现机制,利用关系型数据库建立包括仪器仪表资源自动配置、被测件管理、测试底版通信控制的自动测试系统模型。基于VC6.0平台,在测试主程序与仪器仪表控制、与测试底版之间建立引擎,实现资源的自动选择和配置,解决了测试程序对仪器仪表的依赖问题及测试底版的通用性问题。该方案已经成功应用于某出口三型雷达综合电路集成测试系统中。 展开更多
关键词 自动测试系统 测试程序集 被测件模型 关系数据库
在线阅读 下载PDF
含存储器数字电路板的TPS开发研究
5
作者 成本茂 鞠艳秋 +1 位作者 王红 杨士元 《半导体技术》 CAS CSCD 北大核心 2006年第12期926-929,934,共5页
提出了含存储器数字电路板的两种测试矢量集(TPS)开发方案。对含少量存储器芯片的电路板采用结构化的测试方案,即将RAM等效成时序电路模型,利用时序电路ATPG软件进行测试生成。对以RAM为主的存储器板提出了一种功能测试方案,采取压缩地... 提出了含存储器数字电路板的两种测试矢量集(TPS)开发方案。对含少量存储器芯片的电路板采用结构化的测试方案,即将RAM等效成时序电路模型,利用时序电路ATPG软件进行测试生成。对以RAM为主的存储器板提出了一种功能测试方案,采取压缩地址空间的方法,对RAM阵列进行读写操作。实际应用证明,这两种方案较好地满足了实际应用中的需要。 展开更多
关键词 存储器 测试矢量集 结构测试 功能测试
在线阅读 下载PDF
海军某型声纳电路板测试程序集(TPS)开发研究 被引量:17
6
作者 张波 陈岩申 王桂芝 《仪器仪表学报》 EI CAS CSCD 北大核心 2002年第z1期251-253,共3页
阐述了武器装备电子自动测试系统在综合技术保障中的要求 ,介绍了一种 VXI总线标准的自动测试系统的软硬件设计 ,详细描述了海军某型声纳 TPS开发的过程以及全面提高系统通用化。
关键词 测试程序集(tps) 自动测试设备(ATE) 测试 故障诊断
在线阅读 下载PDF
机载设备自动测试系统通用开发平台 被引量:12
7
作者 孙宝江 秦红磊 +1 位作者 李洁 沈士团 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2007年第3期327-331,共5页
针对当前自动测试系统(ATS,Automatic Test System)开发技术存在的不足,构建了一个ATS通用开发平台.该平台对ATS软硬件进行联合设计,用户只需通过接口输入被测设备信息及测试策略流程,平台即可自动完成大部分软硬件设计工作,包括仪器选... 针对当前自动测试系统(ATS,Automatic Test System)开发技术存在的不足,构建了一个ATS通用开发平台.该平台对ATS软硬件进行联合设计,用户只需通过接口输入被测设备信息及测试策略流程,平台即可自动完成大部分软硬件设计工作,包括仪器选型、适配器设计、测试程序生成等.设计结果会传递到平台提供的ATS运行环境,供用户进行被测设备的测试、故障诊断.经实例验证,ATS软硬件联合自动设计技术可缩短开发周期,降低开发成本,提高设计的标准化、通用化程度. 展开更多
关键词 自动测试 开发平台 自动测试系统 自动设计 测试适配器 测试程序集
在线阅读 下载PDF
基于程序切片的测试用例生成系统研究与实现 被引量:3
8
作者 王志文 黄小龙 +2 位作者 王海军 刘烃 俞乐晨 《计算机科学》 CSCD 北大核心 2014年第9期71-74,共4页
介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集。系统分为静态分析、动态符号执行以及测试用例生成3个模块。在静态分析模块中根据输入的程序代码... 介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集。系统分为静态分析、动态符号执行以及测试用例生成3个模块。在静态分析模块中根据输入的程序代码分析程序的控制流和信息流,提取程序的控制依赖和数据依赖,并计算程序的潜在依赖;动态符号执行模块求解约束条件、生成测试用例和分析代码执行过程;测试用例生成模块根据执行路径和依赖关系计算被路径覆盖的程序行为切片和未被覆盖的程序行为切片,然后根据未被覆盖的程序行为切片,引导符号执行生成能覆盖新的程序行为切片的测试用例。实验证明,本系统生成的测试用例集可以保证覆盖所有的程序行为,同时能显著减少生成的测试用例数量。 展开更多
关键词 软件测试 测试用例集生成 动态符号执行 程序切片
在线阅读 下载PDF
测试点的选取问题 被引量:5
9
作者 谢政 郁殿龙 《国防科技大学学报》 EI CAS CSCD 北大核心 2001年第1期93-96,共4页
在故障检测的过程中 ,每个测试点检测需要的时间可能不同。本文研究了如何选取一些测试点 ,使得这些测试点可以检测所有故障 ,而所需时间最少的问题。我们将其转化成整数规划问题 ,并给出一个求解算法 .最后给出一个实例对算法加以说明。
关键词 集合覆盖 整数规划 故障检测 测试点 选取
在线阅读 下载PDF
ATE通用平台研究 被引量:6
10
作者 王远达 卢永吉 《航空兵器》 2007年第5期33-36,共4页
在对国内外ATE(自动测试设备)通用平台的发展历程进行综述的基础上,参考国外设计较为成功的通用自动测试设备,分析了国内ATE存在的问题,阐明了研究ATE通用平台的必要性,介绍了通用性设计的原则,并重点讨论了ATE通用平台的关键技术。
关键词 自动测试设备 通用平台 测试程序集 测试语言
在线阅读 下载PDF
开放式测试仿真平台研究 被引量:1
11
作者 王国华 孟晓风 边泽强 《计算机工程》 CAS CSCD 北大核心 2007年第23期226-227,251,共3页
设计并实现了一个面向被测设备(UUT)的开放式测试仿真平台,可用于各种通用自动测试系统(ATS)研制开发过程中测试程序集(TPS)的调试与性能验证。平台以物理仿真方法实现被测设备在各种工作状态下的信号输出和测量行为,以便在没有UUT的情... 设计并实现了一个面向被测设备(UUT)的开放式测试仿真平台,可用于各种通用自动测试系统(ATS)研制开发过程中测试程序集(TPS)的调试与性能验证。平台以物理仿真方法实现被测设备在各种工作状态下的信号输出和测量行为,以便在没有UUT的情况下,实现TPS的集成与调试,验证ATS的功能与技术指标是否符合要求。 展开更多
关键词 自动测试系统 测试程序集 被测设备 仿真平台
在线阅读 下载PDF
民用飞机电源系统控制器自动测试系统设计 被引量:3
12
作者 李莉 于沛 +1 位作者 陈丽娟 刘绚 《电光与控制》 北大核心 2016年第1期44-47,52,共5页
以民用飞机电源系统为背景,针对电源系统控制器的功能和工作模式,建立了该产品的通用自动测试系统(GPATS),阐述了GPATS平台软件的选择依据,并对GPATS的设计方案和具体的实现方法进行了分析和描述。
关键词 电源系统控制器 通用自动测试系统 测试程序集 民用飞机
在线阅读 下载PDF
通用试题库管理系统的一种优化命题模型 被引量:11
13
作者 孟志青 《计算机工程与设计》 CSCD 北大核心 1998年第3期55-58,共4页
针对计算机试题库管理系统提出了一种新的通用优化命题模式,并建立了相应的多目标优化模型,其算法在文献[5]中已解决。
关键词 CAI 最优化 试题库管理系统 命题模型
在线阅读 下载PDF
基于历史数据的测试任务约简和故障诊断 被引量:2
14
作者 方甲永 肖明清 +1 位作者 王磊 李斌 《系统工程与电子技术》 EI CSCD 北大核心 2010年第1期205-210,共6页
针对部队航电组件测试任务繁重、故障定位率低的问题,提出一种利用历史数据来简化测试任务、提高故障定位率的方法。利用粗糙集信息系统理论,建立了航电组件故障信息系统模型;基于测试任务辨识函数和诊断允许误差对测试任务进行约简;基... 针对部队航电组件测试任务繁重、故障定位率低的问题,提出一种利用历史数据来简化测试任务、提高故障定位率的方法。利用粗糙集信息系统理论,建立了航电组件故障信息系统模型;基于测试任务辨识函数和诊断允许误差对测试任务进行约简;基于最短测试时间选出最优测试任务集;利用贝叶斯最大后验概率进行故障诊断推理,将诊断问题归结为不等式约束极值问题;用0-1规划隐数算法求得最优解。最后以某型飞机惯导部件为例验证了方法的快速有效性。 展开更多
关键词 历史数据 测试任务约简 故障诊断 粗糙集 贝叶斯后验概率 0-1规划隐数法
在线阅读 下载PDF
基于验证库的微处理器指令集验证方法 被引量:1
15
作者 龚令侃 王玉艳 章建雄 《计算机工程》 CAS CSCD 北大核心 2009年第3期86-88,共3页
指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语... 指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语言开发验证库和测试程序模板,针对不同验证阶段生成高质量的测试程序。测试结果表明,该方法实现简单,能达到较好的验证效果。 展开更多
关键词 微处理器 指令集验证 随机测试程序生成 验证库
在线阅读 下载PDF
多目标出卷系统及其核心算法的研究与设计 被引量:1
16
作者 张琦 郑河荣 +1 位作者 刘志 陈云泽 《浙江工业大学学报》 CAS 北大核心 2009年第2期183-189,共7页
主要研究了多目标出卷系统及其核心—选题算法和赋分算法的设计和实现.采用多目标规划理论对组卷算法建立数学模型,依据多目标规划求解思想,并结合出卷系统的商业化需求,设计可以平衡组卷质量和组卷速度的组卷算法.对选题算法进行了选... 主要研究了多目标出卷系统及其核心—选题算法和赋分算法的设计和实现.采用多目标规划理论对组卷算法建立数学模型,依据多目标规划求解思想,并结合出卷系统的商业化需求,设计可以平衡组卷质量和组卷速度的组卷算法.对选题算法进行了选题策略和模块功能的设计.通过建模设计了试题的动态赋分算法,根据公平分配原则对试题分数作合理分配,使试题分数组合与考试目标一致.通过综合分析,建立了"难度—时间"的对应关系,生成出卷模型.最后,通过测试验证了算法在不同要求下都能得到较为满意的效果,使得整个系统在出卷难度、分值分配、时间分配和题型数量上都能合理分布. 展开更多
关键词 出卷系统 多目标规划 选题算法 试题赋分算法
在线阅读 下载PDF
测试程序集组件化设计研究与实现 被引量:2
17
作者 肖勇 《现代电子技术》 2023年第8期154-158,共5页
针对自动测试系统设计过程中,测试程序存在的开发效率低、语义不统一、维护难度大,对开发人员技术水平要求较高,阻碍自动测试系统整体开发速度及推广应用等问题,文中开展测试程序集组件化设计研究,并通过软件设计实现相关功能,改变测试... 针对自动测试系统设计过程中,测试程序存在的开发效率低、语义不统一、维护难度大,对开发人员技术水平要求较高,阻碍自动测试系统整体开发速度及推广应用等问题,文中开展测试程序集组件化设计研究,并通过软件设计实现相关功能,改变测试程序集的设计方式。首先,构建测试程序集设计所需资源库,动态识别提取资源库相关信息,并结构化表达;其次,对测试程序集内容要素进行分类,结合UI设计开发对应的组件,组件关联资源库结构化信息,实现拖拽组件、组件内容参数化设置的非编码设计方式以及自动生成源代码;最后,采用Python脚本语言与PyQT界面设计工具,结合测试程序集设计流程,开发相应的软件功能,将测试程序集设计界面呈现给设计师。实际使用证明,测试程序集设计软件操作简单,自动生成的源代码可被自动测试系统软件平台执行,提高自动测试系统的开发效率。 展开更多
关键词 自动测试系统 测试程序集 动态识别 组件化 参数化 非编码 自动生成 脚本语言
在线阅读 下载PDF
基于多切片最优融合集的故障测试约束构造方法
18
作者 张屹 潘正军 《计算机工程与应用》 CSCD 2014年第20期264-270,共7页
针对故障测试约束构造过程相当复杂,计算开销太大,测试用例设计质量不高,不利于广泛运用,提出一种基于多切片最优融合集的故障测试约束构造方法,采用同一切片标准的不同程序切片构造融合度矩阵来度量切片的一致融合度,通过利用切片融合... 针对故障测试约束构造过程相当复杂,计算开销太大,测试用例设计质量不高,不利于广泛运用,提出一种基于多切片最优融合集的故障测试约束构造方法,采用同一切片标准的不同程序切片构造融合度矩阵来度量切片的一致融合度,通过利用切片融合度、路径条件以及软件故障触发与传播的内在机制进而构造某个故障相应的测试约束,可控制测试用例的规模,提高测试用例设计质量。实验结果表明,这种故障测试约束与传统基于谓词约束和必要性约束比较,生成的测试用例规模较小,很少生成无效测试用例,发现Bug的效率很高。 展开更多
关键词 程序切片 软件测试 最优融合集 测试约束
在线阅读 下载PDF
基于华中8型系统数控转台的安装与调试
19
作者 牛志斌 陈培亮 刘立勇 《制造技术与机床》 北大核心 2013年第7期154-160,共7页
分析了配置华中8型系统的3轴加工中心加装数控转台,升级改造第4轴(A轴)的具体步骤、方法,并针对安装调试中的参数设置、PLC程序设计和转台精度检测与调整等关键技术难点进行说明,对于华中8型这一全数字高档数控系统在企业的应用具有参... 分析了配置华中8型系统的3轴加工中心加装数控转台,升级改造第4轴(A轴)的具体步骤、方法,并针对安装调试中的参数设置、PLC程序设计和转台精度检测与调整等关键技术难点进行说明,对于华中8型这一全数字高档数控系统在企业的应用具有参考价值。 展开更多
关键词 HNC-8型数控系统 数控转台 A轴 参数设置 PLC程序设计 精度检测
在线阅读 下载PDF
畜禽测定的多目标决策模型 I.后裔测定的Fuzzy多目标规划
20
作者 曹胜炎 《华中农业大学学报》 CAS CSCD 北大核心 1990年第1期22-29,共8页
本文首次将Fuzzy多目标规划的方法引入到动物育种规划的研究之中。通过隶属函数的建立,利用理想点法、线性加权和法和几何平均法,分别研究了兼顾测定总成本和遗传进展时的后裔测定的最佳决策问题,并给出了求Fuzzy解的数值计算方法。最后... 本文首次将Fuzzy多目标规划的方法引入到动物育种规划的研究之中。通过隶属函数的建立,利用理想点法、线性加权和法和几何平均法,分别研究了兼顾测定总成本和遗传进展时的后裔测定的最佳决策问题,并给出了求Fuzzy解的数值计算方法。最后,讨论了不同方法在实际中的应用。这些方法可被有效地应用到其它类型的动物育种决策之中去。 展开更多
关键词 后裔测定 模糊集 测定成本 遗传进展 育种决策 多目标决策模型
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部