检索结果-南通市图书馆

计算机工程 2003年第17期29卷 112-113,189页

作者：郑啸魏仰苏浙江工程学院信息电子学院杭州310033 安徽工业大学计算机学院马鞍山243002

介绍了一种自主开发的协议仿真语言PSScript的设计思想与具体实现过程。PSScript语言已经应用于国产广域网协议分析仪WPT－2000之中，收到了良好的效果，可以广泛应用于异步协议、同步协议和面向位协议的仿真测试。

关键词：协议测试仿真程序设计语言

在线全文

学校读者我要写书评

暂无评论

一种新的面向协议测试的包捕获结构

华中科技大学学报（自然科学版） 2004年第7期32卷 16-18页

作者：郑啸魏仰苏安徽工业大学计算机学院安徽马鞍山243002 浙江理工大学信息电子学院浙江杭州310033

WinPcap是一个基于Win32平台的优秀的高性能包捕获结构 ,许多嗅探器软件都使用它作为一个底层的包捕获程序 .WinPcap在数据帧捕获方面表现了极佳的性能 ,但统计功能比较简单 ,数据帧的发送也达不到较高的速率 .针对这些问题 ,提出了一种... 详细信息

WinPcap是一个基于Win32平台的优秀的高性能包捕获结构 ,许多嗅探器软件都使用它作为一个底层的包捕获程序 .WinPcap在数据帧捕获方面表现了极佳的性能 ,但统计功能比较简单 ,数据帧的发送也达不到较高的速率 .针对这些问题 ,提出了一种在WinPcap基础上改进的包捕获结构PtPcap ,该结构主要实现了强大的实时统计分析和高速的数据帧成组发送 .PtPcap应用于国产局域网协议测试软件LPT 2 0 0 0之中。

关键词：协议测试包捕获结构协议驱动程序 NDIS

在线全文

学校读者我要写书评

暂无评论

基于SNA体系结构的群集型通信控制器

计算机应用 2001年第3期21卷 63-65页

作者：魏仰苏傅永斌浙江工程学院信息电子学院浙江杭州310033

介绍了自主研制的基于SNA体系结构的群集型通信控制器 ,重点介绍SNA链路控制层、路径控制层、传输控制层协议的实现。

关键词：群集型通信控制器 SNA 体系结构计算机网络 AS/400

在线全文

学校读者我要写书评

暂无评论

SDL语言动态语义模型的研究

计算机应用 2004年第11期24卷 50-51页

作者：宋瑾钰魏仰苏浙江理工大学信息电子学院浙江杭州310033

介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为。研究了ITUZ.100建议附件F中元进程的划分,提出一种新的元进程定义,并举例描述了SDL系统的动态语义模型。

关键词： SDL 系统规范通信扩展有限状态机元进程

在线全文

学校读者我要写书评

暂无评论

局域网协议测试仪的设计与实现

计算机工程 2005年第13期31卷 228-230页

作者：郑啸魏仰苏安徽工业大学计算机学院马鞍山243002 浙江工程学院信息电子学院杭州310033

为了有效地管理网络,通常需要使用协议测试仪这样的工具。文章介绍了网络协议测试软件LPT-2000的体系结构和实现细节。通过对比测试表明,LPT-2000具有较高的包捕获能力和产生负载能力。

关键词：网络管理协议测试包捕获

在线全文

学校读者我要写书评

暂无评论

网络协议中CRC码的递推算法及其软件生成

计算机应用与软件 2003年第2期20卷 39-41页

作者：郑啸魏仰苏方光伟浙江工程学院信息电子学院宜春学院计算中心宜春336000

本文给出了一种快速的CRC递推算法,并给出了计算网络协议中CRC-16码和CRC-CCITT码的程序代码。

关键词：网络协议 CRC码递推算法软件生成计算机网络 CRC-16码 CRC-CCITT码程序代码

在线全文

学校读者我要写书评

暂无评论

EFSM可执行状态验证序列的生成

北京邮电大学学报 2007年第2期30卷 84-88页

作者：舒挺魏仰苏吴柏青孟兆航浙江理工大学信息电子学院杭州310018

在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法.新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状... 详细信息

在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法.新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性.实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的.

关键词：协议一致性测试扩展有限状态机状态验证唯一输入输出序列

在线全文

学校读者我要写书评

暂无评论

基于SDL模式的通信协议开发

计算机工程与设计 2007年第16期28卷 3846-3848,3851页

作者：舒挺魏仰苏浙江理工大学信息电子学院浙江杭州310018

研究了设计模式和形式化描述语言SDL相结合的SDL模式技术,分析了通信协议开发中存在的两类SDL模式:结构模式和行为模式,提出了一种基于SDL模式开发通信协议软件的方法,并通过PPP协议的开发实践验证了该方法的可行性。该方法可以有效的... 详细信息

研究了设计模式和形式化描述语言SDL相结合的SDL模式技术,分析了通信协议开发中存在的两类SDL模式:结构模式和行为模式,提出了一种基于SDL模式开发通信协议软件的方法,并通过PPP协议的开发实践验证了该方法的可行性。该方法可以有效的重用已有成功的软件开发成果,减少通信协议软件开发难度,缩短系统开发周期,提高软件质量。

关键词：设计模式结构模式行为模式形式化方法通信协议

在线全文

学校读者我要写书评

暂无评论

面向CIMS的数据库体系化环境和OLAP

计算机工程 2004年第16期30卷 75-77,165页

作者：潘铁军郑蕾娜魏仰苏奚李锋浙江万里学院计算机与信息学院宁波315100 浙江工程学院杭州310000

说明了基于CIMS环境数据仓库建立的重要性和必要性,阐明了基于数据仓库的联机分析处理是实现智能决策支持系统的基础。提出了构建企业数据库体系环境的设计、实施和维护方案,并给出一个应用实例。最后,对CIMS环境下数据仓库的发展方向... 详细信息

说明了基于CIMS环境数据仓库建立的重要性和必要性,阐明了基于数据仓库的联机分析处理是实现智能决策支持系统的基础。提出了构建企业数据库体系环境的设计、实施和维护方案,并给出一个应用实例。最后,对CIMS环境下数据仓库的发展方向进行了讨论。

关键词：数据仓库联机事务处理联机分析处理决策支持系统

基于UML状态图的模型信息自动提取技术研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与设计 2007年第20期28卷 4860-4861,4864页

作者：宋瑾钰魏仰苏浙江理工大学信息电子学院浙江杭州310018 浙江水利水电专科学校计算机系浙江杭州310018

UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1... 详细信息

UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析。自动提取模型信息技术提高了协议测试序列的自动生成效率。

关键词： UML状态图模型信息提取 LALR(1)文法 rose扩展接口协议测试