وdatabene benerator هو إطار لإنشاء بيانات واقعية وصحيحة اختبار كبيرة الحجم، وتستخدم لاختبار (وحدة / التكامل / تحميل) والإعداد يحتذى.يتم استيراد القيود الفوقية من أنظمة و / أو ملفات التكوين. يمكن استيراد البيانات من وتصديرها إلى الملفات وأنظمة، مجهولة المصدر أو المتولدة من نقطة الصفر. توفر حزم النطاق المولدات التي يعاد...
القطعية-dingus هو مجمع بسيط جدا حول المكتبة Dingus لتبسيط التحقق من أن نتيجة اختبار هو نتيجة لاستدعاء الدالة بحجج معينة المتطلبات:. ...
dfuzz هو التلقائي fuzzer التكوين الخفي على & nbsp؛ وبدلا من كونه fuzzer نفسها، dfuzz هو مجمع لfuzzers بسيطة أخرى حل بعض العيوب المشتركة مما يجعل الاختبار الآلي من الصعب بعض الشيء.على الرغم من أن الأهداف الأساسية هي ملفات التكوين، فمن الممكن استخدام dfuzz إلى الزغب أي ملفات الإدخال.المشاكل الرئيسية dfuzz يحل هي:-...
وdingus هو نوع من مثل كائن وهمي. والفرق الرئيسي هو ان لم تقم بإعداد التوقعات في وقت مبكر. يمكنك فقط تشغيل التعليمات البرمجية، وذلك باستخدام dingus في مكان الكائن أو فئة أخرى، وأنه سوف يسجل ما يحدث له. ثم، مرة واحدة وقد مارست التعليمات البرمجية الخاصة بك، يمكنك تقديم تأكيدات حول ما فعلت لdingus.يتم إنشاء dingus جديدة...
تعطيل-docstring هو البرنامج المساعد الأنف الذي يروي unittest عدم استخدام جمل التوثيق اختبار كأسماء اختبار & nbsp؛ يمكنك بدلا من ذلك يستخدم اسم الاختبار نفسه.تثبيت:PIP تثبيت disabledocالاستعمال:nosetests -v --disable-docstring المتطلبات: ...
مشروع DoctorJ هو تطبيق الذي يحلل وثائق جافا للامتثال لمعيار وللتأكد من دقتها ضد رمز، وراء ما جافادوك يفعل.بين ما يكتشف...
أداة DREAM هي إطار عام يهدف إلى توفير مجال الدلالي المشترك الذي يمكن التعبير عن عدة (في الوقت الحقيقي، واستهلاك الطاقة، والموارد) القيود.المجال الدلالي لديه C ++ نموذج قابل للتنفيذ التي تم الراسية غويا لالآلي والشكلية الهجينة. على الرغم من أن نموذج حساب يناظر الآلي والهجينة، حتى الآن نكون قد وفقنا في تحليل النماذج من...
DTest هو إطار اختبار، على غرار حزمة unittest القياسية التي تقدمها بيثون. قيمة إضافة لDTest، ومع ذلك، هو أن تنفيذ الاختبار مترابطة، من خلال استخدام حزمة eventlet. يوفر حزمة DTest أيضا مفهوم "التبعيات" بين الاختبارات والتركيبات اختبار - وبالتالي فإن "D" في "DTest" - التي تضمن اختبارات لا تعمل حتى تعيين مطابقة حتى أكملت...
والتعريف جزءا لا يتجزأ من على حد سواء والبرمجيات الرسومية وسطر الأوامر التي تم إنشاؤها من الألف إلى الياء ليكون بمثابة المنخفضة في سماء المنطقة C ++ التعريف. ويدعم التطبيق من قبل الأجهزة التلقائي لمختلف وظائف مترجم ودعمها على جميع أنظمة التشغيل الرئيسية.يجب عليك استخدام التعريف جزءا لا يتجزأ من لملفك الشخصي C ++ رمز،...
ESC / Java2 هو مدقق ثابت الموسعة للجافا. تلقائيا، بشكل ثابت، ومجزأة بالكشف عن أخطاء البرمجة المشتركة. أسباب ESC / Java2 حول برامج جافا التي (اختياري) شروح مكتوبة في JML ما هو الجديد في هذا الإصدار:. لا توجد أية تغييرات وظيفية رئيسية، ولكن بعض بوجفيكسيس وتنظيف من القائمة الميزات.ويهدف هذا الإصدار النهائي وإصدار...
