در گدازه-fastmodels حاوی کد سطح پایین برای مدیریت مدل های سریع در LAVA کنید و.. در حال حاضر آن طراحی شده است برای مدیریت مانت NFS، راه اندازی سیستم فایل ریشه (صادرات بسته ارائه شده به نقطه کوه و برکت آن را با سرعت مدل خاص تغییرات، در صورت لزوم). این همچنین شامل کد برای شروع مدل سریع در زمان اجرا، نظارت بر اجرا و خاموش...

PyUseCase

PyUseCase 3.5.1

در PyUseCase نرم افزار تست GUI برای PyGTK است.تست GUI نگهداری با استفاده از ضبط موردضبط قصد به جای مکانیکراه طبیعی ترین برای ایجاد آزمون از طریق یک رابط کاربری است که به سادگی انجام اقدامات می خواهید به انجام و ابزاری است که می توانید آنها را ضبط و سپس آنها را بعد تولید کنند. این یک راه ساده و سریع برای ایجاد آزمون...

KOJAK

KOJAK 3.3

در KOJAK (کیت برای قضاوت هدف و تشخیص مبتنی بر دانش از عملکرد گلوگاهها) مجموعه ای از اجزاء ابزار عمومی و سازگار طراحی شده برای تجزیه و تحلیل عملکرد از برنامه های موازی است.قابلیت های خود را خطاب به روند تجزیه و تحلیل کل از جمله ابزار دقیق، پس پردازش داده ها عملکرد، و ارائه نتیجه.تاکید خاص بر روی تکنیک های اتوماسیون...

inFusion

inFusion 1.7.2

تزریق، نرم افزار مبتنی بر گرفتگی تجاری نوشته شده در جاوا، اجازه می دهد توسعه دهندگان را به طور کامل کنترل کیفیت معماری نرم افزار، و همچنین به عنوان با کیفیت طراحی شده است.در حال قادر به رسیدگی به جاوا، C ++ & nbsp؛ و پروژه های C، هدف اصلی از تزریق این است که تضمین کیفیت پروژه های LOC پیچیده راحت تر از همیشه.تزریق نرم...

YourKit Java Profiler

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

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

Ahven

Ahven 2.3

در Ahven یک کتابخانه ساده تست واحد (یا یک چارچوب) برای آدا 95 زبان برنامه نویسی است. این پروژه آزادانه پس از JUnit است مدل و برخی از ایده ها از AUnit گرفته شده است.Ahven است نرمافزار آزاد توزیع تحت لیسانس ISC مجاز و باید با هر کامپایلر آدا 95 کار ویژگی ها:. API سادهاندازه کوچک (Ahven 1.2 است 2K خط ارتباطی...

HOL

HOL 7

در HOL کوتاه از عالی منطق مرتبه یک محیط برنامه نویسی است که در آن قضایای می توان ثابت کرد و ابزار اثبات اجرا است.روش تصمیم گیری ساخته شده در و ثابت کننده های نظریه به طور خودکار می تواند ایجاد بسیاری از قضایای ساده است. مکانیسم اوراکل دسترسی به برنامه های خارجی مانند موتورهای SAT و BDD می دهد.HOL 4 به خصوص به عنوان یک...

ContiPerf

ContiPerf 2.3.0

در ContiPerf یک ابزار تست سبک وزن است که کاربر را قادر می سازد تا به راحتی اهرم از JUnit 4 مورد آزمون به عنوان تست عملکرد به عنوان مثال است . برای تست عملکرد مداوم کنید و. این است که توسط JUnit است 4 پیکربندی آزمون آسان با حاشیه نویسی و ایده JUnitPerf از کاغذ بسته بندی تست واحد برای تست عملکرد الهام گرفته، اما قوی تر...