下一代网络协议的形式验证和测试方法的研究
基本信息
批准号：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.12198/j.issn.1673 − 159X.3895
发表时间：2021
2
城市轨道交通车站火灾情况下客流疏散能力评价
城市轨道交通车站火灾情况下客流疏散能力评价
DOI：
发表时间：2015
3
基于FTA-BN模型的页岩气井口装置失效概率分析
基于FTA-BN模型的页岩气井口装置失效概率分析
DOI：10.16265/j.cnki.issn1003-3033.2019.04.015
发表时间：2019
4
基于图卷积网络的归纳式微博谣言检测新方法
基于图卷积网络的归纳式微博谣言检测新方法
DOI：10.3785/j.issn.1008-973x.2022.05.013
发表时间：2022
5
多源数据驱动CNN-GRU模型的公交客流量分类预测
多源数据驱动CNN-GRU模型的公交客流量分类预测
DOI：10.19818/j.cnki.1671-1637.2021.05.022
发表时间：2021
叶新铭的其他基金
批准号：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
项目类别：面上项目