Test classes for package src/model/util