On the Controlled Markov Chains Approach to Software Testing
The Controlled Markov Chains (CMC) approach to software testing is a relatively new approach that is distinctly different from conventional ones. It follows the idea of software cybernetics that explores the interplay between software and control, and treats software testing as a control problem. The software under test serves as a controlled object that is modeled as a controlled Markov chain, and the testing strategy as the corresponding controller. The software under test and the software testing strategy make up a closed-loop feedback control system. The CMC approach leads to an adaptive testing strategy if some parameters of the software under test are estimated on-line by using testing data to improve the corresponding software testing process.