Software Reliability Model for Modular Program Structure
From MaRDI portal
Publication:4197327
DOI10.1109/TR.1979.5220576zbMath0409.68010MaRDI QIDQ4197327
Publication date: 1979
Published in: IEEE Transactions on Reliability (Search for Journal in Brave)
Semimarkov ProcessAvailabilityAsymptotic Poisson ProcessModular Program StructureSoftware Failure CostsSoftware Reliability Measurement
Specification and verification (program logics, model checking, etc.) (68Q60) Reliability and life testing (62N05) Theory of operating systems (68N25) Theory of software (68N99)
Related Items (6)
Resource allocation during tests for optimally reliable software ⋮ Poisson approximation for some point processes in reliability ⋮ Architecture-based approaches to software reliability prediction ⋮ Assessing reliability of modular software ⋮ Optimizing testing-resource allocation using architecture-based software reliability model ⋮ Optimal policies under risk for changing software systems based on customer satisfaction
This page was built for publication: Software Reliability Model for Modular Program Structure
