HOL-TestGen - Ingyenesen letölthető szoftver Mert Linux -ben Minőségbiztosítás és tesztelés szoftver

HOL-TestGen 1.7.0

HOL-TestGen lehetővé teszi, hogy írjon vizsgálati előírások keretében magasabb fokú logikák (HOL). Ez a (félig) automatikusan felosztani a bemeneti teret, ami absztrakt vizsgálati esetek, és automatikusan kiválasztja a konkrét vizsgálati...