A Generic Model-Based Test Case Generator

  • Authors:
  • Miroslav Popovic;Ivan Velikic

  • Affiliations:
  • University of Novi Sad;University of Novi Sad

  • Venue:
  • ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Statistical usage testing, also referred to as the statistical testing or behavioral testing, is today recognized as a de facto industry 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. This 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.