Test case generation method based on dynamic symbolic execution
A technology of dynamic symbol execution and test case generation, applied in software testing/debugging, error detection/correction, instruments, etc., can solve problems such as adverse effects, high labor costs, and low degree of automation, and reduce adverse effects and labor costs The effect of low and high degree of automation
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0036] Exemplary embodiments of the present disclosure will be described in more detail below with reference to the accompanying drawings. Although exemplary embodiments of the present disclosure are shown in the drawings, it should be understood that the present disclosure may be embodied in various forms and should not be limited by the embodiments set forth herein. Rather, these embodiments are provided for more thorough understanding of the present disclosure and to fully convey the scope of the present disclosure to those skilled in the art.
[0037] According to an embodiment of the present application, a method for generating test cases based on dynamic symbolic execution is proposed, such as figure 1 shown, including:
[0038] S1, the parsing step, modeling the standard function blocks in the input structured text ST source program to obtain an equivalent ST program, using a compiler to parse the equivalent ST program to obtain an abstract syntax tree;
[0039] S2, t...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com