contract testing

Methods