通信顺序进程的扩充及其在协议形式化技术中的应用

• 作者: 屈玉贵 赵保华 顾翔
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 协议工程 通信顺序进程 形式化描述技术 协议测试
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 43-50
• 页数: 8页
• 分类号: TP311
• 字数: 4127字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2004.02.006

摘要

讨论了为进行协议形式化描述而进行的CSP扩充问题.向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述,并在此基础上初步讨论了协议规范的正确性及测试用例的生成.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	屈玉贵	中国科技大学计算机系	16	198	8.0	14.0
2	赵保华	中国科技大学计算机系	22	234	10.0	15.0
3	顾翔	中国科技大学计算机系	2	13	1.0	2.0