Unlock instant, AI-driven research and patent intelligence for your innovation.

A Quantitative Evaluation Method of Software Reliability Combined with Software Development Quality Information

A software development and reliability technology, applied in software indicators, software testing/debugging, software maintenance/management, etc., to solve problems such as failure to consider the impact of software reliability, too conservative security-level software, and failure of requirements.

Active Publication Date: 2021-01-01
XIAMEN UNIV
View PDF16 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Compared with the BBN method, this method only considers defects that will lead to failure of requirements, and does not consider the impact of software development process quality on software reliability.
Also, this method uses an uninformative prior distribution, which is too conservative for safe-grade software

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
  • A Quantitative Evaluation Method of Software Reliability Combined with Software Development Quality Information
  • A Quantitative Evaluation Method of Software Reliability Combined with Software Development Quality Information
  • A Quantitative Evaluation Method of Software Reliability Combined with Software Development Quality Information

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0034] The present invention will be further described in conjunction with the accompanying drawings and specific embodiments.

[0035] figure 1 It is a flowchart of the software reliability evaluation method of the present invention. Image 6 It is a model of the primary circuit of a pressurized water reactor nuclear power plant, which consists of a reactor and three parallel closed coolant loops, each loop includes a main coolant pump, a steam generator, and corresponding piping and instruments, one of which is The heat pipe section of the loop is connected to the voltage regulator. Since the three loops are basically the same, the node diagram only shows a loop with a voltage regulator and a loop without a voltage regulator. Figure 7 It is a software architecture diagram of the low flow protection subsystem of the primary circuit. The input parameters include reactor power P, coolant flow Flow and pump circuit breaker status, and the output is a shutdown signal.

[0036] ...

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 relates to a software reliability quantitative evaluation method combining software development quality information. The method comprises the following steps: S1, for a software development life cycle process, modeling a software development life cycle, a software residual defect number and a software demand failure probability by adopting a BBN model to obtain a software demand failure probability PFD1 of the software development life cycle; S2, modeling the PFD, the test times, the failure times and the PFD confidence by adopting a BBN method; constructing a PFD reliability model, taking the PFD1 as the prior distribution of the PFD, taking the expected software demand failure probability PFD2 as the posteriori distribution of the PFD, and calculating by using the PFD reliability model, so as to obtain the fault-free test times required by the PFD2 under the predetermined confidence alpha; and S3, testing the software, and if the actual fault-free test frequency is smaller than the fault-free test frequency obtained in the step S2, indicating that the software is unreliable and needs to be modified.

Description

technical field [0001] The invention belongs to the field of software reliability analysis, in particular to a software reliability quantitative evaluation method combined with software development quality information. Background technique [0002] Software reliability is one of the most important factors in the software development process, which directly affects the quality of software. [0003] The definition of software reliability is the probability of trouble-free operation at a specified time and under a specified environment. Software failure refers to the interaction between a specific input state and the internal state of the digital system that triggers a software failure, causing the software to fail to perform its intended function or perform an unexpected function. Software has different failure factors and modes from hardware, and the reliability of software products does not have a direct functional relationship with time. Software products do not change ov...

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 Patents(China)
IPC IPC(8): G06F8/77G06F11/36
CPCG06F8/77G06F11/3684G06F11/3688G06F11/3692
Inventor 吴一纯蔡源凤王灵芝谢珊
Owner XIAMEN UNIV