AbstractView references

Statistical usage testing, also referred to as the statistical tenting or behavioral testing, is today recognized as a de facto indusny standard for quality assessment of large-scale embedded systems. Statistical testing is based on operational profile, essentially Markov process of a system under test, The measure of the quality is reliability of a system, i.e. mean-time-to-failure. The key part of statistical testing is automatic production of test cases in accordance to a given operational profile of the tested system. Thin problem has been widely addressed in literature, however there is still the need for additional research efforts in this area. In this paper we present the original model-based working environment for production of statistical test cases. The front-end of the environment is the generic, modeling environment with our operational profile modeling paradigm registered to it. The back-end of the environment consists of operational profile model interpreter and a generic test case generator. The generic test case generator is the key component of the environment. It consists of previously developed test case generator engine and a newly developed generic, emulator. The generic emulator is capable of emulating any system under test. The complete back-end of the environment has been written in Java programming environment. © 2005 IEEE.