Computing software reliability based on program invariants

DOI10.13328/J.CNKI.JOS.004803MaRDI QIDQ2993238zbMATH OpenFDO

Authors Yuan Zhou, Zuohua Ding

Publication date 10 August 2016

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.004803

zbMATH Keywords

failure dataNelson modelprogram invariantsoftware reliabilitytesting case

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Software reliability assessment based on a Bayesian method
• scientific article; zbMATH DE number 2219689
• Quantifying software reliability via model-counting
• An extended domain-based model of software reliability
• A measurement-based framework for software reliability improvement

Cited in

(2)

• Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
• Quantifying software reliability via model-counting

This page was built for publication: Computing software reliability based on program invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2993238)