Testability-directed service definitions and their synthesis

The author proposes a new approach for designing easily testable protocols. Testability requirements are identified and specified at the service definition stage, which, by synthesis or any other refinement or protocol design process, can be mapped onto the protocol design. The advantage of this approach is that it is much simpler to specify testability requirements at the service level than at the protocol design level. A simple example illustrating the approach is presented.<>