协议形式化

作品数：24被引量：38H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：顾翔赵保华屈玉贵赵静邱建林更多>>
相关机构：中国科学技术大学兰州理工大学南通大学天津大学更多>>
相关期刊：《计算机工程与设计》《微电子学与计算机》《桂林理工大学学报》《计算机应用与软件》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省高校自然科学研究项目博士科研启动基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于输入/输出动作的协议形式化描述和测试用例生成方法被引量：1
《计算机应用》2008年第6期1471-1474,共4页顾翔 邱建林 严燕 
国家自然科学基金资助项目(60773041);江苏省高校自然科学重大基础研究项目(07KJA51007);江苏省高校自然科学研究计划(05KJD520166);南通市应用研究计划(K2007013);2005年南通大学博士启动基金;南通大学自然科学基金项目(05Z057和06Z051);江苏省高校"青蓝工程"资助项目
通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提...
关键词：协议测试 形式化描述 RAISE规范语言 
RSL在协议形式化描述中的应用研究被引量：3
《计算机应用》2007年第9期2236-2238,共3页顾翔 邱建林 蒋峥峥 
江苏省高校自然科学研究计划项目(05KJD520166);江苏省高校"青蓝工程"项目;南通大学博士启动基金资助项目
将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比...
关键词：协议工程 形式化描述 RSL 
CSP和RSL应用于协议形式化描述的研究被引量：3
《计算机应用》2003年第1期10-12,共3页贾若宇 赵保华 屈玉贵 顾翔 
自然科学基金重大研究计划基金资助项目(90104010);教育部博士点基金资助项目(2000035802);安徽省自然科学基金资助项目(01042208);国家863计划基金资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支持项目(院基计字905号)
文中用一种新的形式化描述语言RSL来描述网络协议,采用通信顺序进程CSP为模型。该模型基于进程代数,能用严密的代数演算方法验证协议性质。文中对CSP模型和RSL语言作了时间的扩充,并且给出了从CSP模型到RSL语言的转换步骤及规则。最后...
关键词：CSP RSL 协议形式化描述 网络协议 通信协议 计算机网络 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部