Stochastic Modeling In Software Testing