浙江省自然科学基金(M603145)

作品数：11被引量：51H指数：3
导出分析报告
相关作者：魏仰苏蒋国明宋瑾钰孟兆航朱金华更多>>
相关机构：浙江理工大学浙江水利水电学院浙江越秀外国语学院浙江大学更多>>
相关期刊：《计算机应用》《计算机工程与设计》《计算机工程与应用》《计算机工程》更多>>
相关主题：路由协议QOSMPLSMSCTTCN-3更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于MSC的TTCN-3测试例生成研究被引量：2
《计算机工程与设计》2008年第2期375-377,共3页胡文红 魏仰苏 
浙江省自然科学基金项目(M603145);浙江省重点科技计划基金项目(2005C21027)
提出了从消息序列图(MSC)生成TTCN-3测试例的方法。测试者可以先针对被测系统(SUT)中感兴趣的部分利用MSC描述出具体的测试场景,再从MSC映射成TTCN-3测试例。将MSC映射成TTCN-3的方法主要包括对MSC文档、基本MSC和高级MSC这3部分的映射。
关键词：消息序列图 测试和测试控制标记法 测试场景 测试例 映射 
无线自组织网络AODV路由协议研究被引量：25
《微计算机信息》2007年第18期122-124,共3页朱金华 于宁宁 
浙江省自然科学基金项目(M603145)
Ad Hoc网络是随着无线通信技术的快速发展而出现的一种新型网络,网络层的路由协议对于Ad Hoc网络来说尤为重要。首先阐述了Ad hoc网络的概念和特点,分析了自组网路由协议的有关情况。重点研究了按需路由协议中的AODV协议及其中断链恢复...
关键词：ADHOC网络 路由协议 AODV协议 
通信协议一致性测试序列自动生成算法研究被引量：9
《计算机工程与设计》2007年第10期2312-2315,共4页魏仰苏 孟兆航 舒挺 
浙江省自然科学基金项目(M603145);浙江省科技计划基金项目(2005C21027)
在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程...
关键词：一致性测试 控制流测试 惟一输入输出序列 可达性分析 有限状态机 
基于BISON的UML语法分析器设计被引量：1
《计算机工程》2007年第8期267-269,272,共4页蒋国明 魏仰苏 宋瑾钰 
浙江省科技攻关基金资助重点项目"通信协议一致性测试集自动生成软件"(2005C21027);浙江省自然科学基金资助项目"协议形式化描述与ATS自动生成技术研究"(M603145)
目前基于UML类图和状态图做面向对象软件测试方面已有不少研究,因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器,通过对UML文档的词法语法分析,实现了从UML文档中自动提取用于软件测试的信息,提高了...
关键词：软件测试 统一建模语言 语法分析器 类图 状态图 
UML2.0 Testing Profile到TTCN-3的映射研究
《杭州电子科技大学学报（自然科学版）》2007年第4期17-21,共5页梁曦 魏仰苏 
浙江省自然科学基金资助项目(M603145);浙江省重点科技计划项目(C21027)
分析了U2TP与标准化测试描述语言测试和测试控制标记法之间的对应关系,提出了一种从U2TP到测试和测试控制标记法的映射方法,并给出了一个图书馆借阅系统的应用实例。应用该映射方法,可在建模初期基于系统模型构造完整的测试思想,从而在...
关键词：统一建模 测试和测试控制标记法 模型驱动架构 一致性测试 
MPLS的基于最小干涉的负载均衡算法研究被引量：7
《计算机工程与设计》2007年第2期371-372,476,共3页蒋国明 魏仰苏 孟兆航 
浙江省自然科学基金项目(M603145);浙江省重点科技攻关基金项目(2005C21027)
当MPLS网络中的业务流请求存在时间上的先后顺序时,选择一个高效的路由算法使得已存在的业务流的LSP对后续业务流的LSP路由影响最小变得很重要。在分析了常用的几种QoS保障的算法基础上,提出了一种基于最小干涉的负载均衡算法。该算法...
关键词：流量工程 最小干涉 负载均衡 MPLS QOS 
基于MPLS-DiffServ的LSP动态抢占算法研究被引量：1
《计算机工程与应用》2006年第30期145-147,192,共4页魏仰苏 蒋国明 宋瑾钰 
浙江省自然科学基金资助项目(编号:M603145);浙江省重点科技攻关项目(编号:2005C21027)
在支持具有不同优先级和不同QoS需求的多业务网络中,抢占是带宽分配和管理的有效策略,但同时也对网络造成了振荡。基于普通的LSP路由方案,提出了一个动态的LSP抢占算法——Min_Prec算法:总是首先抢占最低优先级的LSP;在同一个优先级别...
关键词：区分服务 流量工程 抢占 MPLS 
Ad Hoc网络QoS路由协议研究被引量：3
《计算机工程与设计》2006年第13期2331-2333,共3页孟兆航 魏仰苏 蒋国明 
浙江省自然科学基金项目(M603145)
AdHoc网络自身固有的特点使得AdHoc网络QoS路由协议面临许多新的挑战和机遇。通过对基于标签探测(ticket-based probing,TBP)协议和在TBP协议基础上提出的延时约束最小费用的Ad Hoc网络中的完全分布式QoS路由协议——基于熵的长寿的分布...
关键词：AD HOC网络 路由协议 QOS 基于标签探测协议 基于熵的长寿的分布式QoS路由协议 
基于SDL的PPP协议软件形式化开发
《浙江理工大学学报（自然科学版）》2005年第3期250-253,共4页宋瑾钰 魏仰苏 
浙江省自然科学基金(M603145)
介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程。重点研究了如何利用SDL语言抽象出PPP协议的系统、块、进程和过程并对其进行形式化描述。
关键词：形式描述技术 SDL语言 PPP协议 
MSC代数语义研究被引量：2
《计算机工程与应用》2004年第28期67-69,共3页李伟 魏仰苏 
浙江省自然科学基金资助项目(编号:M603145)
文章介绍了MSC(MessageSequenceCharts)的形式化语义及其进程理论。在原有消息机制的基础上对状态操作符进行扩展,增加了全局顺序对事件发生轨迹的约束。结合MSC2000中新增的时间概念,提出了时间事件与时限归并,用于分析包含时间概念的...
关键词：MSC 代数语义 进程理论 状态操作符 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部