论文部分内容阅读
本文提出从一个Ｌｏｔｏｓ说明（ｓｐｅｃｉｆｉｌａｔｉｏｎ）中有选择地产生可执行测试序列的数据流的一种方法，这种方法是以Ｐｅｔｒｉ网为模型，采用最大的输入输出定义链标准来给出产生测试序列的一组算法，并且我们把这个测试选择方法应用到ＡＢＰ（ｔｈｅａｌｔｅｒｎａｔｉｎｇｂｉｔｐｒｏｔｏｃｏｌ）协议上。
This paper presents a method of selectively generating data streams of executable test sequences from a Lotos specif- ification using Petri nets as a model and using the largest I / O definition chain criteria to generate the test sequence , And we apply this test selection method to the ABP (thealternatingbitprotocol) protocol.