Abstract
Due to the highly development of network, more and more new protocols are designed and under test. Techniques for protocol design and protocol testing are also getting more essential. The progblem what we meet is the lack of an environment to satisfy these two requirements: testing developing protocols, and finding techniques for protocol design and protocol testing. Thus we develop a protocol develop system, PRODUCT, to overcome this problem. It provides an integral environment to perform all procedures for developing protocols.