Testing Smart Contracts Definition