Program running process conformance verification method

A technology of program operation and verification method, which is applied in the direction of instrumentation, error detection/correction, calculation, etc., can solve the problem that the ability is not fully utilized, and achieve the effect of filling the gap in compliance verification

Active Publication Date: 2021-03-30
中国科学院电子学研究所苏州研究院 +1
View PDF4 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Among the commonly used instrumentation techniques, object code instrumentation technology has been favored by many software test developers because of its high efficiency and low intrusion. This technology has be

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
  • Program running process conformance verification method
  • Program running process conformance verification method
  • Program running process conformance verification method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0073] In order to verify the effectiveness of the solution of the present invention, the following simulation experiments are carried out.

[0074] Step1: Deploy the dynamic instrumentation program on the machine where the target software is located, where the remote request preprocessing program and the instrumentation log control program can be deployed in the same JAR package, and the instrumentation control program is deployed separately.

[0075] Step2: Send an HTTP request to the deployed dynamic instrumentation program through the terminal, control the start of the instrumentation program, complete the instrumentation of the target software program, and stop manually after the terminal prompts that the instrumentation is completed, thus completing the pre-embedding of the instrumentation point .

[0076] Step3: During the normal operation of the target software, when the program executes to the pre-embedded stub point, its execution process information and current syst...

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 provides a program running process conformance verification method, which comprises two links of dynamic instrumentation and process verification. The method comprises the steps of receiving and analyzing an instruction input by a user, executing an instrumentation start-stop process and returning a process data log during dynamic instrumentation work; receiving the process data logduring the process verification, extracting the relationship between methods in the log to establish a process diagram model, and sequentially matching the process diagram model with the standard rule, thereby verifying the standard conformity of the program running process. According to the program running process verification method, the internal execution process information during program running is visually and quantitatively displayed through methods such as instrumentation point burying and data modeling, the program running process verification method is provided, and the blank of software running process conformity verification is filled up.

Description

technical field [0001] The invention relates to the field of software detection and evaluation, in particular to a method for verifying the conformity of a program running process. Background technique [0002] With the increasing scale of software application and the increasingly complex software application environment, how to ensure software quality, software standardization and standard compliance has gradually become the focus of attention, and software detection technology has also developed rapidly. Software defect detection is usually divided into two aspects: static detection and dynamic detection. For a long time, static detection technology has been well developed due to its more forward-looking characteristics, and has been widely used in various software detection fields. In recent years, more and more attention has been paid to the dynamic detection technology based on the software running process. This technology usually uses dynamic instrumentation and other...

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/3612
Inventor 孟小峰刘丽王璐璐刘亮冯斌岳才杰姜丽
Owner 中国科学院电子学研究所苏州研究院
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