روابط إعلانية:

UPPAAL

UPPAAL 4.0.6

UPPAAL هو بيئة متكاملة لأداة النمذجة، والمصادقة والتحقق من أنظمة الوقت الحقيقي على غرار كشبكات من لدن الموقوتة، وسعت مع أنواع البيانات (الأعداد الصحيحة المحصورة، المصفوفات، وما إلى ذلك).UPPAAL كورا هي فرع من UPPAAL عن التكلفة الأمثل وسائل الأتصال Anslysis التي وضعها فريق UPPAAL كجزء من مشاريع VHS وAMETIST. في حين...

rgf

rgf 0.2.0.1

وقوات الحكومة الرواندية هو محاولة تجريبية حاليا في إطار اختبار BDD RSpec سقو لبيثون.في الأساس نهدف اليه في بناء الجملة على طول هذه الخطوط:من قوات الحكومة الرواندية استيراد يصف، فإنهمع وصف ("ذلك الشيء"):على & nbsp؛ @ و("اختبار تنازلي")على & nbsp؛ مواطنه المواصفات (السياق):على & nbsp؛ # رمز اختبار هناعلى & nbsp؛ تأكيد...

crackerjack

crackerjack 2.0.0

ممتاز جدا إطارا اختبار الانحدار نواة لينكس والتي تقدم بطريقة منهجية لإيجاد الانحدار من نواة لينكس.نواة لينكس هي يونكس مثل نواة نظام التشغيل. إنها تحمل الاسم نفسه للأسرة لينكس نظم التشغيل. تم طرحه بموجب ترخيص النسخة جنو العمومية العامة 2 (GLPv2 بشكل) وضعت من قبل المشاركين في جميع أنحاء العالم، لينكس هي واحدة من أبرز...

TestLink

TestLink 1.9.9

وTestLink هو مفتوح المصدر خلقت إدارة testcase على شبكة الإنترنت ونظام تتبع التنفيذ باستخدام PHP و MySQL، والعديد من التقنيات مفتوحة المصدر الأخرى.TestLink تمكن Q & A & نبسب؛ فرق (ضمان الجودة) لإدارة جهد وخلق حالات الاختبار بهم، فضلا عن تنظيمها في خطط الاختبار، والتي تسمح لأعضاء الفريق لتنفيذ حالات الاختبار وحيوي تتبع...

روابط إعلانية:

JProfiler

JProfiler 8.0.3

وJProfiler هو الحائز على جائزة التجارية وعبر منصة الكل في واحد جافا التعريف.لأنه هو مكتوب في جاوة، JProfiler يمكن استخدامها على لينكس، ماك OS & نبسب؛ X & nbsp؛ و أنظمة تشغيل ويندوز الميزات:. التنميط لايف من جلسة المحليةالتنميط المباشر لجلسة عمل بعيدةحاليا التنميطمقارنات لقطة ما هو الجديد في هذا الإصدار: الميزات...

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 محدث

YourKit جافا التعريف هو وحدة المعالجة المركزية والذاكرة التعريف البرمجيات التجارية التي تمكن المستخدمين من حل بسهولة مجموعة واسعة من وحدة المعالجة المركزية والقضايا أداء الذاكرة ذات الصلة.YourKit جافا التعريف يتميز كشف تسرب التلقائي، أدوات قوية لتحليل توزيع الذاكرة، متصفح كومة كائن، اختبارات الذاكرة شاملة كجزء من...

وdatabene benerator هو إطار لإنشاء بيانات واقعية وصحيحة اختبار كبيرة الحجم، وتستخدم لاختبار (وحدة / التكامل / تحميل) والإعداد يحتذى.يتم استيراد القيود الفوقية من أنظمة و / أو ملفات التكوين. يمكن استيراد البيانات من وتصديرها إلى الملفات وأنظمة، مجهولة المصدر أو المتولدة من نقطة الصفر. توفر حزم النطاق المولدات التي يعاد...

SLAMD

SLAMD 1.8.2

وSLAMD تحميل الموزعة الجيل المحرك (SLAMD) هو تطبيق جافا القائمة مصممة لاختبار الإجهاد وتحليل أداء التطبيقات القائمة على الشبكة. وقد وضعت أصلا من قبل شركة صن مايكروسيستمز، وشركة، ولكن تم الإفراج عنه كتطبيق مفتوح المصدر تحت رخصة صن العامة، والتي هي رخصة مفتوحة المصدر المعتمدة OSI.الموقع الرئيسي للحصول على المعلومات حول...

روابط إعلانية:

وAutobahnTestSuite هو WebSocket مقرها ملتوية / المزج تنفيذ البروتوكول اختبار جناح.يوفر AutobahnTestSuite مجموعة اختبار مؤتمتة بالكامل للتحقق من العميل والخادم تطبيقات بروتوكول WebSocket.سوف جناح اختبار تحقق التنفيذ عن طريق القيام المحادثات الأساسية WebSocket، التحقق من الامتثال بروتوكول اسعة والأداء وحدود...

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