A contractual software fault warning method based on program invariants

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...

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

Images