Communication Software Testing Technology Basics

Author: Zhao Huiqun
Publisher:
Publish Date: 2004-02-01
Features: Currently, there are not many books available that introduce communication software testing. Although occasionally, a couple of new books may appear, they often contain a significant amount of repetitive content. With the advancement of software technology, software testing techniques and methods are also continuously evolving. Especially with the development of network technology, a large number of software that implements network protocols have emerged. This necessitates a comprehensive and in-depth reference book on software testing techniques to meet the needs of software testing professionals and students majoring in software. Based on this consideration, the author wrote this book after years of experience in software testing and the study of software testing techniques. The book first introduces the basic concepts, fundamental content, and classification of testing methods in software testing, serving as the foundation of software testing. It focuses on introducing the white-box and black-box methods of software testing. Building on this foundation, it delves into the basic methods of communication protocol software testing and comprehensively introduces the modeling tools TTCN (Tree and Tabular Combination Notation) and LOTOS/E-LOTOS (Linear Temporal Ordering Specification) for protocol software testing. TTCN and LOTOS/E-LOTOS are formal modeling technology standards for protocol software testing issued by the International Organization for Standardization (ISO) and hold a dominant position in the field of protocol software testing. Most protocol software testing tools are designed and developed based on these two standards, making TTCN and LOTOS/E-LOTOS the key focus of this book. To help readers better understand TTCN and LOTOS/E-LOTOS, the book provides several typical application examples. The content of this book is novel and highly reference-worthy, making it suitable as a textbook for senior undergraduate and graduate students in computer science and communication engineering, as well as for postgraduate students in software colleges. It can also serve as a reference book for communication software developers and researchers in software testing technology.