UPPAAL هو بيئة متكاملة لأداة النمذجة، والمصادقة والتحقق من أنظمة الوقت الحقيقي على غرار كشبكات من لدن الموقوتة، وسعت مع أنواع البيانات (الأعداد الصحيحة المحصورة، المصفوفات، وما إلى ذلك).UPPAAL كورا هي فرع من UPPAAL عن التكلفة الأمثل وسائل الأتصال Anslysis التي وضعها فريق UPPAAL كجزء من مشاريع VHS وAMETIST. في حين...
وقوات الحكومة الرواندية هو محاولة تجريبية حاليا في إطار اختبار BDD RSpec سقو لبيثون.في الأساس نهدف اليه في بناء الجملة على طول هذه الخطوط:من قوات الحكومة الرواندية استيراد يصف، فإنهمع وصف ("ذلك الشيء"):على & nbsp؛ @ و("اختبار تنازلي")على & nbsp؛ مواطنه المواصفات (السياق):على & nbsp؛ # رمز اختبار هناعلى & nbsp؛ تأكيد...
وTestLink هو مفتوح المصدر خلقت إدارة testcase على شبكة الإنترنت ونظام تتبع التنفيذ باستخدام PHP و MySQL، والعديد من التقنيات مفتوحة المصدر الأخرى.TestLink تمكن Q & A & نبسب؛ فرق (ضمان الجودة) لإدارة جهد وخلق حالات الاختبار بهم، فضلا عن تنظيمها في خطط الاختبار، والتي تسمح لأعضاء الفريق لتنفيذ حالات الاختبار وحيوي تتبع...
Acovea تنفذ الخوارزمية الجينية من أجل العثور على "أفضل" خيارات لتجميع البرامج مع دول مجلس التعاون الخليجي C و C ++ المجمعين.ACOVEA (تحليل خيارات مترجم عبر التطوري خوارزمية) تنفذ الخوارزمية الجينية للعثور على "أفضل" خيارات لتجميع البرامج مع حكومة الوحدة الوطنية مترجم مجموعة (GCC) C و C ++ المجمعين."أفضل"، في هذا...
ممتاز جدا إطارا اختبار الانحدار نواة لينكس والتي تقدم بطريقة منهجية لإيجاد الانحدار من نواة لينكس.نواة لينكس هي يونكس مثل نواة نظام التشغيل. إنها تحمل الاسم نفسه للأسرة لينكس نظم التشغيل. تم طرحه بموجب ترخيص النسخة جنو العمومية العامة 2 (GLPv2 بشكل) وضعت من قبل المشاركين في جميع أنحاء العالم، لينكس هي واحدة من أبرز...
وJProfiler هو الحائز على جائزة التجارية وعبر منصة الكل في واحد جافا التعريف.لأنه هو مكتوب في جاوة، JProfiler يمكن استخدامها على لينكس، ماك OS & نبسب؛ X & nbsp؛ و أنظمة تشغيل ويندوز الميزات:. التنميط لايف من جلسة المحليةالتنميط المباشر لجلسة عمل بعيدةحاليا التنميطمقارنات لقطة ما هو الجديد في هذا الإصدار: الميزات...
YourKit جافا التعريف هو وحدة المعالجة المركزية والذاكرة التعريف البرمجيات التجارية التي تمكن المستخدمين من حل بسهولة مجموعة واسعة من وحدة المعالجة المركزية والقضايا أداء الذاكرة ذات الصلة.YourKit جافا التعريف يتميز كشف تسرب التلقائي، أدوات قوية لتحليل توزيع الذاكرة، متصفح كومة كائن، اختبارات الذاكرة شاملة كجزء من...
Tcpreplay (TCP (بروتوكول التحكم بالإرسال) الإعادة) هو مفتوح المصدر ومشروع برمجيات حرة نفذت في C ومصممة ليكون بمثابة أداة سطر الأوامر التي تضم العديد من المرافق العامة ل* أنظمة التشغيل نيكس، مما يسمح للمستخدمين لاختبار مجموعة متنوعة من أجهزة الشبكة باستخدام حركة المرور القبض عن طريق مكتبة يببكاب. والبرنامج هو مكتوب في...
pagerunit هو بديل Nagios بسيطة مصنوعة لتبدو وكأنها وحدة الاختبارات.تعليقات المطوروربما هذا هو فكرة سيئة ولكني أردت أن تحصل على شيء على الورق (إذا جاز التعبير) حتى أتمكن من العودة إلى العمل الحقيقي.استعمالتكوين PagerUnit لذلك يمكن ارسال البريد الالكتروني في /etc/pagerunit.cfg أو ~ / .pagerunit.cfg:[البريد]معالجة =...
والتسريب هو، تطبيق المستندة إلى الكسوف التجاري مكتوب بلغة جافا، مما يسمح للمطورين التحكم الكامل جودة هندسة البرمجيات، فضلا عن جودة التصميم.أن تكون قادرة على التعامل مع جافا، C ++ & nbsp؛ و المشاريع C، والهدف الرئيسي من ضخ هو جعل ضمان جودة مشاريع LOC المعقدة أسهل من أي وقت مضى.ضخ هو برنامج عبر منصة وأنه يعمل على لينكس،...
