| ISDN环境中X.25分组层协议的形式描述和一致性测试 |
| 刘军
|
| 1994
|
| 学位授予单位 | 中国科学院软件研究所
|
| 学位 | 博士
|
| 学位授予地点 | 中国科学院软件研究所
|
| 摘要 | 本文讨论了用通信协议描述语言CSL来描述X.25分组层协议的问题，同时，给出了CSL编译器的YACC描述及其具体实现。从而，使得由X.25分组层协议的CSL语言描述可以自动生成C语言程序。本文还探讨了对基于有限状态自动机的通信协议的另外一种描述手段，即状态表方法，而且，在这种描述方法的基础上，实现了X.25分组层协议的一致性测试系统。这个测试系统也是采用形式描述的方法生成的，并对待测CASE进行了形式定义。最后，用这个测试系统对由X.25分组层协议的CSL语言描述所生成的实现程序进行了实际的测试，并对测试结果进行了分析。 |
| 页数 | 71
|
| 语种 | 中文
|
| 内容类型 | 学位论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/5834
|
| 专题 | 中科院软件所_中科院软件所
|
推荐引用方式
GB/T 7714 |
刘军. ISDN环境中X.25分组层协议的形式描述和一致性测试[D]. 中国科学院软件研究所. 中国科学院软件研究所,1994.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论