Skip to Main Content
The statistical testing base on usage model is an application for cleanroom software test. This paper constitutes a usage model for the test of an embedded stream media product whose chipset is ARM926JES base on the Markov theory. And quantitative analysis for the Markov chain which is composed by states transition matrix and excitation matrix. Comparing the model's difference between usage chains and test chains, it provides adequacy evidence for the adequacy proof of automated test with quantitative analysis. Adopt discriminate value and the tester's experience data to improve the efficiency of verification automation software. The result shows that, this method has a good convergence.
Computer Science and Information Engineering, 2009 WRI World Congress on (Volume:7 )
Date of Conference: March 31 2009-April 2 2009