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

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

Example Embodiment

[0018] The technical solutions in the embodiments of the present disclosure will be clearly and completely described below in conjunction with the accompanying drawings in the embodiments of the present disclosure. Obviously, the described embodiments are only a part of the embodiments of the present disclosure, rather than all the embodiments. Based on the embodiments in the present disclosure, all other embodiments obtained by those of ordinary skill in the art without creative work shall fall within the protection scope of the present disclosure.

[0019] figure 1 This is a schematic flow chart of a testing method provided by an embodiment of the present disclosure.

[0020] Such as figure 1 As shown, a test method of this embodiment includes:

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

[0022] The following example illustrates the specific process of using the symbolic execution...

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 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