Assumption model testing