您的位置: 专家智库 > >

孙美飞

作品数:3 被引量:5H指数:2
供职机构:内蒙古大学计算机学院更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇一致性
  • 2篇协议一致性测...
  • 2篇邻居发现
  • 2篇邻居发现协议
  • 2篇TTCN
  • 2篇IPV6邻居...
  • 1篇形式化
  • 1篇形式化方法
  • 1篇序列图
  • 1篇数据库
  • 1篇下一代
  • 1篇下一代互联网
  • 1篇下一代互联网...
  • 1篇联网
  • 1篇互联
  • 1篇互联网协议
  • 1篇岗位
  • 1篇岗位职责
  • 1篇北大
  • 1篇WEB数据库

机构

  • 3篇内蒙古大学

作者

  • 3篇孙美飞
  • 1篇张慧荣
  • 1篇孙炯
  • 1篇李惠民
  • 1篇叶新铭
  • 1篇李玉林
  • 1篇刘实
  • 1篇孙立涛

传媒

  • 1篇计算机科学
  • 1篇中国教育信息...

年份

  • 1篇2005
  • 1篇2004
  • 1篇2002
3 条 记 录,以下是 1-3
排序方式:
协议测试执行系统的实现及IPv6邻居发现协议的一致性测试
随着计算机网络发展特别是开放型异构网络的迅猛发展,协议测试理论和技术的研究越来越重要,已经成为国际上计算机网络研究的热点之一。研究基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节。 ...
孙美飞
关键词:协议一致性测试形式化方法TTCNIPV6
文献传递
IPv6邻居发现协议的一致性测试被引量:3
2005年
Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。
叶新铭孙美飞
关键词:邻居发现下一代互联网协议协议一致性测试TTCN测试例序列图
基于三层B/S模式的Web数据库岗位职责与业绩考核系统的开发与应用
2002年
适应高校人事制度改革的新形势,我们在引进的北京大学管理信息系统的基础上,开发了基于三层B/S模式的Web数据库教师岗位职责与业绩考核系统.本文介绍了该系统的设计原理与实现方法,并对应用情况做了简要的介绍。
刘实翟成君王玉锋孙美飞孙立涛李惠民张慧荣李玉林孙炯
关键词:B/S模式WEB数据库
共1页<1>
聚类工具0