در HOL کوتاه از عالی منطق مرتبه یک محیط برنامه نویسی است که در آن قضایای می توان ثابت کرد و ابزار اثبات اجرا است.روش تصمیم گیری ساخته شده در و ثابت کننده های نظریه به طور خودکار می تواند ایجاد بسیاری از قضایای ساده است. مکانیسم اوراکل دسترسی به برنامه های خارجی مانند موتورهای SAT و BDD می دهد.HOL 4 به خصوص به عنوان یک...
در openstack.nose_plugin پلاگین بینی فراهم می کند که خروجی nosetests به تقلید خروجی run_tests.py اوپناستک است.نصبو nbsp؛ پیپ نصب openstack.nose_pluginاستفادهگزینه های زیر availible عبارتند از:و nbsp؛ - با-اوپناستک& nbsp؛ از فعال کردن پلاگین اوپناستک: نوا ژنراتور خروجی سبک [NOSE_WITH_OPENSTACK]و nbsp؛ - اوپناستک قرمز =...
در expecter شما کمک می کند تا ارسال اظهارات. هرگز دوباره به شما را فراموش کرده ام که انتظار می رود و است که واقعی!انتظارات عمومی بسیار آسان است:و nbsp؛ >>> از واردات expecter انتظارو nbsp؛ >>> انتظار ('برخی از' + 'چیزی') == "چیزی"& nbsp؛ در انتظار ('چیزی')و nbsp؛ >>> انتظار (1)> 100را لمس کنید...
در noseenv پلاگین بینی برای اضافه کردن گزینه های فرم "--env ENVIRONMENT_VARIABLE = ارزش" است.- PyPI: http://pypi.python.org/pypi/noseenv- تراویس CI:...
پوزه دراز فرمت بینی که تسهیل تست سطح بالاتر است.تغییرات چگونه کلاس آزمون توسط آنها را مجبور طریق تزئین که شامل ابرداده مفید برای ثبت نام مانند آنچه گروه های کشف آنها در هستند، یا نه آنها وابستگی در تست های دیگر، و اگر آنها باید استفاده کنه.انواع پوزه دراز تمام آزمون ثبت نام به منظور مورد نظر اجرا و سپس به ساختن یک...
پروژه پالس ساخت خودکار (و یا ادغام مداوم) سرور طراحی شده برای کار با شما برای اطمینان از یکپارچگی کد شما است.پالس به طور منظم چک کد منبع خود را از SCM خود را، ایجاد پروژه های خود را، و به اطلاع شما از نتایج ویژگی ها:. ساخت هر پروژه: اجرای دستورات دلخواه و یا استفاده پشتیبانی از مورچه ، و یا MAVEN.مصنوعات ساخت ضبط:...
در شهادت جایگزینی برای unittest ماژول پایتون و بینی است.شهادت بعد از unittest مدل و آزمون های نوشته شده برای unittest اجرا خواهد شد تحت شهادت با حداقل تنظیمات، اما آن را دارای ویژگی های بالا و فراتر از unittest:و nbsp؛ * راه اندازی در سطح کلاس و ثابت تمام کردن روش که یک بار در هر یک مجموعه ای کامل از روش آزمون اجرا...
در pytest-نشانگر-باگزیلا پلاگین py.test برای یکپارچه سازی باگزیلا کنید است و؛ این افزونه در حال حاضر فرض گردش کار زیر:bug_status در ['جدید'، 'اختصاص'، 'ON_DEV'] به معنی اشکال شناخته شده است و در حال در کار و در نتیجه آزمون باید قلم و خواهد بود.bug_status نه در ['جدید'، 'اختصاص'،...
در مسابقه دو ماراتون یک چارچوب فراهم می کند که پشتیبانی از تمام اجزای جاوا / نوسانات، از جمله زبان استاندارد برنامه نویسی کردن & ndash است. روبی و پایتون.مسابقه دو ماراتون نیز می توان به ضبط و آزمون اسکریپت استفاده می شود و ثبت اقدامات معنایی در قطعات به جای اقدامات اولیه ویژگی ها:. انعطاف پذیراسکریپت ضبط...
در TestLink منبع باز مدیریت testcase مبتنی بر وب و اجرای سیستم ردیابی ایجاد شده با استفاده از پی اچ پی، خروجی، و چندین فن آوری های منبع باز دیگر است.TestLink را قادر می سازد Q & A & nbsp؛ در (تضمین کیفیت) تیم ها را به زحمت مدیریت و ایجاد موارد آزمون خود را، و همچنین به عنوان آنها را سازماندهی به برنامه آزمون، که اجازه...
