TY - GEN
T1 - Optimal test profile in the context of software cybernetics
AU - Cai, Kai Yuan
N1 - Publisher Copyright:
© 2001 IEEE.
PY - 2001
Y1 - 2001
N2 - 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. This 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.
AB - 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. This 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.
UR - https://www.scopus.com/pages/publications/84954048563
U2 - 10.1109/APAQS.2001.990014
DO - 10.1109/APAQS.2001.990014
M3 - 会议稿件
AN - SCOPUS:84954048563
T3 - Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001
SP - 157
EP - 166
BT - Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001
Y2 - 10 December 2001 through 11 December 2001
ER -