Writing tests for the ModelManager class