This method applies aspect-oriented programming technique to allow a highly separation and modular of test codes. It is also integrated with automated testing framework to support an automatic verification procedure.