Universal parallel mining system 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-07-21
EAST CHINA NORMAL UNIV +1
View PDF5 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the difficulty of constructing formal properties has hindered the widespread application of model checking techniques

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
  • Universal parallel mining system for linear temporal logic specifications
  • Universal parallel mining system for linear temporal logic specifications
  • Universal parallel mining system 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] Such as figure 1 As shown, the linear temporal logic specification universal parallel mining system 100 implemented by the above system includes the following modules connected in sequence:

[0035] Preprocessing module 110: the log file is divided, and the independent track in the log file is separated (the track is a sequence of events arranged in chronological order), and the set (EVENT) of all events in the log file is o...

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 universal parallel mining system for linear temporal logic specifications. The system comprises a preprocessing module, a specification instance generation module, a specification instance verification module and a result screening module, wherein the preprocessing module performs segmentation processing on a log file, obtains an event set occurring in a log and collects occurrence position information of events in the log; the specification instance generation module generates specific linear temporal logic specification instances in combination with the event set in the log by utilizing an input specification template; the specification instance verification module is in charge of calculating support degrees and confidence degrees of the specification instances in the log by utilizing the preprocessed event position information; and the result screening module is in charge of screening a mined result set to remove the specification instances with the support degrees and the confidence degrees not meeting the mining requirements. According to the mining system, a multithread technology is fully utilized to perform parallel computing, so that any type of the linear temporal logic specification can be efficiently mined.

Description

technical field [0001] The invention relates to a computer technology field, in particular to a linear temporal logic specification mining technology in the model detection field, and in particular to a general parallel mining system for a 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 that the cos...

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): G06F9/44
CPCG06F8/71G06F8/77
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