Early warning method for contract-type software fault based on program invariants

A software failure and contract-based technology, applied in software testing/debugging, hardware monitoring, etc., can solve problems such as invariants not fully applicable, and achieve high automation and high fault detection rate

Active Publication Date: 2013-09-11
XIDIAN UNIV
View PDF3 Cites 14 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0017] The advantage of this technology is that there are already excellent tools that can be used. This tool can generate better invariants, which can be used as program contracts in early warning, providing a systematic source of contracts for contractual program verification methods; the disadvantage is that the generated Variants are not fully suitable for contractual program verification, so the invariants generated by tools need to be screened to improve accuracy

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
  • Early warning method for contract-type software fault based on program invariants
  • Early warning method for contract-type software fault based on program invariants

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0043] The present invention will be further described below in conjunction with the accompanying drawings.

[0044] like figure 1 As shown, the present invention is a contractual failure early warning method based on program invariants, and the method includes the following steps:

[0045] (1) Use the Daikon tool to generate program invariants for programs that require warnings, input the source programs that require warnings and the test case sets corresponding to the source programs as Daikon tools, and run the source programs on the Daikon tool according to the test case sets to generate invariants , output program invariants; among them, the test case set that needs to be input is provided by the user, and the generated invariants are data contracts, which mainly include three types: entry invariants, exit invariants and class invariants.

[0046] like figure 2 Shown is the process diagram of Daikon dynamic invariant discovery, Daikon tool accepts the source program to...

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

An early warning method for contract-type software fault based on program invariants includes 1), generating the program invariants for programs in need of early warnings by a Daikon tool, operating source programs to generate invariants on the Daikon tool according to a test case suite, and outputting the program invariants; 2), screening the invariants; 3), manually generating a data contract composed of Boolean assertions; 4), signifying the contracts acquired from the step 2) and the step 3) in a normalized manner, and inserting the contracts signified in the normalized manner into relevant positions of the source programs by annotations; 5), converting the annotations inserted into the relevant positions in the step 4) to codes with a fault detection function, and inserting the codes into corresponding target positions of the source programs; 6), operating the source programs processed from the step 1) to the step 5), if a program contract is violated during program operation, the codes with the fault detection function can automatically display monitored faults to users.

Description

technical field [0001] The invention belongs to the field of software safety assurance, and in particular relates to a contractual software fault early warning method based on program invariants. Background technique [0002] Nowadays, with the rapid progress of electronic computer technology, computers are widely used in industry, transportation, finance, medical treatment, communication, aerospace and other fields, and it has become very critical to use fault detection to ensure the correctness and reliability of the program. [0003] Unfortunately, as software becomes larger and more powerful, fault detection becomes quite complex. In large software systems, despite careful design, development and complete testing, there are often many faults. These failures may not cause errors or show symptoms of errors during normal operation, but under certain conditions, they will cause damage to the system. If not caught in time, serious errors can occur over time and even lead to...

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/32
Inventor 段振华刘艳艳田聪张南王小兵
Owner XIDIAN 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