题名 基于ICON的测试描述语言及其集成设计环境的实现
被引量：1
1
作者
叶俊民
机构
华中师大计算机科学系
出处
《计算机工程与应用》
CSCD
北大核心
1998年第7期55-56,81,共3页
文摘
本文从计算模型出发，讨论了计算前端的可视化方法和计算过程的操作机制；通过对文本方式的测试描述语言成分的分析，提出了可视化该语言的策略和步骤。设计了一个可视测试描述语言的集成化环境；在该环境中，我们定义了各种工具，也定义了该测试描述语言的ＩＣＯＮ及其语义。在面向对象方法学的支持下，实现了该集成环境的原型系统。
关键词
ICON 测试描述语言 集成设计环境 数字电路板
分类号
TN790.7
[电子电信—电路与系统]
题名 测试流程描述语言的设计与实现
被引量：5
2
作者
孟晨
机构
南京理工大学
出处
《兵工学报》
EI
CAS
CSCD
北大核心
2007年第1期91-93,共3页
文摘
针对测试流程描述的实际需求,设计了测试流程描述语言(TFDL)。介绍了该语言的设计思想、具体组成、程序结构和具体语句的语法结构,以及该语言的开发实现过程。该语言具有可移植性、硬件无关性、可扩展性、可兼容性、使用简便等特点,能够满足通用ATS软件对TPS可移植和可复用的要求,大大简化了测试软件的开发过程,并且大大降低了软件维护的难度。
关键词
计算机软件 测试 流程描述语言 翻译器
Keywords
computer software TFDL interpreter
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
题名 基于状态的自动化无线协议安全测试平台设计
被引量：2
3
作者
李尧 胡玲 郝文
机构
内江师范学院计算机科学学院 国家信息安全工程技术研究中心
出处
《计算机应用与软件》
CSCD
北大核心
2012年第11期168-171,200,共5页
基金
四川省教育厅重点项目(11ZA030)
文摘
针对无线网络协议中存在的安全隐患问题,提出一种基于状态的自动化无线协议安全测试平台以测试协议的安全性。在无线协议安全测试平台中基于状态的生成来分析该协议可能达到的所有状态空间,结合协议测试描述语言的定义生成测试序列,无线测试平台基于这些配置自动完成所有测试工作并能自动采集测试数据,得到测试结果。安全测试平台的实现基于独立分开的原则,即测试的控制管理与实现运行平台分开、测试过程的控制管理与测试结果的收集分析相分开,其技术方法结合了理论分析与实际测试的优点,基于该架构的安全测试平台能有效保证了协议测试的准确性,并且极大简化了测试工作的过程。
关键词
无线网络 测试 平台安全测试 测试描述语言 状态模型
Keywords
Wireless network Test platform Security test Test description language State model
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 IPv6地址协议一致性测试系统设计与实现
被引量：2
4
作者
陈想 周华春 苏伟
机构
北京交通大学电子信息工程学院
出处
《计算机应用与软件》
CSCD
北大核心
2013年第11期28-31,49,共5页
基金
国家自然科学基金项目(60903150)
文摘
IPv6协议一致性测试是保证IPv6协议实现正确性及有效性的方法。当前IPv6一致性测试系统共同的不足是标准协议的数量受限,并且对新型协议的支持不够。在这种需求的驱动下,提出一种可扩展模块化测试描述语言EMTL(Extensible Modular Test Description Language),设计并开发了IPv6协议一致性测试系统,描述该系统各部件的具体功能。在对IPv6无状态地址自动分配协议的标准描述分析的基础上设计一套测试集,用IPv6协议一致性测试系统在Linux系统平台上对该协议进行测试,成功得到了相应测试结果,验证了该系统具有很好的测试能力和功能通用性。
关键词
协议一致性测试 模块化 测试描述语言 测试 系统
Keywords
Protocol conformance test Modularisation Test description language Test system
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 基于SoT的BGP4+协议一致性测试系统设计
被引量：2
5
作者
颜勇 谢高岗 张大方
机构
湖南大学软件学院 中国科学院计算技术研究所
出处
《计算机工程与应用》
CSCD
北大核心
2005年第21期139-141,145,共4页
基金
国家自然科学基金项目(编号:60403031 60273070)
文摘
底层网络协议由IPv4向IPv6的过渡,导致原先运行于IPv4上的应用层协议也需要做适当的修改或补充,BGP4+协议就是为了适应这种变化而由原来的基于IPv4的BGP4协议修改而成。针对修改后的协议,需要设计新的BGP4+协议一致性测试系统。本文首先介绍了BGP4协议的特点和一致性测试的概念,提出了对测试集形式化描述的改进,并在此基础上详细阐述了BGP4+协议一致性系统的架构和设计方法。
关键词
一致性测试 BGP4+ 测试 集形式化描述语言
Keywords
conformance test,BGP4+,formalization language of test suite
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 NEMO协议一致性测试集的设计与实现
被引量：1
6
作者
杜宁 郑红霞 谢高岗
机构
湖南大学软件学院 中国科学院计算技术研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第24期93-95,共3页
基金
国家"863"计划基金资助项目(2005AA121560) 国家自然科学基金资助项目(60403031 90604015)
文摘
基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测试例描述语言说明了测试例设计与实现过程,给出在Linux实现下的测试结果及分析。
关键词
NEMO协议 MIPv6互联网 协议一致性测试 测试 例描述语言
Keywords
network mobility （NEMO） mobile IPv6 protocol conformance test conformance test language （CTL）
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 网络移动IPv6协议测试生成的研究与实现
被引量：1
7
作者
杜宁 杨柳 郑红霞 谢高岗
机构
湖南大学软件学院 中国科学院计算技术研究所 中国科学院计算技术研究所
出处
《科学技术与工程》
2007年第14期3555-3560,共6页
基金
国家自然科学基金项目(60403031 90604015)资助
文摘
协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。
关键词
NEMO MIPV6 协议一致性测试 测试 例描述语言
Keywords
NEMO mobile IPv6 protocol conformance test CTL
分类号
TN929.5
[电子电信—通信与信息系统]
题名 并发TTCN的操作语义及相关算法
8
作者
张卫星 蒋凡
机构
中国科技大学计算机科学与技术系
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第4期77-78,117,共3页
文摘
TTCN作为一种形式化的测试集描述语言，已经得到了广泛的应用。在介绍了并发TTCN的基本概念之后，接着介绍TTCN2的操作语义及相关算法，然后结合TTCN执行机的实现给出了并发测试组件的调度算法。
关键词
操作语义 形式化测试 集描述语言 算法 协议一致性测试 测试 组件并发TTCN语言
Keywords
Concurrent TTCN；Operational semantics；Protocol conformance test Test component
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
TN915.04
[电子电信—通信与信息系统]
