HOL maigsing mula sa mas mataas na Order Logic ay isang programming kapaligiran kung saan theorems ay maaaring di-napatutunayang at mga tool patunay ipinatupad.Built-in na mga pamamaraan ng desisyon at teorama provers maaaring awtomatikong magtatag ng...
TestManager ay isang Trac plugin upang lumikha ng Pagsubok Kaso, ayusin ang mga ito sa mga katalogo, bumuo ng Test Plan at subaybayan ang katayuan ng pagpapatupad at kinalabasan.Naiiba mula sa iba pang mga plugin pagsubok pamamahala para sa Trac na...
EXQUIRES - mapaghusga at eXtensible dami ng Imahe Muling pagpapalaki Suite Documentation & Mga tagubilin Mangyaring bisitahin ang: http://exquires.rivetsforbreakfast.comMga Tagubilin Mga pangunahing pag-install EXQUIRES maaaring i-install mula sa PyPI...
Py.Saunter ay isang proyekto sa kasalukuyan batay sa Ilong. & Nbsp; Ito ay batay sa Py.Test talagang sa lalong madaling panahon. Pag-install Upang masulit ang out sa siliniyum at Python; at upang gamitin ang halimbawang code dito, kailangan mong& Nbsp;...
noseOfYeti ay isang plugin para sa ilong, inspirasyon ng http://github.com/fmeyer/yeti, na gumagamit ng codec ng estilo upang magbigay ng isang estilo RSpec BDD DSL para sa mga pagsubok na Python. Mga kinakailangan : Python ...
lava-dashboard ay isang imbakan para sa mga resulta ng pagsubok.Documentation Package Mga Kinakailangan : ...
ilong-socket-whitelist ay isang ilong plugin na patch socket.getaddrinfo para sa mga di-lokal na socket, na pinapayagan kang alinman sa mag-log ang lahat ng mga pangyayari o dahilan ng nakakasakit na pagsubok sa...
eutester ay isang pagsubok framework para sa AWS tugma ang mga ulap.Documentation Package Mga Kinakailangan : Python boto ...
jstestnetlib ay isang Python module na idinisenyo upang maisagawa ang JavaScript pagsubok laban sa isang JavaScript TestNet server. I-install Paggamit ng buto ng bungang-kahoy isagawa:buto ng bungang-kahoy-install ng Git + Git:...
pyfix ay isang Python module na dinisenyo lalo na para sa pagsusulat ng mga function na pagsubok. I-install & Nbsp; buto ng bungang-kahoy-install pyfix Paggamit Narito ang isang mahalagang halimbawa:mula sa pagsubok ang pag-import pyfix, ang...
