网络协议的一种数据流测试方法  

The Improvement of Modeling and Splitting Stuff Ratio Methods

作　　者：刘颖[1] 叶新铭[1] 叶海薇 

机构地区：[1]内蒙古大学计算机科学系

出　　处：《通信学报》1997年第8期39-47,共9页Journal on Communications

基　　金：国家自然科学基金

摘　　要：本文提出从一个Ｌｏｔｏｓ说明（ｓｐｅｃｉｆｉｌａｔｉｏｎ）中有选择地产生可执行测试序列的数据流的一种方法，这种方法是以Ｐｅｔｒｉ网为模型，采用最大的输入输出定义链标准来给出产生测试序列的一组算法，并且我们把这个测试选择方法应用到ＡＢＰ（ｔｈｅａｌｔｅｒｎａｔｉｎｇｂｉｔｐｒｏｔｏｃｏｌ）协议上。This paper introduces the disadvantages of the modeling method and the splitting stuff ratio method because of the existence of analog circuits It presents the improved modeling method and the improved splitting stuff ratio method that can be realized all by digital circuits Then the paper analyzes the performance of the improved modeling method and the improved splitting stuff ratio method in order to show that they overcome the deficiency of the former methods and keep the excellent performance of the former methods,and presents the comparing results of experiment.

关 键 词：协议 数据流 测试 PETRI网 网络协议 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]