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...
openstack.nose_plugin OpenStack-nin run_tests.py çıxış taklit üçün nosetests çıxış təmin edən burun plugin edir. Quraşdırma & Nbsp; openstack.nose_plugin yüklemek pip istifadə Aşağıdakı variantları availible var:& Nbsp; --OpenStack ilə& Nbsp; plugin...
expecter siz iddialar yazmaq üçün kömək edir. Heç bir daha gözlənilir və aktualdır olan unutmaq olacaq!Əsas gözləntilər asandır:& Nbsp; >>> expecter idxal gözləyirik& Nbsp; >>> (bəzi '+' şey) == "bir şey gözləmək& Nbsp; (bir şey) gözləyirik& Nbsp;...
noseenv forması "--env ENVIRONMENT_VARIABLE = dəyər" variantları əlavə etmək üçün bir burun plugin edir.- PyPI: http://pypi.python.org/pypi/noseenv- Travis CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...
hortum yüksək səviyyədə test asanlaşdırır bir Burun uzantısıdır.Test dərsləri belə nə qruplar kimi faydalı metadata olan bəzəyi vasitəsilə qeydiyyatdan məcbur tərəfindən kəşf necə dəyişikliklər onlar digər testlər bağımlılıkları var və onlar rədd...
Pulse layihə kodu bütövlüyünü təmin etmək üçün sizinlə işləmək üçün nəzərdə avtomatlaşdırılmış build (və ya fasiləsiz inteqrasiya) server edir.Pulse müntəzəm layihələr qurur, sizin SCM həyata mənbə kodu yoxlayır və nəticələrin bildirir Features . ...
ifadə Python unittest modulu və burun üçün bir əvəz edir.Unittest sonra modellenmiştir olunur ifadə və testlər unittest düzəlişlərin minimum ifadə altında davam edəcək yazılı, lakin yuxarıda və unittest kənarda xüsusiyyətlərə malikdir:& Nbsp; * test...
pytest-marker-bugzilla Bugzilla inteqrasiyası üçün py.test plugin edir & nbsp; Bu plugin hazırda aşağıdakı iş tutur.da bug_status səhv tanınan və hazırlanır və buna görə də test atlandı olmalıdır və olacaq deməkdir ['təyin' 'ON_DEV'...
Marathon standart script qrupu & ndash daxil olmaqla, bütün Java / Swing komponentləri üçün dəstək təmin edən bir çərçivə; Ruby və Python.Marathon da skript yazmaq və test üçün istifadə və daha xam tədbirlər çox komponentləri semantik tədbirlər qeyd edilə...
TestLink web-based testcase idarəetmə və icra izləmə sistemi PHP, MySQL, və bir neçə digər açıq mənbə texnologiyaları istifadə edərək, yaratdığınız bir açıq mənbəyidir.Çaba idarə və onların test hallarda yaratmaq, eləcə də komanda üzvləri test hallarda...
