A mathematical modeling framework for software reliability testing†

DOI10.1080/03081070600957939zbMath1115.68053OpenAlexW1965945013MaRDI QIDQ3442629

Ke Liu, Zhao Dong, Chenggang Bai, Kai-Yuan Cai

Publication date: 18 May 2007

Published in: International Journal of General Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/03081070600957939

zbMATH Keywords

software testingsoftware reliabilityMarkov usage model based testingsoftware testing stability

Mathematics Subject Classification ID

Analysis of variance and covariance (ANOVA) (62J10) Estimation in survival analysis and censored data (62N02) Reliability and life testing (62N05) Theory of software (68N99)

Related Items (3)

Mathematical modeling of software reliability testing with imperfect debugging ⋮ Optimal selection and release problem in software testing process: a continuous time stochastic control approach ⋮ Software testing processes as a linear dynamic system

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Optimal software testing in the setting of controlled Markov chains
• Software is different
• Stochastic stability and control
• Software dependability evaluation based on Markov usage models
• Importance Sampling of Test Cases in Markovian Software Usage Models
• Towards a conceptual framework of software run reliability modeling

This page was built for publication: A mathematical modeling framework for software reliability testing†