A General Formal Test Method (title translated from French)