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

Software run-time property monitoring method based on property specification mode

A technology of nature and mode, applied in the direction of program control devices, etc.

Inactive Publication Date: 2013-11-13
NAT UNIV OF DEFENSE TECH
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0014] The technical problem to be solved by the present invention is to propose a software runtime property monitoring method based on the property specification model to provide support for software fault discovery, diagnosis and defect location, in order to reduce the Software failures and maintenance costs

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
  • Software run-time property monitoring method based on property specification mode
  • Software run-time property monitoring method based on property specification mode
  • Software run-time property monitoring method based on property specification mode

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0067] specific implementation plan

[0068] figure 1 Is the overall flow chart of the present invention. It mainly includes the following six steps:

[0069] In the first step, the software runtime property monitoring requirements are divided into 11 property specification modes, and a property specification template is constructed for each property specification mode. Number these property specification templates and save them in the property specification template library.

[0070] The second step is to extract the meta-information data in the software to be monitored, and generate a meta-information file.

[0071] The third step is to configure the property specification template and generate the monitoring script file of the software to be monitored.

[0072] The fourth step is to analyze the monitoring script file and generate the aspect monitoring file.

[0073] The fifth step is to weave the software to be monitored and the aspect files to generate new software wi...

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 software run-time property monitoring method based on property specification mode, aiming at providing a software run-time property monitoring method beneficial to fault discovery and diagnosis. The technical scheme includes that software run-time property monitoring requirements are classified into multiple property specification modes, a property specification template is constructed for each property specification mode; meta-information data in software to be monitored is extracted, so as to generate a meta-information file; the property specification template is configured, so as to generate a monitoring script file of the software to be monitored; the monitoring script file is analyzed, so as to generate a monitoring code; the software to be monitored and a comprehensive monitoring file are woven, so as to generate new software with run-time property monitoring capability; and the new software generated by weaving is run, software property is monitored and monitoring result is displayed. By adopting the invention, support can be provided for software fault discovery, diagnosis and defect location, software failure and maintenance cost is reduced, monitoring workload and monitoring difficulty are reduced, and timeliness is improved.

Description

technical field [0001] The invention relates to a method for monitoring properties of software during runtime in the field of software monitoring, in particular to a method for monitoring property violations during runtime of software based on a property specification model. Background technique [0002] With the expansion of software scale and the improvement of complexity, software operation shows many characteristics such as dynamics, unpredictability, and potential insecurity. The quality problems of software are becoming more and more prominent, which bring many adverse effects to people's work and life, and even cause catastrophic losses to human life, property and environment. To meet these challenges, people want to know as much as possible about the internal conditions of the software system during operation. Software runtime property monitoring refers to the method of monitoring and verifying whether the running state and behavior of the software conform to the ex...

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): G06F9/44
Inventor 毛晓光吴海亮万小敏代子营王瑞王承松雷晏王燕妮
Owner NAT UNIV OF DEFENSE TECH
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

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