System Simulation For Software Quality Assurance: a simulation model based on the Markov Decision Process