HOL-TestGen

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.