Modeling the application to help testing.