General parallel mining method for linear temporal logic specifications

A temporal logic and normative technology, applied in the computer field, can solve problems such as the difficulty of constructing formal properties and hinder the wide application of model checking technology, and achieve the effect of efficient acquisition.

Inactive Publication Date: 2017-06-23
EAST CHINA NORMAL UNIV +1
View PDF4 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the difficulty of constructing formal properties has h

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
  • General parallel mining method for linear temporal logic specifications
  • General parallel mining method for linear temporal logic specifications
  • General parallel mining method for linear temporal logic specifications

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0033] Exemplary embodiments of the present disclosure will be described in more detail below with reference to the accompanying drawings. Although exemplary embodiments of the present disclosure are shown in the drawings, it should be understood that the present disclosure may be embodied in various forms and should not be limited by the embodiments set forth herein. Rather, these embodiments are provided for more thorough understanding of the present disclosure and to fully convey the scope of the present disclosure to those skilled in the art.

[0034] like figure 1 As shown, the general parallel mining method of linear temporal logic specification implemented by the above system includes steps:

[0035] S110, preprocessing step: splitting the log file, separating the independent track in the log file (the track is the sequence that events are arranged in chronological order), obtain the collection (EVENT) of all events in the log file and each event in the log file The p...

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 general parallel mining method for linear temporal logic specifications. The method includes the steps of pretreatment, specification case generation, specification case verification and result sieving, wherein during preprocessing, segmentation processing is carried out on a log file to obtain an event set occurring in the log file and collect occurrence position information of events in the log file; during specification case generation, an input specification template is utilized, and in combination with the event set in the log file, detailed linear temporal logic specification cases are generated; during specification case verification, the preprocessed event position information is utilized for calculating the support degrees and confidence coefficients of the specification cases in a log; during result sieving, mined result sets are sieved, and the specification cases with the supporting degrees and confidence coefficients not meeting mining requirements are removed. According to the method, a multi-thread technology is sufficiently utilized for parallel calculation, so that the linear temporal logic specifications of any types are efficiently mined.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to the specification mining technology of linear temporal logic in the field of model detection, and in particular to a general parallel mining method of linear temporal logic specification. Background technique [0002] Unlike other engineering products, software products are constantly changing and evolving throughout their life cycle. In the process of maintaining and updating the software, in order to maintain the correctness of the original functions of the system, the maintenance personnel usually need to make great efforts. According to statistics, software maintenance costs account for 90% of software development costs. Therefore, it is of great practical significance to study how to reduce the cost of software maintenance. [0003] The vast majority of software maintenance costs stem from the cost of understanding and absorbing legacy source code. Studies have shown th...

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): G06F9/44
CPCG06F8/75
Inventor 何积丰熊家文史建琦黄滟鸿李昂方徽星
Owner EAST CHINA NORMAL UNIV
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