位置：立项数据库 > 立项详情页
基于形式化方法的实时系统互操作性测试研究
  • 项目名称：基于形式化方法的实时系统互操作性测试研究
  • 项目类别：面上项目
  • 批准号：60572082
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：尹霞
  • 依托单位：清华大学
  • 批准年度：2005
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 6
  • 0
  • 0
  • 0
  • 0
期刊论文
基于MSC测试目的的协议互操作性测试生成
基于通信多端口有限状态机的协议互操作性测试生成研究
MED欺骗与域间出口选择
网络路由收敛性能测试研究
基于TTCN-3的LDP一致性测试研究
SIP Conformance Testing Based on TTCN-2
尹霞的项目
下一代互联网IPv6协议的测试理论研究
第15 届电子电气工程师协会网络协议国际会议ICNP2007