下一代网络协议的形式验证和测试方法的研究
基本信息
批准号：60263002
项目类别：地区科学基金项目
资助金额：20.00
负责人：叶新铭
学科分类：
依托单位：内蒙古大学
批准年份：2002
结题年份：2005
起止时间：2003-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：吴承勇,石立新,李华,赵玉兰,刘咏梅,李茹,李军,何立强,徐晓东
关键词：
网络协议自动验证TTCN测试套
结项摘要
主要研究内容包括下一代网络协议的形式模型;形式模型的自动验证技术;测试目的自动生成方法;测试例自劝生成算法;产生IPV6协议族的TTCN测试套;测试套正确性验证方法及测试套质量分析方法,测试结果分析;差错覆盖能力分析;测试平台的开发和应用,本课题所取得的成果对于下一代网络协议的设计开发将会有重要的科学意义和应用价值,
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
DOI：10.11842/wst.20190724002
发表时间：2020
2
含饱和非线性的主动悬架系统自适应控制
含饱和非线性的主动悬架系统自适应控制
DOI：10.3969/j.issn.1674-0696.2020.10.20
发表时间：2020
3
城市生活垃圾热值的特征变量选择方法及预测建模
城市生活垃圾热值的特征变量选择方法及预测建模
DOI：10.11936/bjutxb2021010011
发表时间：2021
4
基于卷积神经网络的JPEG图像隐写分析参照图像生成方法
基于卷积神经网络的JPEG图像隐写分析参照图像生成方法
DOI：10.7544/issn1000-1239.2019.20190386
发表时间：2019
5
TVBN-ResNeXt:解决动作视频分类的端到端时空双流融合网络
TVBN-ResNeXt:解决动作视频分类的端到端时空双流融合网络
DOI：10.16798/j.issn.1003-0530.2020.01.008
发表时间：2020
叶新铭的其他基金
批准号：69863001
批准年份：1998
资助金额：10.00
项目类别：地区科学基金项目
批准号：69273027
批准年份：1992
资助金额：5.00
项目类别：面上项目
批准号：60563004
批准年份：2005
资助金额：6.00
项目类别：地区科学基金项目
相似国自然基金
1
网络信息安全协议的形式化分析和验证研究
批准号：60473024
批准年份：2004
负责人：王卫红
学科分类：F0206
资助金额：23.00
项目类别：面上项目
2
基于下一代验证引擎的事务级形式验证方法的研究
批准号：60876030
批准年份：2008
负责人：边计年
学科分类：F0402
资助金额：32.00
项目类别：面上项目
3
可视图文上层协议的研究及其测试和验证
批准号：69173314
批准年份：1991
负责人：杨立芝
学科分类：F0207
资助金额：3.00
项目类别：面上项目
4
开放系统互连(OSI)上层协议的形式描述和验证
批准号：68773025
批准年份：1987
负责人：胡正家
学科分类：F0207
资助金额：1.10
项目类别：面上项目