¥Ø¿ý
³q°T¨ó©w¤uµ{ Protocol Engineering
PowerPoint ²³ø
Various aspects of protocol engineering
Protocol Implementation
What is Protocol Conformance Testing?
The Layered Architecture of Protocols
How to Test a protocol Implementation?
Testing Systems
Protocol Conformance Test Classification
Gray Box Testing
The Layered Architecture of Protocol
2.Testing Systems
A Testing System
Local Testing system
Remote testing system
Distributed Testing System
A Ferry Testing System
Multi-Layer Testing System (Type 1)
Multi-Layer Testing System (Type 2)
Multi-Party Testing System
Interoperability Testing
Importance of the Test Sequence
Motivation for Automatic Test Sequence Generation
Motivations for Optimizing the Test Sequence
Finite-State Machine Model of a Protocol
Test Sequences Are Generated from Tours of FSM
Test Sequence Generating Strategies
Fault Model
Criteria that Measure the test Test Sequences Generating Method
Formal Test Sequence Generation Methods
Related Systems
Well-known Testing Systems
Well-known Test Generation Packages
PowerPoint ²³ø
³q°T¨ó©w¹êÅç«Çªº³nÅé¤u¨ã
Block Diagram of TeG
Extend Finite-State Machine Model of a Protocol
Alternated-Bit Protocol
Extend Finite-State Machine Model of the Sender Entity of the Alternated-Bit Protocol
Approach 1 : For Testing an Extended Finite-State Machine
Example of Approach 1
Approach 2: For Testing an Extended Finite-state Machine
Example of Approach 2 (control Part)
Example of Approach 2 (control Part) Cont.
Approach 3: Test sequence Generation from Controllable EFSM
EFSM Model of Inres Protocol
Controllable EFSM
Non-Exhaustive Controllable EFSM
Communicating FSMs
3.Format Test Sequence Generation Methods
T-Method
Optimization of the T-method
Solve the symmetric Augmentation Problem by Linear Programming
Solve the symmetric Augmentation Problem by the Minimum-cost Maximum Flow Problem
An fault implementation Which Passes Through The Test Sequence Generated From The T-method
Checking The States with the Distinguishing Sequences
D-method
Test Sequence Generation for the D-method
Spanning Tree
An Example of the D-method
Some FSMS Don¡¦t Have the Distinguishing Sequence
Check the States by the unique Input/Output Sequences
U-method
Test Sequence Generation for the U-method
An Example of the U-method
An algorithm to find UIO
The problem for Computing the Shortest UIO Sequence
Finding UIO Sequence is PSPACE-complete
Some State Possess No UIO Sequence
Signature(i) is Used to Verity State J When UIO(i) is Absent
Convergent Transitions
Approximation Algorithm for finding UIO Sequences
Approximation Algorithm for finding UIO Sequences (cont.)
The U-method Can¡¦t Detect All Fault Implementation
The Reason that the U-method Can¡¦t Detect the Faulty
The UV Method
W-Method
Test Sequence Generation for the W-method
Partial Characterization Set Wp i
Example of the Wp-method
The Single W (SW)-method
4.Test Sequence Optimization Based on UIOs
Definition of Test Subsequence & Its Purpose
Definition of the Optimal IO Sequence
The Problem of Computing the Optimal IO Sequences
Bridging -- Rural Chinese Postman Problem
The Rural Chinese Postman Tour Can Be Used to Generate the Optimal Test Sequence
The Algorithm for Computing the Optimal Test Sequence Using Multiple UIOs
A State Has Many UIOs And the Choice Effects the Final Test Sequence Length
PowerPoint ²³ø
PowerPoint ²³ø
Overlapping -- Prefix Sequence Overlapping Problem
Test Subsequences Can Be Overlapped to Further Reduce the Test Sequence Length
An Example of Overlapping Test Subsequences
Convergent Transitions
Overlapped Test for an FSM with No Convergent Transitions
Overlapped Test for an FSM with No Convergent Transitions
A technique to Eliminate the Ą-Part
A Special Set of UIO Sequences
Generating UIO Sequences from the Distinguishing Tree
|