欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
主要研究内容包括下一代网络协议的形式模型;形式模型的自动验证技术;测试目的自动生成方法;测试例自劝生成算法;产生IPV6协议族的TTCN测试套;测试套正确性验证方法及测试套质量分析方法,测试结果分析;差错覆盖能力分析;测试平台的开发和应用,本课题所取得的成果对于下一代网络协议的设计开发将会有重要的科学意义和应用价值,
结论摘要：
英文主题词next-generation network protocol，formal verification,formal model,test,conformance testing platform
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
相关项目
叶新铭的项目
