FDE and FCE considered software reliability growth model establishing method based on ISQ

A technology for growing models and establishing methods, applied in the field of software fault detection and fault correction, which can solve the problem of not considering the impact of fault detection workload and fault correction workload on software reliability, reducing the practical significance of the model and the reliability of the results. and other issues to achieve the effect of improving the credibility of the results and improving the practical significance

Inactive Publication Date: 2014-04-30
HARBIN INST OF TECH
View PDF3 Cites 15 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] In order to solve the problem that the existing software reliability growth models do not take into account the influence of fault detection workload and fault correction workload on software reliability, which reduces the actual significance of the model and the credibility of the results, the present invention proposes to consider FDE and Establishment method of FCE's software reliability growth model based on ISQ

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
  • FDE and FCE considered software reliability growth model establishing method based on ISQ
  • FDE and FCE considered software reliability growth model establishing method based on ISQ
  • FDE and FCE considered software reliability growth model establishing method based on ISQ

Examples

Experimental program
Comparison scheme
Effect test

specific Embodiment approach 1

[0010] Specific implementation mode 1. Combination figure 1 Describe this specific embodiment, the establishment method of the software reliability growth model based on ISQ considering FDE and FCE described in this specific embodiment, the software reliability growth model based on ISQ includes the mean value function model of the fault detection process and the fault The mean function model of the correction process, the establishment method comprises the following steps:

[0011] Step 1, establish a differential equation according to the condition of the ISQ-FDEFCE software reliability growth model to be established, and obtain the mean value function model of the fault detection process of the ISQ-FDEFCE software reliability growth model by this differential equation;

[0012] Step 2. According to the probability that the software fault is completely corrected, the fault correction time and the mean value function model of the fault detection process of the ISQ-FDEFCE soft...

specific Embodiment approach 2

[0014] Embodiment two, the difference between this embodiment and the establishment method of the ISQ-based software reliability growth model considering FDE and FCE described in embodiment one is that the ISQ-FDEFCE software to be established described in step one The conditions of the reliability growth model are:

[0015] The software fault detection process follows an NHPP,

[0016] The failure of the software system at any time is caused by the residual fault in the software;

[0017] The number of detected software faults in the time interval (t,t+Δt] is proportional to the number of remaining faults in the software system and the workload of fault detection;

[0018] Software failures are independent of each other;

[0019] The software fault correction process cannot be ignored, and the number of corrected faults lags behind the total number of detected faults;

[0020] Each fault that causes the failure of the software system will be corrected eventually. The softw...

specific Embodiment approach 3

[0023] Embodiment 3. The difference between this embodiment and the method for establishing the ISQ-based software reliability growth model considering FDE and FCE described in Embodiment 2 is that the ISQ-FDEFCE described in step 1 is based on the ISQ-FDEFCE to be established. The differential equation established by the conditions of the software reliability growth model is:

[0024] dm d ( t ) dt = bw d ( t ) [ a - m d ( t ) ] ,

[0025] Among them, m d (t) is the expected value of the number of faults detected by the software until time t, w d (t) is the instantaneous fault detection workload at...

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 provides an FDE and FCE considered software reliability growth model establishing method based on ISQ and relates to the fields of software fault detection and fault correction. The problem that the influence of the fault detection working amount and the fault correction working amount on the software reliability is not considered in an existing software reliability growth model and accordingly the practical significance and result confidence level of the model are reduced is solved. The FDE and FCE considered software reliability growth model establishing method comprises the steps of firstly obtaining a mean value function model of the fault detection process of an ISQ-FDEFCE software reliability growth model according to a condition building differential equation of the ISQ-FDEFCE software reliability growth model to be established; then obtaining a mean value function model of the fault detection process of the ISQ-FDEFCE software reliability growth model according to complete correction probability and fault correction time of software faults and the mean value function model of the fault detection process and finishing software reliability growth model establishing based on the ISQ. The FDE and FCE considered software reliability growth model establishing method based on the ISQ is suitable for improvement of the software reliability.

Description

technical field [0001] The invention relates to the field of software fault detection and fault correction. Background technique [0002] Software reliability is one of the most important characteristics of software quality. It is directly related to whether a computer system or even a larger system can complete a specified task within a given time. In recent years, researchers have begun to discuss how to use queuing models to explain software testing. Behavior, and established a software reliability growth model based on queuing theory, but these models did not consider the impact of fault detection workload (FDE) and fault correction workload (FCE) on software reliability, reducing the practical significance of the model and the credibility of the results. [0003] Most software reliability growth models assume that faults are eliminated immediately after detection, and the fault correction process is omitted. This assumption does not match the actual software testing s...

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/36
Inventor 崔刚付忠传张楠暴建民潘波张策朱东杰王秀峰张必英季春光
Owner HARBIN INST OF TECH
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