Rapid circulating expansion detection method
A cyclic expansion and detection method technology, applied in the detection field of cyclic expansion, can solve the problems of increasing test cases and detection time, ineffective detection procedures, etc., and achieve the effect of reducing the number of test cases and speeding up the detection speed.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0019] Below in conjunction with accompanying drawing and specific embodiment the present invention will be further described:
[0020] This method is a model checking method that detects data structure methods that contain cycles about aggregate types. Such as figure 1 As shown in , this method continuously iterates the detection steps to check the entire test space until all operations in the test space are checked iteratively. The pseudocode description of the detection algorithm is as follows:
[0021]
[0022]
[0023]In order to understand the present invention more clearly, the concrete implementation process of this scheme is described as follows:
[0024] (1) Initialize the test space S;
[0025] This method first limits the value range of each variable in the test space, and initializes the states in the test space to all the states in the test space that meet the preconditions of the program under test. In order to effectively manage the test space, this m...
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