Research of Embedded Software Generation of Test Cases Based on Usage Model
Kuanjiu Zhou · Computer Technology and Development · 2010
Statistical software testing based on the use of Markov chain model,is effective approach which can produce test case and implement the evaluation of software reliability quantitatively.Statistical testing based on a usage model as well as properties of usage model is introduced in this paper.The statistical theory is used on embedded software test to obtain the reliability of the embedded software theoretically.The paper also introduced how to automatically generated test case from the Markov chain usage mode of embedded software.The Kullback discriminant is used as the reliability judgment criteria of the test-chain to usage-chain,and the inevitability of the convergence is testified theoretically.The primary experiments and theorized analysis prove the method is approving and promising.