HOL-TestGen

Screenshot Software:
HOL-TestGen
Mga detalye ng Software:
Bersyon: 1.7.0
I-upload ang petsa: 20 Feb 15
Lisensya: Libre
Katanyagan: 15

Rating: nan/5 (Total Votes: 0)

Pinapayagan ka ng HOL-TestGen isa na magsulat ng mga pagtutukoy ng pagsubok sa logics ang mas mataas na-order (HOL). Maaari itong (kalahati) awtomatikong Partition ng puwang ng pag-input, na nagreresulta sa abstract na mga kaso ng pagsubok, at awtomatikong piliin ang kongkreto data ng pagsubok.
Awtomatikong pagbuo ng mga pagsubok harnesses (sa SML) ay suportado, at ang paggamit ng isang banyagang wika ng interface, pagpapatupad sa di-makatwirang mga wika (hal C) maaaring subukan.
HOL-OCL ay libreng software; maaari mo itong muling ipamahagi at / o baguhin ito sa ilalim ng mga tuntunin ng GPL. Proyekto HOL-TestGen ay binuo ng Achim D. Brucker at Burkhart Wolff

Mga Tampok :.

  • pagpapawalang pagsubok pagtutukoy sa Higher- logics order (HOL)
  • (kalahati) awtomatikong Partition ng puwang ng pag-input, na nagreresulta sa abstract na mga kaso ng pagsubok
  • Awtomatikong pumili kongkreto data pagsubok
  • awtomatikong bumuo ng mga script sa pagsubok (sa SML)
  • gamit ang isang interface banyagang wika, pagpapatupad sa di-makatwirang mga wika (hal C) maaaring subukan.

Ano ang bagong sa paglabas:

  • Ang bersyon na ito ay nai-port sa Isabelle / HOL 2011-1.
  • Bagong mga halimbawa ay idinagdag.
  • Ang-based jEdit user interface ay ginagamit ngayon sa pamamagitan ng default.

Katulad na software

should-dingus
should-dingus

11 May 15

unittest_jshint
unittest_jshint

14 Apr 15

pytest-incremental
pytest-incremental

12 May 15

Mga komento sa HOL-TestGen

Mga Komento hindi natagpuan
Magdagdag ng komento
I-sa mga imahe!