Method and apparatus for selecting fuzzy test case

A technology of test cases and fuzz testing, applied in software testing/debugging, error detection/correction, instrumentation, etc., can solve the problems of reducing fuzz testing efficiency, time and space waste, etc., to improve fuzz testing efficiency, speed, calculation easy effect

Active Publication Date: 2018-12-21
BEIJING INSTITUTE OF TECHNOLOGYGY +1
View PDF3 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] In the selection strategy of the next test case to be mutated, AFL only performs a simple screening based on whether the current test case has been mutated, the length of execution time, and the length of the test case, and preferentially selects those that have not been mutated, have a shorter execution time, and are shorter in length Test cases do not carry out deeper and finer-grained filtering, that is, AFL itself almost simply considers the impact of fixed information such as execution time and test case size on fuzz testing, even considering whether a certain test case is Mutated, it is only simply distinguished from two aspects of yes or no, which will cause invalid test cases and valid test cases that may trigger more new paths to have the same chance to be selected, resulting in waste of time and space, thus Reduced efficiency of fuzz testing

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
  • Method and apparatus for selecting fuzzy test case
  • Method and apparatus for selecting fuzzy test case
  • Method and apparatus for selecting fuzzy test case

Examples

Experimental program
Comparison scheme
Effect test

test Embodiment i

[0059] Define 5 bitmaps: set the symbol map to represent bitmaps, and maintain a bitmap for any test case in the test case queue, namely The method of the present invention maintains a bitmap for each test case, which is mainly used to record the branches triggered by the test case i and the number of branch triggers; map(i) b ≠0 represents that the test case i corresponding to the bitmap triggers branch b, that is And map(i) b The value of represents the number of times test case i triggers branch b.

[0060] The method of the present invention also maintains a global bitmap map, which satisfies formula 1, where map(i) represents the bitmap of test case i.

[0061] map=∪ i∈Q map(i) formula 1

[0062] Definition 6 Path: Set the symbol P to represent a path. Path P contains many branches. It can be considered that path P is a collection of specific branches. Path P represents the set of hit branches in the process of executing the program under test, Represents the execution path ...

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 fuzzy test case selection method and a device, which are applicable to the selection of test cases to be mutated in the AFL process. When AFL method is used to select test cases to be mutated, the branch coverage of test cases is introduced to cover the prediction factor and path frequency to determine the scores of test cases, and the privileged test cases are determinedaccording to the scores. Privileged test cases are preferred as test cases to be mutated. The invention can reduce the waste of time and space and improve the fuzzy testing efficiency.

Description

Technical field [0001] The present invention relates to the technical field of fuzzy testing, and in particular to a method and device for selecting fuzzy test cases. Background technique [0002] With the advent of the information age, all kinds of software emerge in an endless stream, but the software quality cannot be guaranteed. How to find vulnerabilities in related software efficiently and quickly has become a key problem for industry and academia to overcome and research. As a mainstream technology for vulnerability mining, fuzzing has attracted much attention due to its simple use, high vulnerability mining efficiency, and strong environmental adaptability. [0003] The fuzzer AFL is an open source fuzzing tool developed by Google security engineer Michal Zalewski in 2013. It can efficiently mine possible security vulnerabilities. The execution flow chart of AFL is as follows figure 1 Shown. [0004] In the selection strategy of the next test case to be mutated, AFL only pe...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3676G06F11/3688
Inventor 马锐任帅敏王夏菁毛俐旻陈虹洲
Owner BEIJING INSTITUTE OF TECHNOLOGYGY
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap