A szoftver elindítása és a munka adatok megadása

  1. Az EyeC ProofRunner szoftver elindításához kattintson duplán az asztalon található EyeC ProofRunner ikonra.
    A következő képernyő jelenik meg:

    Munka beállítási képernyője

    Ábra 1. Munka beállítás képernyő. A munka beállítás képernyőn meg kell adnia a vizsgálathoz szükséges fontos paramétereket (Munka datok). A képernyő bal oldalán található mezők a munka paramétereinek felelnek meg.
  2. Ha ez a képernyő nem jelenik meg automatikusan a fenti ábra szerint, kattintson a Munka adatok megadása gombra.
  3. Adja meg a munka adatokat. A részletes leírásért lásd: Munka adatok.
  4. A képernyő jobb szélén található gombok fentről lefelé, időrendi sorrendben ábrázolják a munkafolyamatot. A hozzájuk tartozó folyamatlépéseket ebben a fejezetben egymás után ismertetjük. A zölden kiemelt gombok aktívak, és a munkafolyamat következő lépését jelzik. Kattintson egy gombra az ellenőrzési lépések közötti váltáshoz.
  5. Opcionális: a felfüggesztett és elmentett ellenőrzést a Fájl > Ellenőrzés folytatása menüpont választásával is folytathatja, például ha a gép leállítása után szeretné folytatni az ellenőrzést. Lásd: Az ellenőrzés felfüggesztése és folytatás.

Az EyeC ProofRunner lehetővé teszi, hogy számos különböző paraméterkészletet használjon és kezeljen, amelyek az egyes alkalmazásokra vonatkozó egyedi minőségi szabványokat tükrözik. Ezzel időt takaríthat meg, mivel betöltheti az adott munkához beállított paramétereket.