Issue No.01 - January (1985 vol.34)
T. Kawaoka , Yokosuka Electrical Communication Laboratory, NTT
This correspondence describes an algorithm for generating a set of test items and a test sequence which can be used at a minimal cost for testing protocol implementations for a layered protocol. "Set" and "weight" concepts are introduced and "test cost" is defined as the weighted sum of directed arcs.
testing, Layered protocol, optimization, set cost, single covering, state
T. Kawaoka, "Test Procedure Optimization for Layered Protocol Implementations", IEEE Transactions on Computers, vol.34, no. 1, pp. 94-97, January 1985, doi:10.1109/TC.1985.1676521