Statistical usage testing applied to mobile network verification

In this paper; we present the experiences that have been made with a new method for testing sofrware systems, statistical usage testing (StlJT). StUT relies on the creation and execution of real traffic models towards the system under test in order to avoid the manual development of test cases. In contrast to several studies that have been performed so far; our approach is based on a mature test automation platform. We describe our platform and present an approach based on stochastic Petri nets for the formulation of usage models. We then report on the application of the environment towards mobile network ver$cation and provide an analysis of the results in terms of costs and benefits of StlJT.