Protocol Specification and Testing

تعداد روزافزون شبکه‌های رایانه‌ای، علاقه کاربران را به بسیاری از زمینه‌ها و زمینه‌های مختلف برنامه‌ها، نحوه ساخت یک شبکه رایانه‌ای و نحوه استفاده از آن برانگیخته است. قوانین اساسی شبکه های کامپیوتری پروتکل ها هستند. "یک پروتکل مجموعه ای از قوانین است که عملکرد واحدهای عملکردی را برای دستیابی به ارتباط کنترل می کند" [STA-86}. این کتاب یک رویکرد عملی به مشخصات پروتکل و آزمایش را دنبال می کند، اما در عین حال به طور واضح و دقیق مبانی نظری مربوطه را معرفی می کند. اهداف اصلی این کار عبارتند از: آشنایی خوانندگان با پروتکل‌های ارتباطی، ارائه تکنیک‌های اصلی توصیف رسمی، به کارگیری تکنیک‌های مختلف توصیف رسمی برای مشخصات و آزمایش پروتکل. در نظر گرفته شده است که خوانندگان در درجه اول متشکل از توسعه دهندگان پروتکل، کاربران پروتکل، و همه کسانی هستند که از آزمایش کننده های پروتکل استفاده می کنند. ثانیا این کتاب برای دوره های کارشناسی ارشد یا سایر دوره های دانشگاهی که با شبکه های ارتباطی و ارتباطات داده سروکار دارند پیشنهاد می شود. بخش بزرگی از کتاب یک نمای کلی جامع برای مدیران فراهم می کند. برخی از بخش ها مورد توجه ویژه سازمان های پستی هستند. کتاب از سه قسمت تشکیل شده است: قسمت اول به معرفی سیستم عامل می پردازد! مدل مرجع، نمای کلی از پرتکل های پرکاربرد را ارائه می دهد و اصول اولیه تست پروتکل را توضیح می دهد. بخش دوم خوانندگان را با روش‌های مورد استفاده برای تعیین، تولید و آزمایش پروتکل 5 آشنا می‌کند. ماشین‌های حالت محدود، گرامرهای رسمی، شبکه‌های پتری و برخی از زبان‌های مشخصات (SDL، ESTELLE، LOTOS) به سبک عمل‌گرایانه مورد بحث قرار می‌گیرند. بخش سوم به برنامه ها می پردازد.

The increasing number of computer networks has aroused users' interest in many and various fields of applications, in how a computer network can be built, and in how it may be used. The fundamental rules of computer networks are the protocols. "A protocol is a set of rules that governs the operation of functional units to achieve communication" [STA-86}. The book follows a practical approach to protocol speci­ fication and testing, but at the same time it introduces clearly and precisely the relevant theoretical fundamentals. The principal objectives of this work are: to familiarize readers with communication protocols, to present the main, formal description techniques, to apply various formal description techniques to protocol specification and testing. It is considered that the readership will primarily consist of protocol developers, protocol users, and all who utilize protocol testers. Secondly the book is suggested for postgraduate courses or other university courses dealing with communication networks and data communication. A large part of the book provides a comprehensive overview for managers; some parts are of especial interest to postal organizations. The book consists of three parts: the first part introduces the OS! Reference Model, it provides an overview of the most frequently used protocols and explains the fundamentals of protocol testing. The second part familiarizes readers with the methods used for protocol 5pecification, generation, and testing. Finite-state machines, formal grammars, Petri nets and some speCification languages (SDL, ESTELLE, LOTOS) are discussed in a pragmatic style. The third part deals with applications.