HOL قصيرة من العالي بالدفع المنطق هو بيئة البرمجة التي النظريات يمكن ان يثبت وأدوات واقية تنفيذها.يمكن المدمج في إجراءات القرار والبروفر نظرية تؤسس تلقائيا العديد من النظريات بسيطة. آلية أوراكل يتيح الوصول إلى برامج خارجية مثل SAT وBDD المحركات.HOL 4 هو مناسبة خاصة كمنصة لتنفيذ مزيج من خصم والتنفيذ والتحقق من الملكية ...
وTestManager هو البرنامج المساعد تراك لخلق حالات الاختبار، تنظيمها في الفهارس، وتوليد خطط الاختبار وتتبع حالة تنفيذها والنتائج.بشكل مختلف عن الإضافات إدارة اختبارات أخرى لتراك التي تستخدم تذاكر كأصحاب حالة اختبار، هذا واحد يستخدم صفحات الويكي ونموذج البيانات الشخصية إضافية لتخزين حالات الاختبار. هذا يسمح لك للا تلوث...
وEXQUIRES - تقويمية وامتداد صورة الكمي إعادة توسيع جناحوثائق وتعليميرجى زيارة الموقع التالي: http://exquires.rivetsforbreakfast.comإرشادات التثبيت الأساسيةيمكن تثبيت EXQUIRES من PyPI باستخدام النقطة:PIP تثبيت exquires -Uأو تحميل التوزيع مصدر من PyPI، إلغاء الأرشفة، وتشغيل:بيثون setup.py تثبيتإرشادات التثبيت المفصلةهذه...
وPy.Saunter هو مشروع المتمركزة حاليا على الأنف على & nbsp؛ وسيتم يقوم على Py.Test قريبا حقا.تركيبمن أجل الاستفادة القصوى من السيلينيوم وبايثون. واستخدام رمز المثال هنا، تحتاج لعلى & nbsp؛ سودو نقطة تثبيت الأنفعلى & nbsp؛ سودو نقطة تثبيت unittest2على & nbsp؛ سودو نقطة تثبيت أبو الهولعلى & nbsp؛ سودو نقطة تثبيت...
وnoseOfYeti هو البرنامج المساعد للأنف، مستوحاة من http://github.com/fmeyer/yeti، والذي يستخدم أسلوب الترميز لتوفير أسلوب RSpec BDD DSL للاختبارات بيثون المتطلبات:. ...
والحمم لوحة القيادة هي مستودع لنتائج الاختبار.حزمة الوثائق المتطلبات: ...
والأنف المقابس البيضاء هو البرنامج المساعد الأنف أن بقع socket.getaddrinfo لمآخذ غير الحكومية المحلية، مما يتيح لك إما تسجيل كافة الحوادث أو التسبب في اختبار المخالف إلى فشل.socketwhitelist.plugins.LoggingSocketWhitelistPluginعلى & nbsp؛ بتسجيل اختبار (ق) حيث يتم فتح مآخذ، طباعة تقرير summaray إلى sys.stderr عند...
وeutester هو إطار اختبار لAWS الغيوم متوافقة.حزمة الوثائق المتطلبات: ...
وjstestnetlib هو وحدة بيثون تهدف إلى تنفيذ جافا سكريبت الاختبارات مقابل خادم جافا سكريبت TestNet.تثبيتباستخدام PIP تنفيذ:PIP تثبيت بوابة + بوابة: //github.com/kumar303/jstestnetlib.git#egg=jstestnetlibتشغيل الاختباراتيمكن تنفيذ الاختبارات جافا سكريبت باستخدام الأنف. على سبيل المثال:nosetests --with-jstests \على &...
وpyfix هو وحدة بيثون مصممة خصيصا لكتابة ظائف الاختبار.تثبيتعلى & nbsp؛ نقطة تثبيت pyfixاستعمالوإليك مثالا هاما:من اختبار استيراد pyfix، الرئيسيةمن pyassert assert_that استيرادtestensure_that_two_plus_two_equals_four مواطنه ():على & nbsp؛ assert_that (2 + 2) .equals (4)testensure_that_two_plus_three_equals_five مواطنه...
