本文提出从一个Ｌｏｔｏｓ说明（ｓｐｅｃｉｆｉｌａｔｉｏｎ）中有选择地产生可执行测试序列的数据流的一种方法，这种方法是以Ｐｅｔｒｉ网为模型，采用最大的输入输出定义链标准来给出产生测试序列的一组算法，并且我们把这个测试选择方法应用到ＡＢＰ（ｔｈｅａｌｔｅｒｎａｔｉｎｇｂｉｔｐｒｏｔｏｃｏｌ）协议上。