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على & nbsp؛ Traceback...
وnoseenv هو البرنامج المساعد الأنف لإضافة خيارات النموذج "--env ENVIRONMENT_VARIABLE = VALUE".- PyPI: http://pypi.python.org/pypi/noseenv- ترافيس CI:...
وخرطوم هو امتداد الأنف تسهل أعلى مستوى الاختبار.تغييرات كيف يتم اكتشاف الطبقات الاختبار عن طريق إجبارهم على التسجيل عن طريق الديكور التي تحتوي على البيانات الوصفية مفيدة مثل ما هم في مجموعات، سواء كانت أو لم تكن تحتوي الاعتماد على اختبارات أخرى، وإذا كانت ينبغي تجاهلها.أنواع خرطوم جميع الاختبارات المسجلة في النظام...
ومشروع نبض هو بناء الآلي (أو التكامل المستمر) الخادم مصممة للعمل معكم لضمان سلامة من التعليمات البرمجية الخاصة بك.نبض يتحقق بانتظام شفرة المصدر الخاصة بك من SCM الخاص بك، ويبني المشاريع الخاصة بك، ويعلمك من نتائج الميزات:. بناء أي مشروع: تشغيل الأوامر التعسفية أو استخدام الدعم لنملة ، وجعل أو مخضرم.التحف التقاط...
وإشهد هو بديل لunittest حدة بايثون والأنف.الشهادة وعلى غرار unittest، واختبارات تحريرية لunittest سوف تعمل تحت الشهادة مع حد أدنى من التعديلات، ولكن لديها ميزات وتتجاوز unittest:ونبسب؛ * الإعداد على مستوى الصف واعبا اساسيا teardown الأساليب التي تدار مرة واحدة كل لمجموعة كاملة من طرق الاختبار.ونبسب؛ * النهج القائم على...
وpytest-علامة-بجزيلا هو البرنامج المساعد py.test للتكامل بجزيلا على & nbsp؛ هذا البرنامج المساعد يفترض حاليا سير العمل التالية:bug_status في ['جديد'، 'إسناد'، 'ON_DEV'] يعني هو معروف علة ويجري العمل حاليا على، وبالتالي يجب أن يتم تخطي الاختبار وسيكون.bug_status ليس في ['جديد'،...
وماراثون هو الإطار الذي يقدم الدعم لكافة مكونات جافا / سوينغ، بما في ذلك لغات البرمجة القياسية و [ندش]؛ روبي وبايثون.ويمكن أيضا أن تستخدم لماراثون قياسية واختبار البرامج النصية ويسجل الإجراءات الدلالي على المكونات بدلا من الإجراءات الخام الميزات:. مرنةذكي سيناريو مسجلاختبار استكشافيمستوى البرمجة اللغاتالاعتراف...
وTestLink هو مفتوح المصدر خلقت إدارة testcase على شبكة الإنترنت ونظام تتبع التنفيذ باستخدام PHP و MySQL، والعديد من التقنيات مفتوحة المصدر الأخرى.TestLink تمكن Q & A & نبسب؛ فرق (ضمان الجودة) لإدارة جهد وخلق حالات الاختبار بهم، فضلا عن تنظيمها في خطط الاختبار، والتي تسمح لأعضاء الفريق لتنفيذ حالات الاختبار وحيوي تتبع...
