تبلیغات:

UPPAAL

UPPAAL 4.0.6

در UPPAAL یک محیط یکپارچه ابزار برای مدل سازی، اعتبار سنجی و تحقیق سیستم های زمان واقعی مدل به عنوان شبکه های اتوماتیک بهنگام، تمدید با انواع داده (اعداد صحیح محدود، آرایه، و غیره) می باشد.UPPAAL کورا شاخه ای از UPPAAL برای هزینه بهینه قابل دسترسی Anslysis توسط تیم UPPAAL به عنوان بخشی از پروژه های VHS و AMETIST توسعه...

rgf

rgf 0.2.0.1

در rgf تلاش در حال حاضر تجربی در چارچوب RSpec-esque تست BDD برای پایتون است.در واقع ما برای هدف نحو در امتداد این خطوط:از واردات rgf توصیف، آنبا توصیف ("چیزی که"):& nbsp؛ درit ("محصول تست")و nbsp؛ دف تنظیمات (زمینه):# کد آزمون اینجا؛ کلیک کنید و& nbsp؛ از ادعا مسائل ()فایل های x_spec.py در یک ساختار دایرکتوری به زیر،...

crackerjack

crackerjack 2.0.0

ادم رگرسیون کرنل لینوکس چارچوب آزمون ارائه می دهد که یک روش سیستماتیک برای پیدا کردن یک رگرسیون از هسته لینوکس را فراهم می کند.هسته لینوکس یک هسته سیستم عامل شبه یونیکس است. این اسم از خانواده لینوکس سیستم عامل است. منتشر تحت نسخه مجوز عمومی کلی گنو 2 (GPLv2) و توسعه یافته توسط شرکت کنندگان در سراسر جهان، لینوکس یکی...

TestLink

TestLink 1.9.9

در TestLink منبع باز مدیریت testcase مبتنی بر وب و اجرای سیستم ردیابی ایجاد شده با استفاده از پی اچ پی، خروجی، و چندین فن آوری های منبع باز دیگر است.TestLink را قادر می سازد Q & A & nbsp؛ در (تضمین کیفیت) تیم ها را به زحمت مدیریت و ایجاد موارد آزمون خود را، و همچنین به عنوان آنها را سازماندهی به برنامه آزمون، که اجازه...

تبلیغات:

JProfiler

JProfiler 8.0.3

در JProfiler تجاری و کراس پلت فرم برنده جایزه همه در یک پیشفیلتر جاوا است.X و nbsp؛ زیرا در جاوا نوشته شده است، JProfiler را می توان در لینوکس، سیستم عامل مک و nbsp استفاده می شود و سیستم عامل ویندوز ویژگی ها:. پروفایل زنده از یک جلسه محلیپروفایل زنده از یک جلسه از راه دورآفلاین پروفایلمقایسه عکس فوری چه جدید در...

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 به روز شده

در YourKit جاوا نیمرخ CPU و حافظه پیشفیلتر نرم افزار تجاری را قادر می سازد که کاربران به راحتی حل طیف گسترده ای از CPU و مسائل مربوط به عملکرد حافظه مربوط است.YourKit جاوا نیمرخ ویژگی های تشخیص نشت خودکار، ابزار قدرتمند برای تجزیه و تحلیل توزیع حافظه، یک مرورگر پشته شی، آزمون حافظه جامع به عنوان بخشی از فرایند آزمایش...

در databene benerator یک چارچوب برای ایجاد داده ها از آزمون با حجم بالا واقعی و معتبر، مورد استفاده برای تست (واحد / ادغام / بار) و راه اندازی ویترین است.محدودیت های متاداده از سیستم ها و / یا فایل های پیکربندی وارد شده است. اطلاعات را می توان از وارداتی و صادراتی به فایل ها و سیستم ها، ناشناخته و یا تولید از ابتدا....

SLAMD

SLAMD 1.8.2

در SLAMD بار تولید پراکنده موتور (SLAMD) یک برنامه مبتنی بر جاوا طراحی شده برای تست استرس و تجزیه و تحلیل عملکرد برنامه های کاربردی مبتنی بر شبکه است. این روش در اصل توسط Sun Microsystems، شرکت توسعه داده شد، اما آن را به عنوان یک نرم افزار منبع باز است که تحت مجوز یکشنبه عمومی است که مجوز منبع باز OSI تایید منتشر...

تبلیغات:

در AutobahnTestSuite WebSocket بر اساس پیچ خورده / WAMP اجرای پروتکل مجموعه تست است.AutobahnTestSuite مجموعه تست به طور کامل خودکار به منظور بررسی مشتری و سرور پیاده سازی پروتکل WebSocket را فراهم می کند.مجموعه تست خواهد پیاده سازی شده توسط انجام مکالمات عمومی WebSocket، تأیید گسترده انطباق پروتکل و عملکرد و تست...

اسکریپت gprof2dot.py می توانید خروجی از gprof به یک گراف نقطه تبدیل کنید. آن را به درستی می تواند نام تابع الگو C ++ تجزیه، اجازه می دهد تا شما را به گره ها و لبه های هرس زیر یک آستانه خاص، می تواند تجزیه gprof نماد خاص استفاده می کند برای توابع متقابل بازگشتی، با استفاده از رنگ موثر برای جلب توجه به نقاط داغ، و بر...