Mathematical modeling of software reliability testing with imperfect debugging

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

zbMATH Keywords

Markovian propertysoftware testingsoftware reliabilityimperfect debuggingthe principle of uncertainty

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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†

This page was built for publication: Mathematical modeling of software reliability testing with imperfect debugging