Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Structured fuzzy test method based on conversion test

A technology of fuzz testing and conversion testing, applied in software testing/debugging, error detection/correction, instrumentation, etc., to solve problems such as operating errors and operating failures

Active Publication Date: 2021-06-04
NANJING UNIV
View PDF8 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0002] With the rapid development of IT technology, in order to facilitate calculation and practical application, many systems and software have been developed. Each system or software has its own different functions, and different systems or software also have their own different technical standards and maintenance standards. , when the system or software is running, if there is a design problem of its own, there will be a running error or a running failure. At this time, a testing method is urgently needed to effectively test the overall defects of the software or system, so that it can be quickly improved. defect, to ensure the overall stability of the software or system operation

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
  • Structured fuzzy test method based on conversion test
  • Structured fuzzy test method based on conversion test

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0040] see figure 1 , the present invention provides a technical solution: a structured fuzz testing method based on conversion testing, comprising the steps of:

[0041] S1. Obtain the program to be tested and input it into the test system;

[0042] S2. Construct a protocol test state machine according to the BGP-4 protocol, and attach a protocol document to explain that the BGP-4 protocol has six states;

[0043] S3, using the test state machine to generate a boot sequence and a feature sequence;

[0044] S4, select the state sequence;

[0045] S5. Use fuzzers to generate test cases. The types of fuzzers can be divided into two types: ontology fuzzers and remote fuzzers;

[0046] S6. Start the test program, input the test case command, and perform the fuzz test. The fuzz test is divided into two types: mutation-based fuzz test and generation-based fuzz test;

[0047] S7, generate the execution path of the test case, observe whether there is an error in the running proces...

Embodiment 2

[0050] see figure 1 , the present invention provides a technical solution: a structured fuzz testing method based on conversion testing, comprising the steps of:

[0051] S1. Obtain the program to be tested and input it into the test system;

[0052] S2. Construct a protocol test state machine according to the BGP-4 protocol, and attach a protocol document to explain that the BGP-4 protocol has six states;

[0053] S3, using the test state machine to generate a boot sequence and a feature sequence;

[0054] S4, select the state sequence;

[0055] S5. Use fuzzers to generate test cases. The types of fuzzers can be divided into two types: ontology fuzzers and remote fuzzers;

[0056] S6. Start the test program, input the test case command, and perform the fuzz test. The fuzz test is divided into two types: mutation-based fuzz test and generation-based fuzz test;

[0057] S7, generate the execution path of the test case, observe whether there is an error in the running proces...

Embodiment 1-2

[0064] It should be noted that: in embodiment 1-2:

[0065] In S2, the BGP-4 protocol has six states, which are Idle, Connect, Active, OpenSent, OpenConfirm, and Established;

[0066] In S5, ontology fuzzer command line parameters and environment variables are the two most basic ways to introduce variables into programs, so fuzzers for setuid applications can be divided into two categories: command line parameter fuzzers and environment variable fuzzers device. Another class of native fuzzers is the file format fuzzer. Many applications may have abnormalities when processing malformed files. This requires file format fuzzers to participate in monitoring. Among them, the browser fuzzer is a special file format fuzzer, which usually uses the function of HTML to automate the fuzzing process, the remote fuzzer, and the test object of the remote fuzzer is a network-based application. Such as various server software. Such applications have always been the most important test obj...

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 discloses a structured fuzz test method based on a conversion test, which belongs to the technical field of fuzz testing and comprises the following steps: acquiring a program to be tested, inputting the program into a test system, constructing a protocol test state machine, generating a guide sequence and a feature sequence, selecting a state sequence, and generating a test case by using data, starting a to-be-tested program, inputting a test case command, and performing a fuzzy test. A new instrumentation strategy is provided, when a program runs, as long as a first instruction of a plurality of statement blocks is executed, all statements behind the statement blocks can be executed, codes are fused into code blocks, the code blocks serve as basic blocks, the basic blocks serve as units during instrumentation, early-stage preparatory work can be reduced. According to the method, an automatic checking step is set in the method, self-checking can be carried out on the execution process of the test case, the situation of missing checking is avoided, and the testing accuracy is guaranteed.

Description

technical field [0001] The invention belongs to the technical field of fuzz testing, in particular to a structured fuzz testing method based on conversion testing. Background technique [0002] With the rapid development of IT technology, in order to facilitate calculation and practical application, many systems and software have been developed. Each system or software has its own different functions, and different systems or software also have their own different technical standards and maintenance standards. , when the system or software is running, if there is a design problem of its own, there will be a running error or a running failure. At this time, a testing method is urgently needed to effectively test the overall defects of the software or system, so that it can be quickly improved. Defects, to ensure the overall stability of software or system operation. Contents of the invention [0003] The purpose of the present invention is: in order to solve with the rapid...

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): G06F11/36
CPCG06F11/3684G06F11/3688Y02D10/00
Inventor 庞成宾茅兵
Owner NANJING UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products