HOL qısa Ali Sifariş Məntiq olan teoremlər isbat və sübut tools həyata keçirilə bilər ki, bir proqramlaşdırma mühit.Daxili qərar prosedurlar və teoremi Provers avtomatik olaraq bir çox sadə teoremləri yarada bilər. Bir Oracle mexanizmi belə SAT və SKB...
TestManager, Test işlər yaratmaq kataloqlar onları təşkil yaratmaq Test Planları və onların icrası vəziyyəti və nəticəsini izlemek üçün Trac plugin edir.Differently test işi sahibləri kimi biletləri istifadə Trac digər test idarə plugins, bu bir Test...
EXQUIRES - Evaluative və genişlənən kəmiyyət Image Re-Genişləmə Suite Documentation və Təlimatlar Müraciət edin: http://exquires.rivetsforbreakfast.com Əsas Qarşıya yükləmə Talimatları EXQUIRES DİP istifadə PyPI yüklü edilə bilər:-Ü exquires bərpa PIPvə...
. Py.Saunter hazırda Nose & nbsp əsasında bir layihədir, Bu, həqiqətən, tezliklə Py.Test əsaslanır. Quraşdırma Selenium və Python ən etmək üçün; burada nümunə kodu istifadə üçün, lazımdır& Nbsp; sudo tırtıl burun bərpa& Nbsp; sudo tırtıl unittest2 bərpa&...
noseOfYeti. Bir RSpec stil Python testlər SKB DSL təmin etmək üçün codec üslub istifadə http://github.com/fmeyer/yeti ilham burun üçün plugin, edir tələblər Python ...
lava-tablosuna test nəticələr üçün bir depo edir.Paket Documentation tələblər ...
burun-yuva-ağ bütün hadisələr daxil olmaq və ya cinayətkar test uğursuz səbəb ya imkan qeyri-yerli sockets üçün socket.getaddrinfo yamalar burun plugin edir.socketwhitelist.plugins.LoggingSocketWhitelistPlugin& Nbsp; sockets bütün testlər həyata başa...
eutester AWS uyğun bulud üçün test çərçivəsində edir.Paket Documentation tələblər Python boto ...
jstestnetlib JavaScript Testnet server qarşı JavaScript testlər icra etmək üçün nəzərdə tutulmuşdur bir Python modulu edir. Yükle Icra Pip istifadə:git + git bərpa Pip: //github.com/kumar303/jstestnetlib.git#egg=jstestnetlib Running Testlər JavaScript...
pyfix test funksiyaları yazmaq üçün xüsusilə hazırlanmış bir Python modulu edir. Yükle & Nbsp; pyfix yüklemek pip istifadə Burada əhəmiyyətli bir nümunə var:pyfix idxal test, əsaspyassert idxal assert_that dəntestdef ensure_that_two_plus_two_equals_four...
