Exploratory and Functional Testing for the Payment System