Acceleration Testing Method of Safety-critical Software with Testing Resource Constraint

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 adjusting the operational profile in Markov chain usage models,we considered the mini-mization of failure risk and tried to automatic generation test data.The experimental results obtained show that this optimization technique is a promising option for tackling this problem.