景传明
- 作品数:5 被引量:11H指数:2
- 供职机构:清华大学更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于TTCN-3的协议测试系统及其扩展研究被引量:9
- 2008年
- 用户要求下一代互联网是一个更大、更安全、更快、更及时、更方便、更可管理的网络.为下一代互联网服务的协议测试技术需要适应这些测试需求.文中重点研究了协议测试中的测试集描述法和测试实现技术.选取了TTCN-3作为测试集描述法,并针对协议鲁棒性测试需求进行了语法和语义扩展.开发了基于TTCN-3的协议集成测试系统PITSv3,并对其进行了鲁棒性测试扩展实现.最后通过两个实际的测试应用,体现出PITSv3是一个具有通用性、标准性、可扩展性特点的分布式测试平台.
- 尹霞王之梁景传明施新刚
- 关键词:TTCN-3鲁棒性测试
- 一种形式化的实时协议互操作性测试方法被引量:2
- 2008年
- 协议互操作性测试是一种保证网络通信协议实现质量的重要技术.下一代互联网协议需要提供对实时应用的有效支持,然而已有互操作性测试相关研究中并没有考虑协议中的时间约束,现有互操作性测试技术很难应用于实时协议互操作性测试中.文中提出了一种形式化的实时协议互操作性测试方法.首先提出了一个用于描述实时协议互操作性测试被测系统的形式化模型CMpTIOA(通信多端口时间输入输出自动机),基于该模型定义了时间互操作性关系;然后提出一种以时间互操作性关系为指导的测试生成方法,根据被测系统模型生成参数化测试行为树,在该方法中还集成了可执行性预判决机制,在一定程度上缓解了状态空间爆炸问题;最后将提出的理论和方法应用于IPv6邻居发现协议的互操作性测试中,验证了该方法的可行性.
- 王之梁尹霞景传明
- 关键词:互操作性测试
- 基于扩展TTCN-3的协议鲁棒性测试研究
- 景传明
- 关键词:鲁棒性测试
- 基于报文变异的协议鲁棒性测试生成方法
- 基于报文变异的协议鲁棒性测试生成方法属于网络协议测试技术领域,其特征在于所述方法依次含有以下步骤:把协议规范描述为一个不确定性参数化扩展有限状态机,建立鲁棒性要求并构造正常验证序列,利用多种变异策略生成单域异常报文,如果...
- 尹霞景传明王之梁施新刚
- 文献传递
- 基于报文变异的协议鲁棒性测试生成方法
- 基于报文变异的协议鲁棒性测试生成方法属于网络协议测试技术领域,其特征在于所述方法依次含有以下步骤:把协议规范描述为一个不确定性参数化扩展有限状态机,建立鲁棒性要求并构造正常验证序列,利用多种变异策略生成单域异常报文,如果...
- 尹霞景传明王之梁施新刚
- 文献传递