Systematic automation of scenario-based testing of user interfaces

摘要

In May 2016, the driver of a Tesla Model S equipped with the autopilot feature was killed when his vehicle crashed into a tractor-trailer [1]. Tesla confirmed that the vehicle's autopilot was active and that its brakes were not activated, neither by the driver nor the automatic braking system. Users of such systems should be protected from similar scenarios caused by malfunction or user error. One approach to testing is based on data collected by early adopters. The more traditional approach is to develop specifications for safety-critical systems, implement the system, and test its performance against the specifications. The latter can be prohibitively expensive, and may delay the introduction of beneficial features.