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

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.

Inactive Publication Date: 2015-03-11
INST OF SOFTWARE - CHINESE ACAD OF SCI
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, we observed that many data structure methods contain loops about aggregation types, and these loops are a major cause of increased test cases and detection time
The existing model checking methods cannot effectively detect such programs, which makes it particularly important to propose an effective model checking method for programs containing aggregated loop structures

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
  • Rapid circulating expansion detection method
  • Rapid circulating expansion detection method
  • Rapid circulating expansion detection method

Examples

Experimental program
Comparison scheme
Effect test

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

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 rapid circulating expansion detection method and belongs to the technical field of software model detection. The method comprises the following steps of: 1) limiting a value range of each variable in a testing space and initializing the state in the testing space into all states meeting preconditions of a tested program in the limited range of the tested program; 2) randomly selecting an undetected state s and calling the tested program, and recording an executing path p of the tested program, by which the state s passes, and dynamic executing information; 3) sequentially calculating and detecting a circulating expansion similar path p' of the executing path p according to the dynamic executing information and checking whether all the states represented by a path restricting condition of the path p' are right or not, if so, cutting off the states passing through the detection from the testing space, and if not, printing a wrong state and giving out a counter example; and 4) carrying out iteration detection on all the states in the testing space. The method disclosed by the invention reduces the quantity of executed testing examples and increases the detection speed.

Description

technical field [0001] The invention relates to a software model detection technology and a state space reduction technology, and proposes a new detection method for cyclic expansion aiming at the verification space explosion problem of a data-based program containing a cycle about an aggregation type. Background technique [0002] Model checking is a technique for verifying that the finite state space of a system satisfies the correct properties. The traditional model checking technology starts from the initial state of the system under test, generates and verifies whether all subsequent states of the initial state satisfy a given correctness or security property. At present, many software model detection techniques and state reduction techniques for state explosion problems have been proposed (references: Chaki, S., E.Clarke, et al. (2003). Modular verification of software components in C.Software Engineering, 2003 .Proceedings.25th International Conference on.; Literatur...

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 Patents(China)
IPC IPC(8): G06F11/36
Inventor 易秋萍刘剑沈武威汪孙律李斌
Owner INST OF SOFTWARE - CHINESE ACAD OF SCI
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