| Hi-index | 0.00 |
Software cybernetics explores the interplay betweensoftware theory/engineering and controltheory/engineering. Following the idea of softwarecybernetics, the controlled Markov chains (CMC)approach to software testing treats software testing as acontrol problem. The software under test serves as acontrolled object, and the (optimal) testing strategydetermined by the theory of controlled Markov chainsserves as a controller. The software under test and thecorresponding (optimal) testing strategy constitute aclosed-loop feedback system, and the software statetransitions behave as a Markov chain. This paperanalyzes the behavior of the corresponding optimal testprofile determined by the CMC approach to softwaretesting. It is shown that in some cases the optimal testprofile is Markovian, whereas in some other cases theoptimal test profile demonstrates a different scenario. Theanalyses presented in the paper deepen our understandingof the CMC approach to software testing and are relatedto software operational profile modeling.