The Cappuccino Test Framework