Behavior-based acceptance testing of software systems: a formal scenario approach

Acceptance testing is the determining factor in the satisfaction of the contract between the software vendor and the customer. In today´s industry practice, there is a lack of a systematic method to help testers (or customers) construct, formalize, and verify acceptance testing models, and use them for automatic test case generation. This paper proposes a systematic approach to form the acceptance test model for a software system to represent its external behavior from the users´ perspectives. Based on the generated test model, different rigorous acceptance test criteria are defined, and various types of acceptance testing are discussed