基于输入/输出动作的协议形式化描述和测试用例生成方法 |
| |
引用本文: | 顾翔,邱建林,严燕.基于输入/输出动作的协议形式化描述和测试用例生成方法[J].计算机应用,2008,28(6):1471-1474. |
| |
作者姓名: | 顾翔 邱建林 严燕 |
| |
作者单位: | 南通大学 计算机科学与技术学院 南通大学 计算机科学与技术学院 南通大学 计算机科学与技术学院 |
| |
基金项目: | 国家自然科学基金
,
江苏省高校自然科学基金
,
江苏省高校自然科学基金
,
江苏省南通市应用研究计划项目
,
南通大学校科研和教改项目
,
江苏省教育厅青蓝工程项目
,
南通大学校科研和教改项目 |
| |
摘 要: | 通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法,并对使用该方法生成的测试用例的性质进行了讨论。
|
关 键 词: | 协议测试 形式化描述 RAISE规范语言 |
文章编号: | 1001-9081(2008)06-1471-04 |
收稿时间: | 2007-12-26 |
修稿时间: | 2007年12月26 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|