Abstract: A heuristic acceleration testing method of safety-critical software with testing resource constraint based on Markov chain usage models was presented. The developed approach makes use of a new stochastic optimization method called Cross Entropy method. By

Key words: Software testing,Safety-critical software, Acceleration testing method, Markov chain usage model, Cross entropy method