3. ha ez nem csak egy ilyen egyszerű feladat, hanem állapotgépeket is tartalmaz, akkor gyakorlatilag reménytelen a teljes tesztelés.
A szakma mar annyira elfelejtette a formalis ellenorzeseket (LTL, petri-halok) hogy mar ilyeneket irogatnak? Nem azt mondom, hogy mindenhez, de azert egy Airbusnal megeri.