Mathematical modeling of software reliability testing with imperfect debugging
Publication:604016
DOI10.1016/j.camwa.2010.03.011zbMath1198.68117OpenAlexW2079537435MaRDI QIDQ604016
Kai-Yuan Cai, Zhao Dong, Ping Cao, Ke Liu
Publication date: 8 November 2010
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.camwa.2010.03.011
Markovian propertysoftware testingsoftware reliabilityimperfect debuggingthe principle of uncertainty
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Applications of renewal theory (reliability, demand theory, etc.) (60K10) Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- A hierarchical mixture model for software reliability prediction
- Software testing processes as a linear dynamic system
- Software release policies on a shot-noise process model
- A mathematical modeling framework for software reliability testing†
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item