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, Resource allocation during tests for optimally reliable software