Model-based testing is presented in the article. Formal model of networking systems is offered and this model is realized as a Eclipse Plugins. The purpose of proposed Automatic Testing System is development process tracing from model description and programming up to software testing.