Protocol robustness test generation method based on packet mutation
What is AI technical title?
AI technical title is built by Patsnap AI team. It summarizes the technical point description of the patent document.
A technology of protocol robustness and test generation, applied in the field of network protocol testing and the Internet, can solve the problems that the test judgment mechanism needs to be improved, the generation of abnormal test cases lacks theoretical guidance, and the structure of abnormal test cases is not optimized enough, etc.
Active Publication Date: 2011-03-30
TSINGHUA UNIV
View PDF0 Cites 0 Cited by
Summary
Abstract
Description
Claims
Application Information
AI Technical Summary
This helps you quickly interpret patents by identifying the three key elements:
Problems solved by technology
Method used
Benefits of technology
Problems solved by technology
Although these test practices have found many loopholes in protocol implementation, there are many shortcomings: first, the generation of abnormal test cases lacks theoretical guidance; second, the test judgment mechanism needs to be improved; third, the structure of abnormal test cases is not enough optimization
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more
Image
Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
Click on the blue label to locate the original text in one second.
Reading with bidirectional positioning of images and text.
Smart Image
Examples
Experimental program
Comparison scheme
Effect test
example 1
[0102] example 1: figure 2 Part of the NPEFSM model of OSPFv2 is shown, and most of the assertions and actions are omitted. An example of a change is given in Table 1. Input and output are parameterized data description messages (DDP). The first parameter of DDP is the DD sequence number (denoted as seq), and the other parameter is I / M / MS (denoted as Ims). Assertions include DD serial number check, I / M / MS check, and other confirmations or checks.
[0103] Table 1: A transition example of OSPFv2
[0104] Name
T Exchange-Exchange (T Exchange-exchange )
Start State
Exchange
End State
Exchange
Input
Description message: DDP (Seq1, Ims1)
Output
Description message: DDP (Seq2, Ims2)
Variables
y，...
Predicate
(Seq1==y)&&(Ims1==011)&&...
Action
Seq2=y; y=Seq1+1;...
[0105] In addition, the uncertainty of some changes in the model is explained. In the process of data exchange, if DDP.LSAHeader.LinkStateID (the link state number contained in the header of t...
[0122] Suppose F={f 1 , F 2 , F 3 , F 4 }, each domain has 4 boundary values (in hexadecimal notation) and a 2 equal value (in hexadecimal notation), namely q f 1 = q f 4 = { 00,01,7 F , FE , FF } ; q f 2 = { 0000,0001,7 FFF , FFFE , FFFF } ; q f 3 = { 000000,000001 , 7 FFFFF , FFFFFE , FFFFFF } . The results of using the pairwise algorithm are as follows:
[0123] E pairwise ( F ( f 1 , f 2 , f 3 , f 4 ) ) = T 1 T 2 T 3 R 4 . . . T 32 = f 1 f 2 f 3 f 4 00 0000 000000 00 00 0001 000001 01 00 7 FFF 7 FFFFF 7 F 00 FFFE FFFFFE FE 00 FFFF FFFFFF FF 01 0000 ...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More
PUM
Login to View More
Abstract
The invention relates to a method for testing the robustness based on protocols of abnormal messages, which belongs to the testing technical field of network protocols. The method is characterized by comprising the following steps: describing the protocol specification as a non-deterministic parameterization expansion finite statemachine, building robustness requests and conforming a normal testing sequence, generating single-domain abnormal massages through utilizing various variable strategies, if a deterministic variation is caused after the single-domain abnormal massages are injected, generating a single-domain compound abnormal testing example-1, if a non-deterministic variation is caused after the single-domain abnormal massages are injected, generating a single-domain compound abnormal testing example-2, then combining multi-domain abnormal massages pairwise through using the 'pairwise (pairwise combination)'method, if a deterministic variation is caused after the multi-domain abnormal massages are injected, generating a multi-domain compound abnormal example-1, and if a non-deterministic variation is caused after the multi-domain abnormal massages are injected, generating a multi-domain compound abnormal example-2. The method is suitable for various network protocols and has good versatility.
Description
Technical field [0001] The invention belongs to the field of Internet technology, and particularly relates to the field of network protocol testing technology. Background technique [0002] Protocol testing technology is an important means to ensure the correct implementation of network communication protocols and the correct interconnection of different network devices. Conformance testing, performance testing, and interoperability testing are the most commonly used testing techniques. [0003] It is impossible to describe the complete network protocol, including input, output and state transition. How to deal with unspecified input depends on the design of the protocol implementation. At the same time, agreements often use "May (may)" statements to specify optional requirements. The above two situations bring great flexibility to the protocol implementation. Since the conformance test only examines whether the protocol implementation is consistent with the protocol specificat...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More
Application Information
Patent Timeline
Application Date:The date an application was filed.
Publication Date:The date a patent or application was officially published.
First Publication Date:The earliest publication date of a patent with the same application number.
Issue Date:Publication date of the patent grant document.
PCT Entry Date:The Entry date of PCT National Phase.
Estimated Expiry Date:The statutory expiry date of a patent right according to the Patent Law, and it is the longest term of protection that the patent right can achieve without the termination of the patent right due to other reasons(Term extension factor has been taken into account ).
Invalid Date:Actual expiry date is based on effective date or publication date of legal transaction data of invalid patent.
Login to View More 
Login to View More