7.1 Introduction to the System under Test7.1.1 I/GNS System Overview7.1.2 Main Functions and Performance7.2 I/GNS System Static Modeling7.2.1 Cross-Linked Device Model Construction7.2.2 Test Description of the Static Model7.3 I/GNS System Dynamic Modeling7.3.1 Dynamic Modeling Based on UML State Diagrams7.3.2 RT-EFSM Model of I/GNS and Analysis of Time-Constrained Migration Equivalence Classes7.4 Test Sequence, Test Case and Test Description Generation7.5 Test Execution and Result Analysis7.6 Summary