tests for DTMModelManager and TAPModel
tests for DTMModelManager