Test Procedure Optimization for Layered Protocol Implementations

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.