Abstract: This paper examines the problem of the interaction testing for protocol finite state presentation. This method of presentation was used in designing tests in accordance with the ...