Non-stationary Models of Software Testing Strategies with Probabilistic Parameters for Fault Detection