Automatic Detection of Interaction Errors

Interactive systems exchange a large amount of data with their environment where numerous events are triggered and a large number of actions are performed. Manually testing these interactions is time-consuming, labor-intensive, and costly. Furthermore, ensuring all possible interactions have been tested is essential, especially when safety is critical. Having an automated test oracle that captures the actual interactive behavior of the distributed system can considerably cut the effort of testing, especially in model-driven development that aims to shorten the time to market or when resources are limited. Test engineers can benefit from using automated oracles. These oracles overcome the challenges of automating the test oracle development activities, deriving oracle information, and developing oracle procedures.