Unlock instant, AI-driven research and patent intelligence for your innovation.

Protocol robustness test generation method based on packet mutation

A protocol robustness and test generation technology, applied in network protocol testing and Internet fields, can solve the problems of insufficient optimization of abnormal test case structure, lack of theoretical guidance for abnormal test case generation, and improvement of test judgment mechanism.

Active Publication Date: 2009-03-18
TSINGHUA UNIV
View PDF0 Cites 11 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

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
  • Protocol robustness test generation method based on packet mutation
  • Protocol robustness test generation method based on packet mutation
  • Protocol robustness test generation method based on packet mutation

Examples

Experimental program
Comparison scheme
Effect test

example 1

[0101] example 1: figure 2 A partial NPEFSM model of OSPFv2 is shown, with mostly omitted assertions and actions. An example transition is given in Table 1. Inputs and outputs are parameterized Data Description Messages (DDP). The first parameter of DDP is the DD serial number (denoted as seq), and the other parameter is I / M / MS (denoted as Ims). Assertions include DD serial number checks, I / M / MS checks, and other validation or checks.

[0102] Table 1: An example of OSPFv2 transition

[0103] Name TExchange-Exchange (TExchange-Exchange) Initial state (Start State) Exchange (exchange) End State Exchange (exchange) input Description message: DDP(Seql, Ims1) Output Description message: DDP(Seq2, Ims2) Variables y，... assertion (Predicate) (Seq1==y)&&(Ims1==011)&&... action Seq2=y; y=Seq1+1;  …

[0104] Also account for the uncertainty of some transitions in the model. During data exchange, if DDP.LSAHeader.Link...

example 2

[0120] Example 2: Example of pairwise algorithm

[0121] Suppose F={f 1 , f 2 , f 3 , f 4}, each domain has 4 boundary values ​​(in hexadecimal representation) and a 2 equal value (in hexadecimal representation), 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,0000001,7 FFFFF , FFFFFE , ...

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

No 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 state machine, 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 technical field of the Internet, in particular to the technical field of network protocol testing. Background technique [0002] Protocol testing technology is an important means to ensure the correct implementation of network communication protocols and the correct interconnection between different network devices. Conformance testing, performance testing, and interoperability testing are the most commonly used testing techniques. [0003] It is impossible to describe the network protocol very completely, including input, output and state transition. How unspecified inputs are handled depends on the design of the protocol implementation. At the same time, agreements often use the "May (possible)" statement to describe optional requirements. The above two situations bring great flexibility to the protocol implementation. Since the consistency test only examines whether the protocol implementation is consistent with the ...

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
no application Login to View More
IPC IPC(8): H04L12/26H04L12/56
Inventor 尹霞景传明王之梁施新刚
Owner TSINGHUA UNIV