Model based testing tool