通讯协议的一致性测试产生技术

摘要

文中采用新的方法对通讯协议的一致性产生相应的测试序列，对ＵＩＯＶ（ＩｍｐｒｏｖｅｄＵｎｉｑｕｅＩｎｐｕｔ／Ｏｕｔｐｕｔ）方法进行改进：当某状态先ＵＩＯ序列时，采用并行表示技术或收敛边标识与其它状态区分开来，而不是采用ＩＯ（ｓ，ｋ）＿ｓ（区分状态ｓ与ｋ的输入／输出序列），由于ＩＯ（ｓ，ｋ）＿ｓ对某个状态有时是不唯一的；当某个状态有多个ＵＩＯ序列时，采用启发式方法选择准最此的ＵＩＯ序列，并与中国农村邮递员算法相结合产生较短的测试序列。