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 Process; Availability; Asymptotic Poisson Process; Modular Program Structure; Software Failure Costs; Software Reliability Measurement
68Q60: Specification and verification (program logics, model checking, etc.)
62N05: Reliability and life testing
68N25: Theory of operating systems
68N99: Theory of software
Related Items
Poisson approximation for some point processes in reliability, Architecture-based approaches to software reliability prediction, Assessing reliability of modular software, Optimal policies under risk for changing software systems based on customer satisfaction, Optimizing testing-resource allocation using architecture-based software reliability model, Resource allocation during tests for optimally reliable software