Test generation for a component is restricted to the provided interfaces of a component. Hence, for the vending machine, the tests includes commands and signals of interfaces IUser and IService.