A Case Study for Invalidating the Markovian Property of GUI Software Structural Profile

Software reliability is one of the key factors for determining the quality of software, and a number of software reliability models have been developed for measuring it, among which a group of Markov-based models prevails. In fact, the Markovian assumption can also widely observed in performance evaluation of software system. In this paper, an experimental approach is used to check if GUI software structural profile, which is defined as transfer of control among software modules or states, possesses Markovian property, utilizing x² hypothesis test. The result of the case study indicates that the structural profile of GUI software fails to fit a Markov process