Construction of test suites using verify objects