江苏省高校自然科学研究项目(05KJD520166)
- 作品数:3 被引量:5H指数:2
- 相关作者:邱建林顾翔蒋峥峥严燕更多>>
- 相关机构:南通大学更多>>
- 发文基金:江苏省高校自然科学研究项目博士科研启动基金江苏省“青蓝工程”基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于输入/输出动作的协议形式化描述和测试用例生成方法被引量:2
- 2008年
- 通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法,并对使用该方法生成的测试用例的性质进行了讨论。
- 顾翔邱建林严燕
- 关键词:形式化描述RAISE规范语言
- RSL在协议形式化描述中的应用研究被引量:3
- 2007年
- 将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比,扩充后的RSL描述能力强,描述手段灵活,能更有效地支持验证、测试等后续阶段的工作。
- 顾翔邱建林蒋峥峥
- 关键词:形式化描述RSL
- 基于CSP和RSL的协议形式化描述技术研究
- 2009年
- 协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具.
- 顾翔邱建林
- 关键词:形式化描述技术通信顺序进程RSL