期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
多脉冲直线感应加速器复位系统及其控制和测试
1
作者 蒋薇 黄子平 +1 位作者 叶毅 张晓波 《高能量密度物理》 2015年第1期24-28,共5页
基于硅堆隔离网络的三脉冲直线感应加速器(LIA)需要外接独立的复位系统,以满足其加速腔磁芯在主脉冲励磁前的复位要求。阐述了猝发三脉冲LIA外接复位系统的工作原理、电路设计及其控制和测试系统的设计和实现,并针对运行时电磁环境... 基于硅堆隔离网络的三脉冲直线感应加速器(LIA)需要外接独立的复位系统,以满足其加速腔磁芯在主脉冲励磁前的复位要求。阐述了猝发三脉冲LIA外接复位系统的工作原理、电路设计及其控制和测试系统的设计和实现,并针对运行时电磁环境复杂等特点,给出了行之有效的解决措施,建立了稳定运行的集成监控系统,确保三脉冲LIA的所有加速腔能够在主脉冲励磁前稳定、快速、充分的复位。 展开更多
关键词 直线感应加速器 复位系统 控制和测试 电磁干扰
原文传递
基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法 被引量:3
2
作者 赵显琼 李开成 +1 位作者 唐涛 袁磊 《铁道通信信号》 2010年第7期15-20,共6页
提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的... 提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。 展开更多
关键词 列车运行控制系统 测试和测试控制符号 端口标记的时间输入输出自动机 自动测试
下载PDF
基于TTCN-3的RRM小区重选过程一致性测试 被引量:3
3
作者 董宏成 张宁 李小文 《电信科学》 北大核心 2013年第4期47-50,56,共5页
为验证TD-LTE系统RRM(无线资源管理)中小区重选过程的协议一致性,设计了一种通过执行TTCN-3(testing and test control notation vertion 3,测试和测试控制表示法版本3)抽象测试套进行测试的新方法。并基于德国Testing Tech公司开发的TT... 为验证TD-LTE系统RRM(无线资源管理)中小区重选过程的协议一致性,设计了一种通过执行TTCN-3(testing and test control notation vertion 3,测试和测试控制表示法版本3)抽象测试套进行测试的新方法。并基于德国Testing Tech公司开发的TTworkbench平台运行TTCN-3测试套,自动生成GFT(图形表示格式)和测试报告,有效验证了小区重选功能实现的一致性。目前该方案已成功应用于TD-LTE系统TTCN扩展测试集仪表(RRM部分)的项目开发中。 展开更多
关键词 测试和测试控制表示法版本3 无线资源管理 一致性测试 小区重选
下载PDF
基于MSC的TTCN-3测试例生成研究 被引量:2
4
作者 胡文红 魏仰苏 《计算机工程与设计》 CSCD 北大核心 2008年第2期375-377,共3页
提出了从消息序列图(MSC)生成TTCN-3测试例的方法。测试者可以先针对被测系统(SUT)中感兴趣的部分利用MSC描述出具体的测试场景,再从MSC映射成TTCN-3测试例。将MSC映射成TTCN-3的方法主要包括对MSC文档、基本MSC和高级MSC这3部分的映射。
关键词 消息序列图 测试和测试控制标记法 测试场景 测试 映射
下载PDF
一种基于TTCN-3的多路并行测试方法 被引量:1
5
作者 高翔 杨敬峰 蒋凡 《计算机工程》 CAS CSCD 北大核心 2007年第7期213-214,219,共3页
随着全球通信网络的高速发展,对日新月异的通信产品进行协议一致性测试尤为重要。该文介绍了TTCN-3测试执行机并行测试的模块设计方案,阐述了测试适配器的开发方法,重点分析了多路适配器的原理及实现,并以此为基础提出了一种多路并行测... 随着全球通信网络的高速发展,对日新月异的通信产品进行协议一致性测试尤为重要。该文介绍了TTCN-3测试执行机并行测试的模块设计方案,阐述了测试适配器的开发方法,重点分析了多路适配器的原理及实现,并以此为基础提出了一种多路并行测试的方法,该方法已成功地应用于802.16d协议的一致性测试。 展开更多
关键词 测试和测试控制表示法版本3 并行测试 多路适配器
下载PDF
基于Petri网的协议测试例自动生成 被引量:1
6
作者 郑啸 秦锋 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2006年第3期25-28,共4页
Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行... Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作. 展开更多
关键词 协议测试 PETRI网 测试和测试控制表示法(TTCN-3) 测试例产生
下载PDF
基于TTCN-3的移动IPv6并行测试的设计与实现 被引量:2
7
作者 王玮 黄小红 +2 位作者 常婧 柯宏力 马严 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第A02期14-17,共4页
协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3(Testing and Test Control Notation version 3)这一新的国际标... 协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3(Testing and Test Control Notation version 3)这一新的国际标准化测试语言,对移动IPv6协议实现进行并行测试的设计方案,并重点分析了多PTC(Parallel Test Compo-nent)情况下,测试适配器的开发方法.该适配器与使用TTCN-3编写的测试例结合后,只使用一台测试机就可以实现并行测试.使用这样的测试方法可以使得测试人员专注于协议的逻辑过程,而不必关心底层的编码工作. 展开更多
关键词 测试和测试控制表示法第3版(TTCN-3) 移动IPV6 并行测试 一致性测试 适配器
下载PDF
基于TTCN-3的LDP一致性测试研究 被引量:2
8
作者 陈元 尹霞 王之梁 《计算机应用研究》 CSCD 北大核心 2009年第1期286-288,共3页
为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP... 为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP的测试适配器模块;设计了LDP的测试集并使用TTCN-3语言实现了该测试集,从而完成了PITSv3系统对LDP的功能扩展。最后进行了PITSv3系统对于LDP的一致性测试实践。 展开更多
关键词 一致性测试 测试和测试控制表示法v3 协议集成测试系统v3 标记分发协议
下载PDF
一种面向TTCN-3测试系统的共享内存管理框架
9
作者 应群 陈伟 赵琛 《计算机应用研究》 CSCD 北大核心 2007年第7期157-161,共5页
为了提高TTCN-3测试组件间通信的性能,在基于TTCN-3的基础测试平台上设计并实现了一套支持动态切换内存管理策略的共享内存管理框架,并在该框架下实现了三套不同的共享内存分配和自动回收策略。框架能够根据系统运行时刻的共享内存统计... 为了提高TTCN-3测试组件间通信的性能,在基于TTCN-3的基础测试平台上设计并实现了一套支持动态切换内存管理策略的共享内存管理框架,并在该框架下实现了三套不同的共享内存分配和自动回收策略。框架能够根据系统运行时刻的共享内存统计特征在这些策略中选择性能预期最好的一套,并动态地将当前内存管理策略切换为该套方案。在基础测试平台上运行一系列并发测试用例表明,该框架能提升内存管理以及整个系统的平均性能。 展开更多
关键词 测试和测试控制标记(第三版) 测试系统 共享内存管理 算法动态切换
下载PDF
UML2.0 Testing Profile到TTCN-3的映射研究
10
作者 梁曦 魏仰苏 《杭州电子科技大学学报(自然科学版)》 2007年第4期17-21,共5页
分析了U2TP与标准化测试描述语言测试和测试控制标记法之间的对应关系,提出了一种从U2TP到测试和测试控制标记法的映射方法,并给出了一个图书馆借阅系统的应用实例。应用该映射方法,可在建模初期基于系统模型构造完整的测试思想,从而在... 分析了U2TP与标准化测试描述语言测试和测试控制标记法之间的对应关系,提出了一种从U2TP到测试和测试控制标记法的映射方法,并给出了一个图书馆借阅系统的应用实例。应用该映射方法,可在建模初期基于系统模型构造完整的测试思想,从而在初始阶段就能够有效限定测试例的数量并产生真正有价值的测试例。 展开更多
关键词 统一建模 测试和测试控制标记法 模型驱动架构 一致性测试
下载PDF
基于ANTLR的TTCN-3编译器的面向对象设计 被引量:2
11
作者 徐玲 韦巍 《控制工程》 CSCD 北大核心 2012年第S1期122-125,共4页
针对TTCN-3核心语言的编译问题,设计了一种基于ANTLR的TTCN-3核心语言编译器。在语法分析器的设计中引入面向对象的设计方法,充分发挥了ANTLR面向对象的特性,构造了可复用的语法分析基类,降低了语法规则的相互耦合性和分析代码的复杂性... 针对TTCN-3核心语言的编译问题,设计了一种基于ANTLR的TTCN-3核心语言编译器。在语法分析器的设计中引入面向对象的设计方法,充分发挥了ANTLR面向对象的特性,构造了可复用的语法分析基类,降低了语法规则的相互耦合性和分析代码的复杂性,并实现了语法分析和语义分析的分离;同时,对符号表也做了面向对象的类化处理,并采用散列形式表现。另外,符号表可以动态地删除不在作用域范围内的标识符和添加进入作用域的标识符,取消了符号表的多级作用域结构,简化了符号表的构建和管理,这不仅减少了编译器的开发周期,提高了代码的可复用性,而且增强了工程的可维护性和可扩展性,最后,设计了编辑器语义分析的算法流程。实验测试证明,该编译器能够快速、正确的检测出TTCN-3核心语言程序中的词法、语法错误以及语义错误。 展开更多
关键词 测试和测试控制表示法 语言识别的另一个工具 面向对象 编译器
下载PDF
Titration Method Validation of Live Vaccines against Infectious Bursal Disease
12
作者 Fatima Tahiri Khadija Id Sidi Yahia +1 位作者 Benaissa Attrassi Driss Belghyti 《Journal of Life Sciences》 2013年第10期1084-1102,共19页
Validating a method of analysis goes through different steps, which aims at testing the normality of measurements distribution, estimating the uncertainty of the components of a measurement (i.e., accuracy and correc... Validating a method of analysis goes through different steps, which aims at testing the normality of measurements distribution, estimating the uncertainty of the components of a measurement (i.e., accuracy and correctness), and finally, define the control tests of non degradation of the method performances. This paper outlines the steps for validating a biological method of analysis. It involves the construction of an experimental design, a statistical model, and the preparation of an interne laboratory reference material (pilot vaccine). The latter is used to study the impact of deviation and variation factors, in order to, optimize the analytical method, to evaluate the bias (random error), and to calculate the uncertainty of measurement, and make the control charts. This method is applied in the titration of live viral vaccines of Gumboro disease on chicken's embryos fibroblasts. The experimental results show that potential influence factors related to the titration method had no significant influence on the obtained results. Taking into account these results, an operating mode has been elaborated. The finalized method proved to be faithful to standard deviation of repeatability and reproducibility of 0.21 and 0.22, respectively, with a confidence level of 95%. The calculated uncertainty of measurement is equal to 0.2, which represents the average error level of a titer. A homogeneous stock of interne laboratory reference vaccine (MRIL), with an average titer of 5.9 log DIT 50, was produced and the control chart set in away to provide the laboratory with an important tool of control and monitoring of the viral titers evolution in time, as well as, the mastery of the validated titration method performances. 展开更多
关键词 Live vaccine of infectious bursal disease titration method characterization experimental design method validation ACCURACY UNCERTAINTY STATISTICS control chart.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部