Towards Anti-model-based Testing

Model-driven approaches have been recently utilized by software engineers for analysis and testing purposes with promising results. Unfortunately, such approaches cannot be applied whenever the system model is unavailable. We propose some alternative approaches in these cases; even when system models and software code are not available, an anti-model-based testing technique might produce useful results.In this paper we outline how a reverse engineered model can be produced by analyzing execution traces derived via operational testing.