By Topic

Optimal test profile in the context of software cybernetics

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Kai-Yuan Cai ; Dept. of Autom. Control, Beijing Univ. of Aeronaut. & Astronaut., China

Software cybernetics explores the interplay between software theory/engineering and control theory/engineering Following the idea of software cybernetics, the controlled Markov chains (CMC) approach to software testing treats software testing as a control problem. The software under test serves as a controlled object, and the (optimal) testing strategy determined by the theory of controlled Markov chains serves as a controller. The software under test and the corresponding (optimal) testing strategy constitute a closed-loop feedback system, and the software state transitions behave as a Markov chain. The paper analyzes the behavior of the corresponding optimal test profile determined by the CMC approach to software testing. It is shown that in some cases the optimal test profile is Markovian, whereas in some other cases the optimal test profile demonstrates a different scenario. The analyses presented in the paper deepen our understanding of the CMC approach to software testing and are related to software operational profile modeling

Published in:

Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on

Date of Conference: