Optimal software testing in the setting of controlled Markov chains

DOI10.1016/J.EJOR.2002.11.002MaRDI QIDQ706943zbMATH OpenOpenAlexFDO

Authors Kaiyuan Cai, Yong-Chao Li, Wei-Yi Ning

Publication date 9 February 2005

Published in European Journal of Operational Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ejor.2002.11.002

zbMATH Keywords

Adaptive controlControlled Markov chainAdaptive software testingOptimal software testingRandom software testingSoftware cyberneticsSoftware testingTesting resource constraint

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Theory of software (68N99)

Recommendations

• Optimal stopping of multi-project software testing in the context of software cybernetics
• Markov chain Monte Carlo random testing
• scientific article; zbMATH DE number 6401121
• Importance Sampling of Test Cases in Markovian Software Usage Models
• Software dependability evaluation based on Markov usage models

Cites work

• Adaptive Markov control processes
• Finite state Markovian decision processes
• Optimal stopping of multi-project software testing in the context of software cybernetics
• Towards a conceptual framework of software run reliability modeling

Cited in

(8)

• scientific article; zbMATH DE number 2040797 (Why is no real title available?)
• scientific article; zbMATH DE number 6401121 (Why is no real title available?)
• Application of probabilistic automata to comprehensive testing of automatic production control system software
• A mathematical modeling framework for software reliability testing†
• The Path Prefix Software Testing Strategy
• Markov chain Monte Carlo random testing
• Optimal stopping of multi-project software testing in the context of software cybernetics
• Optimal selection and release problem in software testing process: a continuous time stochastic control approach

This page was built for publication: Optimal software testing in the setting of controlled Markov chains

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