در UPPAAL یک محیط یکپارچه ابزار برای مدل سازی، اعتبار سنجی و تحقیق سیستم های زمان واقعی مدل به عنوان شبکه های اتوماتیک بهنگام، تمدید با انواع داده (اعداد صحیح محدود، آرایه، و غیره) می باشد.UPPAAL کورا شاخه ای از UPPAAL برای هزینه بهینه قابل دسترسی Anslysis توسط تیم UPPAAL به عنوان بخشی از پروژه های VHS و AMETIST توسعه...
در rgf تلاش در حال حاضر تجربی در چارچوب RSpec-esque تست BDD برای پایتون است.در واقع ما برای هدف نحو در امتداد این خطوط:از واردات rgf توصیف، آنبا توصیف ("چیزی که"):& nbsp؛ درit ("محصول تست")و nbsp؛ دف تنظیمات (زمینه):# کد آزمون اینجا؛ کلیک کنید و& nbsp؛ از ادعا مسائل ()فایل های x_spec.py در یک ساختار دایرکتوری به زیر،...
در TestLink منبع باز مدیریت testcase مبتنی بر وب و اجرای سیستم ردیابی ایجاد شده با استفاده از پی اچ پی، خروجی، و چندین فن آوری های منبع باز دیگر است.TestLink را قادر می سازد Q & A & nbsp؛ در (تضمین کیفیت) تیم ها را به زحمت مدیریت و ایجاد موارد آزمون خود را، و همچنین به عنوان آنها را سازماندهی به برنامه آزمون، که اجازه...
در Acovea پیاده سازی الگوریتم ژنتیک برای پیدا کردن "بهترین" گزینه برای کامپایل برنامه با شورای همکاری خلیج فارس C و C ++ کامپایلر.ACOVEA (تجزیه و تحلیل گزینه های کامپایلر از طریق الگوریتم تکاملی) پیاده سازی الگوریتم ژنتیک برای پیدا کردن "بهترین" گزینه برای کامپایل برنامه با جیسیسی (GCC) C و کامپایلر C ++."بهترین"، در...
ادم رگرسیون کرنل لینوکس چارچوب آزمون ارائه می دهد که یک روش سیستماتیک برای پیدا کردن یک رگرسیون از هسته لینوکس را فراهم می کند.هسته لینوکس یک هسته سیستم عامل شبه یونیکس است. این اسم از خانواده لینوکس سیستم عامل است. منتشر تحت نسخه مجوز عمومی کلی گنو 2 (GPLv2) و توسعه یافته توسط شرکت کنندگان در سراسر جهان، لینوکس یکی...
در JProfiler تجاری و کراس پلت فرم برنده جایزه همه در یک پیشفیلتر جاوا است.X و nbsp؛ زیرا در جاوا نوشته شده است، JProfiler را می توان در لینوکس، سیستم عامل مک و nbsp استفاده می شود و سیستم عامل ویندوز ویژگی ها:. پروفایل زنده از یک جلسه محلیپروفایل زنده از یک جلسه از راه دورآفلاین پروفایلمقایسه عکس فوری چه جدید در...
در YourKit جاوا نیمرخ CPU و حافظه پیشفیلتر نرم افزار تجاری را قادر می سازد که کاربران به راحتی حل طیف گسترده ای از CPU و مسائل مربوط به عملکرد حافظه مربوط است.YourKit جاوا نیمرخ ویژگی های تشخیص نشت خودکار، ابزار قدرتمند برای تجزیه و تحلیل توزیع حافظه، یک مرورگر پشته شی، آزمون حافظه جامع به عنوان بخشی از فرایند آزمایش...
Tcpreplay (TCP (پروتکل کنترل انتقال) پخش) متن باز و نرم افزار پروژه رایگان اجرا در C و طراحی به عنوان یک ابزار خط فرمان است که شامل چند آب و برق برای * سیستم عامل NIX، کاربران اجازه می دهد عمل می کنند برای تست انواع دستگاه های شبکه با استفاده از ترافیک در شبکه از طریق کتابخانه libpcap. در این برنامه در زبان برنامه...
در pagerunit یک جایگزین ساده Nagios در ساخته شده به مانند آزمون واحد نگاه است.نظرات توسعهدهندهاین است که احتمالا یک ایده بد اما من می خواستم به چیزی بر روی کاغذ (به عنوان آن بود) بنابراین من می تواند به بازگشت به کار واقعی دریافت کنید.استفادهپیکربندی PagerUnit پس از آن می توانید ایمیل در /etc/pagerunit.cfg ارسال و یا...
تزریق، نرم افزار مبتنی بر گرفتگی تجاری نوشته شده در جاوا، اجازه می دهد توسعه دهندگان را به طور کامل کنترل کیفیت معماری نرم افزار، و همچنین به عنوان با کیفیت طراحی شده است.در حال قادر به رسیدگی به جاوا، C ++ & nbsp؛ و پروژه های C، هدف اصلی از تزریق این است که تضمین کیفیت پروژه های LOC پیچیده راحت تر از همیشه.تزریق نرم...
