در HOL کوتاه از عالی منطق مرتبه یک محیط برنامه نویسی است که در آن قضایای می توان ثابت کرد و ابزار اثبات اجرا است.روش تصمیم گیری ساخته شده در و ثابت کننده های نظریه به طور خودکار می تواند ایجاد بسیاری از قضایای ساده است. مکانیسم اوراکل دسترسی به برنامه های خارجی مانند موتورهای SAT و BDD می دهد.HOL 4 به خصوص به عنوان یک...
در TestManager پلاگین TRAC برای ایجاد موارد آزمون، سازماندهی آنها در کاتالوگ، تولید طرح آزمون و پیگیری وضعیت اجرا و نتیجه آنها است.متفاوت از دیگر پلاگین مدیریت آزمون برای TRAC که با استفاده از بلیط به عنوان دارندگان مورد آزمون، این یکی از صفحات ویکی و مدل داده اختصاصی اضافی برای ذخیره موارد آزمون. این اجازه می دهد تا...
در EXQUIRES - ارزیابی و گسترش تصویر کمی دوباره بزرگ شدن سوئیتمستندات و دستورالعمللطفا بازدید: http://exquires.rivetsforbreakfast.comدستورالعمل عمومی نصب و راه اندازیEXQUIRES را می توان از PyPI با استفاده از پیپ نصب:تصویر در تصویر exquires -U نصبو یا دانلود کنید توزیع منبع از PyPI، لغو بایگانی و اجرا:پایتون setup.py...
. Py.Saunter یک پروژه در حال حاضر در بینی کنید و بر اساس است؛ آن خواهد شد در Py.Test بر اساس واقعا به زودی.نصببه منظور بهترین استفاده را از سلنیوم و پایتون. و به استفاده از کد به عنوان مثال در اینجا، شما به نیاز& nbsp؛ از دستور sudo پیپ نصب بینی& nbsp؛ از دستور sudo پیپ نصب unittest2& nbsp؛ از دستور sudo پیپ نصب...
در noseOfYeti یک پلاگین برای بینی، با الهام از http://github.com/fmeyer/yeti، که با استفاده از یک سبک کدک برای ارائه یک سبک RSpec DSL BDD برای آزمایش پایتون است مورد نیاز:. ...
در گدازه-داشبورد یک مخزن برای نتایج آزمون است.مستندات بسته بندی مورد نیاز: ...
در بینی-سوکت-لیست سفید یک پلاگین بینی که تکه های socket.getaddrinfo برای سوکت غیر محلی، اجازه می دهد تا شما را به هر دو ورود همه ظهور و یا ایجاد آزمون متخلف به شکست است.socketwhitelist.plugins.LoggingSocketWhitelistPlugin& nbsp؛ از سیاهههای مربوط به آزمون (بازدید کنندگان) که در آن سوکت باز می شوند، چاپ گزارش summaray...
در eutester یک چارچوب آزمون برای ابرها سازگار AWS است.مستندات بسته بندی مورد نیاز: ...
در jstestnetlib یک ماژول پایتون طراحی شده برای اجرای جاوا اسکریپت آزمون در برابر سرور جاوا اسکریپت TestNet است.نصببا استفاده از پیپ اجرا:تصویر در تصویر دستگاه گوارش + دستگاه گوارش نصب: //github.com/kumar303/jstestnetlib.git#egg=jstestnetlibدر حال اجرا تستآزمون جاوا اسکریپت می تواند با استفاده از بینی اعدام. برای...
در pyfix یک ماژول پایتون به خصوص برای نوشتن توابع آزمون طراحی شده است.نصبو nbsp؛ پیپ نصب pyfixاستفادهدر اینجا یک مثال مهم است:از آزمون واردات pyfix، اصلیاز pyassert واردات assert_thattestدف ensure_that_two_plus_two_equals_four ():را لمس کنید و. assert_that (2 + 2) .equals (4)testدف...
