A software vendor delivers a product to a client under a fixed-price contract. The contract specifies that the system must process 500 transactions per minute and support 200 concurrent users. Which form of acceptance testing would verify these contractual obligations?