A method for automatic testing of a piece of software for a mobile device including the following steps: deriving from a description a formalized description, the description includes possible sequences of events of the software and a range for at least one input parameter of the software, the description being used for an implementation of the software; generating from the formalized description a test description; adapting the test description for the mobile device for which the software is to be tested; translating the test specification in a language assigned to the mobile device such that a test described by the test specification can be performed on the mobile device. The method for automatic testing further relates to a corresponding device.