يجب أن يكون ضمان الجودة واختبار البرمجيات إلى Linux

غار هو البرنامج المساعد الأنف الذي يجمع اختبارات محددة السياق المتطلبات:. ...

والتمساح الاختبارات هو التطبيق الذي يوفر اختبارات للتحقق من وحدة التمساح والتمساح الخفي على Linaro النشرات المتطلبات:. ...

GCViewer هو تطبيق القائمة على أرجوحة أن يتصور مطول الناتج جمع القمامة التي تم إنشاؤها بواسطة IBM وصن جافا نظام رصد السفن (-verbose: GC / -Xloggc: -flags).ويمكن أيضا أن البيانات يتم تصديرها كما CSV لمعالجة forther مع تطبيق جدول البيانات. تصور البيانات يمكن أن تساعد عندما واحد هو ضبط جامع القمامة، وخاصة الأحجام جيل وحجم...

النصي gprof2dot.py يمكن تحويل الإخراج من gprof إلى الرسم البياني نقطة. فإنه يمكن تحليل بشكل صحيح أسماء وظيفة القالب C ++، ويسمح لك لتقليم العقد والحواف دون عتبة معينة، يمكن تحليل يستخدم gprof تدوين خاص للوظائف متكررة بشكل متبادل، يستخدم اللون بكفاءة للفت الانتباه إلى النقاط الساخنة، ويعمل على أي منصة حيث وGNU gprof،...

الجدة هي مجموعة من الأدوات المساعدة لاختبار اندماجي.تعليقات المطورلقد تم العمل بشكل حصري على اختبار البرمجيات لأكثر من خمس سنوات حتى الآن ...حاليا أنا أحاول تقديم الدعم على أساس أفضل جهد. يجب معالجة منتدى للنقاش في حال كان لديك أسئلة، التقارير الشوائب، طلبات الميزة، وما إلى ذلك:...

GUNIT هو إطار وحدة اختبار C بروح JUnit. يشتمل إطار GUNIT واجهة المستخدم الرسومية سهلة الاستخدام على أساس المكتبات GNOME، فضلا عن تقديم الدعم للHildon UI (maemo.org).التركيب:1. `قرص 'إلى الدليل الذي يحتوي على رمز الحزمة مصدر ونوع` ./configure' لتكوين مجموعة لنظامك. إذا كنت تستخدم `csh 'على القديم من نظام V...

HOL قصيرة من العالي بالدفع المنطق هو بيئة البرمجة التي النظريات يمكن ان يثبت وأدوات واقية تنفيذها.يمكن المدمج في إجراءات القرار والبروفر نظرية تؤسس تلقائيا العديد من النظريات بسيطة. آلية أوراكل يتيح الوصول إلى برامج خارجية مثل SAT وBDD المحركات.HOL 4 هو مناسبة خاصة كمنصة لتنفيذ مزيج من خصم والتنفيذ والتحقق من الملكية ...

HOL-TestGen يسمح احد لكتابة مواصفات الاختبار في المنطق العالي النظام (HOL). ويمكن (شبه) تلقائيا تقسيم مساحة المدخلات، مما أدى إلى حالات الاختبار مجردة، وتلقائيا تحديد بيانات اختبار ملموسة.ويدعم الجيل التلقائي من يسخر اختبار (في SML)، واستخدام واجهة لغة أجنبية، ويمكن اختبار تطبيقات باللغات التعسفية (مثل C).HOL-OCL هي...

وimportchecker هو أداة سطر الأوامر لتجد الواردات غير المستخدمة في وحدات بيثون.انتاجها هو "البقرى تشبه" (وبالتالي "ايماكس ودية")، وتقديم التقارير على حد سواء أسماء وحدة وأرقام الأسطر حيث يتم استيراد الأسماء التي لا تستخدم acually في الوحدة النمطية.سوف Importchecker تقم بتعديل أي من الملفات المصدر. ما إذا كان يحتاج...

والتسريب هو، تطبيق المستندة إلى الكسوف التجاري مكتوب بلغة جافا، مما يسمح للمطورين التحكم الكامل جودة هندسة البرمجيات، فضلا عن جودة التصميم.أن تكون قادرة على التعامل مع جافا، C ++ & nbsp؛ و المشاريع C، والهدف الرئيسي من ضخ هو جعل ضمان جودة مشاريع LOC المعقدة أسهل من أي وقت مضى.ضخ هو برنامج عبر منصة وأنه يعمل على لينكس،...