Model-Based Testing of Obligations