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

Test method and device

A test method and a technology to be tested, which are applied in software testing/debugging, error detection/correction, instrumentation, etc., can solve problems such as low fuzzy test code coverage, time-consuming, and inability to guarantee code coverage, so as to improve code coverage rate effect

Inactive Publication Date: 2018-08-10
BEIJING DIDI INFINITY TECH & DEV
View PDF5 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] In the field of software security testing, fuzzing is an effective method for mining various application vulnerabilities. However, traditional fuzzing methods mainly generate test cases randomly. It takes time to achieve a certain test coverage (code coverage). Generate a large number of test cases. Because fuzz testing is to generate test cases randomly, the randomly generated test cases are blind, and most of them cannot enter the depths of the software.
At present, there are some technologies that can generate all the test path constraints of the software to be tested, but they often directly use all the test path constraints to generate test cases, and then use the test cases generated in this way to test the software to be tested. Each node of the test path is tested for maximum variability, that is, code coverage cannot be guaranteed
[0004] It can be seen that the code coverage rate of ordinary fuzz testing is low

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
  • Test method and device
  • Test method and device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0018] The following will clearly and completely describe the technical solutions in the embodiments of the present disclosure with reference to the accompanying drawings in the embodiments of the present disclosure. Apparently, the described embodiments are only some of the embodiments of the present disclosure, not all of them. Based on the embodiments in the present disclosure, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts belong to the protection scope of the present disclosure.

[0019] figure 1 It is a schematic flowchart of a testing method provided by an embodiment of the present disclosure.

[0020] Such as figure 1 Shown, a kind of testing method of the present embodiment comprises:

[0021] S11. Analyze the code to be tested by using a symbolic execution method, and obtain a test path constraint set of the code to be tested;

[0022] The following example illustrates the specific process of executing this s...

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 embodiments of the invention provide a test method and device. The embodiments of the invention relate to the technical field of software tests. The method includes the following steps: analyzinga code to be tested by using a symbol execution method and obtaining a test path constraint set of the code to be tested; generating a corresponding test case for a first test path of the code to be tested according to each constraint in the test path constraint set and each constraint of a father node taking each constraint as a sub-node; and inputting the generated test case to the code to be tested and obtaining a corresponding test result. The test case of the embodiments of the invention is generated on the basis of the constraint corresponding to each node, so the test case generated inthis way can fully carry out a variability test of each node of the test path, and a code coverage rate of a test can be raised.

Description

technical field [0001] The embodiments of the present invention relate to the technical field of software testing, in particular to a testing method and device. Background technique [0002] With the rapid development of computer science and Internet technology, software security issues emerge in an endless stream, and software security has always attracted much attention. The software security problems are mainly software loopholes. Software loopholes are the negligence of software developers when developing software or are caused by the limitations of programming languages. For example, the c language family is more efficient than java but has many loopholes. It is compiled in c language, so it is often patched. Software bugs are sometimes discovered by the author during future inspections, and then corrected; there are also some people who specifically find other people's bugs to do something illegal from them. [0003] In the field of software security testing, fuzzing...

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/3676G06F11/3684G06F11/3688
Inventor 原玉娇
Owner BEIJING DIDI INFINITY TECH & DEV
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