Programinė įranga Screenshot:
Programinė detalės:
Versija: 1.7.0
Įkėlimo datą: 20 Feb 15
Kūrėjas: Achim D. Brucker and Burkhart Wolff
Licencija: Nemokamai
Populiarumas: 80
Hol-TestGen leidžia rašyti bandymų specifikacijas Aukštesnio eilės logika (hol). Jis gali (pusiau) automatiškai disko įvesties vietos, todėl teoriškai bandymų atvejus, ir automatiškai pasirenka konkrečius bandymo duomenis.
Automatinis kartos bandymų pynės (į SML) palaiko ir naudojant kalbos sąsaja užsienio, diegimas savavališkai kalbomis (pvz C) galima išbandyti.
Hol-OCL yra laisvoji programinė įranga; galite ją platinti ir / ar keisti šį darbą pagal GPL sąlygas. Hol-TestGen Projektas sukurtas Achim D. Brucker ir Burkhart Wolff
Įranga :.
- Rašyti bandymų specifikacijas Higher- eilės logika (hol)
- (pusiau) automatiškai disko įvesties vietos, todėl teoriškai bandymų atvejus
- automatiškai pasirinkti konkrečias bandymų duomenis
- automatiškai generuoti bandymų scenarijus (į SML)
- naudojant užsienio kalbų sąsaja, diegimo savavališkai kalbomis (pvz c) gali būti patikrintas.
Kas naujo , šioje laidoje:
- Ši versija buvo perkeltas į Isabelle / hol 2011-1.
- Nauja pavyzdžiai buvo pridėta.
- jEdit pagrįstas vartotojo sąsaja yra dabar naudojama pagal nutylėjimą.
Komentarai nerastas