Mathematical modeling of software reliability testing with imperfect debugging

DOI10.1016/j.camwa.2010.03.011zbMath1198.68117MaRDI 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 property; software testing; software reliability; imperfect debugging; the principle of uncertainty

Mathematics Subject Classification ID

60J20: Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.)

60K10: Applications of renewal theory (reliability, demand theory, etc.)

68M15: Reliability, testing and fault tolerance of networks and computer systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

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