Testing of communicating systems

Viac o knihe

The book covers a comprehensive range of topics related to testing theory and practices across various systems. It begins with foundational aspects, including symbolic execution techniques and controllable combinatorial coverage in grammar-based testing. The exploration extends to non-deterministic and probabilistic systems, discussing bounded sequence testing from non-deterministic finite state machines and customized testing for probabilistic systems. Subsequent sections focus on testing for internet and industrial systems, generating test cases for web services, and applying test generation tools to real-world industrial scenarios. The book also delves into TTCN-3, addressing performance analysis of concurrent PCOs, software module testing, and distributed load tests. Compositional and distributed testing is another critical area, where the impact of protocol changes on tests is analyzed, alongside detecting observability issues. The text further explores FSM-based testing and diagnosis, including FSM test translation and the use of distinguishing sequences in checking sequences. Timed systems are examined through test case minimization for real-time systems and interoperability testing using TimedTTCN-3. Finally, the book addresses security testing, covering test generation for network security rules and message confidentiality testing of security protocols through both passive monitoring and active checking.