Using TestFramework to do verification