| 关于通信协议测试生成形式方法的探讨 |
| |
| 引用本文： | 刘积仁,都军.关于通信协议测试生成形式方法的探讨[J].东北大学学报(自然科学版),1995,16(2):165-170. |
| |
| 作者姓名： | 刘积仁 都军 |
| |
| 作者单位： | 计算机软件国家工程研究中心 |
| |
| 摘 要： | 结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法，并且，针对以上五种方法分别给出各自生成的测试序列的长度的上界。
|
| 关 键 词： | 形式方法 测试序列 计算机通信 通信协议 |
Approach on Formal Methods of Test Generation for Communication Protocol |
| |
| un Jirea,De Jab.Approach on Formal Methods of Test Generation for Communication Protocol[J].Journal of Northeastern University(Natural Science),1995,16(2):165-170. |
| |
| Authors: | un Jirea De Jab |
| |
| Institution: | un Jirea;De Jab |
| |
| Abstract: | Five major formal methods for test sequence generation,based upon UIO sequences includingthe formally overlapping method proPOsed recently,are discussed through an'example. These methods areUIO,SUIO,MUIO,overlapping and formally overlapping. The upper bounds of the length of the test sequences generated by the above five formal methods are presented separately. |
| |
| Keywords: | protocol conformance testing finite state machine formal methods test sequences UIO sequences |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
