Method for measuring monitorability probability of properties in runtime verification

A measurement method and technology of nature, applied in hardware monitoring, instruments, electrical digital data processing, etc., can solve the problems of inability to measure the monitorability, weak monitorability, and inability to quantify proportional values.

Active Publication Date: 2020-06-30
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF4 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, existing monitorability and weak monitorability cannot measure this ratio
For example, monitorability requires that all finite sequences are monitorable, that is, the ratio is 100%; while weak monitorability requires that there is a monitorable part of the property, that is, the ratio is greater than 0, but the specific ratio value cannot be quantified

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
  • Method for measuring monitorability probability of properties in runtime verification
  • Method for measuring monitorability probability of properties in runtime verification
  • Method for measuring monitorability probability of properties in runtime verification

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0035] The technical solutions of the present invention will be described in detail below in conjunction with specific examples, but not as limitations of the present invention. This embodiment uses the method of the present invention to calculate the monitorability probability of a property described by linear sequential logic.

[0036] Such as figure 1 Shown, the measurement method of the monitorability probability of property in the run-time verification of the design of the present invention, comprises the following steps:

[0037] Step 1: Apply the given properties Converted to the corresponding monitor

[0038] Step 2: Traversing Monitors Obtain The initial state of , the label formula on the transition, the unmonitorable state set U and the predecessor state set of the unmonitorable state set

[0039] Step 3: According to the unmonitorable state set U, judge whether to return the property in advance The probabilistic outcome of the monitorability of ;

[...

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 method for measuring the monitorability probability of properties in runtime verification. The method comprises the following steps: firstly converting properties into a corresponding monitor, then converting the monitor into a corresponding discrete time Markov chain, finally listing a linear equation set about a monitorable finite sequence probability, and solving the equation set to obtain a final monitorable probability. Compared with the prior art, according to the method, the applicability of the given property in verification during operation is not simply judged through the monitoring performance or the weak monitoring performance; by calculating the monitorability probability, program developers and verification engineers can more accurately judge the value of the verified property before verification during operation, so the software verification efficiency and quality are improved.

Description

technical field [0001] The invention belongs to the field of computer software, in particular to the field of runtime verification. Background technique [0002] With the rapid development of information and computer technology, computer software is playing an increasingly important role in various fields of today's society. At the same time, the consequences of software defects are becoming more and more impossible to ignore. In medical, aviation, aerospace and defense software, a single error can cause immeasurable damage. For example: software design flaws in Therac-25 radiation therapy equipment led to major medical accidents, resulting in high-level burns and even death of six patients; the explosion of the Ariane 5 rocket after lift-off caused nearly 8.5 billion dollars in losses due to the system An overflow error occurs when software tries to fit a 64-bit number into a 16-bit space. In view of this, the safety and reliability of software are paid more and more att...

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 Applications(China)
IPC IPC(8): G06F11/36G06F11/30
CPCG06F11/302G06F11/3051G06F11/3612
Inventor 陈哲陈云云吴逸凡
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
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