Software Reliability Methods
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
|
| gptkbp:appliesTo |
embedded systems
aerospace software critical systems |
| gptkbp:focusesOn |
improving software reliability
|
| gptkbp:goal |
increase system dependability
minimize software failures |
| https://www.w3.org/2000/01/rdf-schema#label |
Software Reliability Methods
|
| gptkbp:includes |
formal verification
software testing fault prediction fault tolerance techniques redundancy techniques reliability modeling |
| gptkbp:relatedTo |
software engineering
|
| gptkbp:uses |
statistical analysis
static analysis probabilistic modeling dynamic analysis code reviews fault injection |
| gptkbp:bfsParent |
gptkb:Doron_Peled
|
| gptkbp:bfsLayer |
7
|