You’ll probably never test every possible way that a user might interact with a given piece of software, but for embedded control software, like what’s responsible for managing charging and starting the car, it literally is quite feasible to test every possible input and use case.