Research And Implementation Of Software Test Adequacy Criterion On Embeded Realtime Operation System

Due to the growing use of embedded computer, the testing of embedded realtime operation system is becoming more and more important. One of the critical issues in testing is to answer when to stop test work, that is, the issue about determining test adequacy criteria. This paper analyzed the test adequacy criteria of function test, performance test, automated white-box coverage test and reliability test. And applied those test adequacy criteria to the work of a embedded realtime operation system (CRTOSII).Performance test and automated white-box coverage test are based on the experience of function test. Performance test was carried on with SSC standard test, while automated white-box coverage test was performed with path coverage rate as its adequacy criteria. The automated test work include the modification of test tool Logicscope. The evaluation of test work and the operation system was based on the resule of SSC test and the coverage rate of automated test.In the reliability test, the operation profile test and the markov chain test were applied. The operation profile test takes the failure intensity as its test adequacy criteria while the markov chain test's adequacy criteria is to cover the status and status transition ,Discriminant value is also one of its test adequacy criteria. And more, operation profile was tried to be used in the construction of usage chain in markov test, this makes usage chain fits its actual using and the test cases derived from the usage chain can achieve better test performance.