Modeling of Testability Requirement Based on Generalized Stochastic Petri Nets