A model driven approach for system validation

In this paper we present a novel model driven approach for system validation. In the proposed methodology the system usage data is modeled as state transition diagrams using Markov modulated Markov process. Further, thus created system models are used for test plan generation which comprises of two steps 1) Test Sequence Generation 2) Test Sequence Prioritization. A simulation based case study is presented to demonstrate the effectiveness of the proposed methodology in identifying a set of test sequences offering high coverage factor for a given number of test sequences.