A mathematical modeling framework for software reliability testing†

DOI10.1080/03081070600957939MaRDI QIDQ3442629zbMATH OpenOpenAlexFDO

Authors Kaiyuan Cai, Zhao Dong, Ke Liu, Chenggang Bai

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

Markov usage model based testingsoftware reliabilitysoftware 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)

Recommendations

• Mathematical modeling of software reliability testing with imperfect debugging
• Testing-domain dependent software reliability models
• A general theory of software-reliability modeling
• Software reliability models incorporating testing effort
• scientific article; zbMATH DE number 786732
• Computational Mathematics for Software Reliability Engineering
• Software Reliability Modeling
• scientific article; zbMATH DE number 5353903

Cites work

• scientific article; zbMATH DE number 48952 (Why is no real title available?)
• scientific article; zbMATH DE number 3591262 (Why is no real title available?)
• scientific article; zbMATH DE number 1227004 (Why is no real title available?)
• scientific article; zbMATH DE number 1179096 (Why is no real title available?)
• scientific article; zbMATH DE number 3215084 (Why is no real title available?)
• scientific article; zbMATH DE number 3349081 (Why is no real title available?)
• Importance Sampling of Test Cases in Markovian Software Usage Models
• Optimal software testing in the setting of controlled Markov chains
• Self-stabilization
• Software dependability evaluation based on Markov usage models
• Software is different
• Stochastic stability and control
• Towards a conceptual framework of software run reliability modeling

Cited in

(10)

• Testing-domain dependent software reliability models
• Optimal selection and release problem in software testing process: a continuous time stochastic control approach
• A highly accurate numerical discretisation of time dependent singular state variable model for software testing process
• Software testing processes as a linear dynamic system
• On several issues in software reliability testing
• scientific article; zbMATH DE number 2031021 (Why is no real title available?)
• Calibrating software reliability models when the test environment does not match the user environment
• Mathematical modeling of software reliability testing with imperfect debugging
• Computational Mathematics for Software Reliability Engineering
• Transfer function modelling in software reliability

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3442629)