باید تضمین کیفیت و تست نرم افزار برای Linux

در کا پلاگین بینی که به ارمغان می آورد آزمون چهار چوب خاص است در مورد نیاز:. ...

در GATOR آزمون برنامه که آزمون را فراهم می کند برای بررسی ماژول GATOR و شبح GATOR در Linaro منتشر شده است مورد نیاز:. ...

(: GC / -Xloggc: -flags -verbose) GCViewer یک برنامه مبتنی بر چرخش است که تجسم طولانی خروجی جمع آوری زباله تولید شده توسط آی بی ام و سان جاوا VM ها است.داده ها نیز می تواند به عنوان CSV برای پردازش forther با یک برنامه صفحه گسترده صادر می شود. تجسم داده ها می تواند کمک کند که یک تنظیم است جمع آوری زباله، به خصوص...

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

مادر بزرگ مجموعه ای از تاسیسات برای تست ترکیبی است.نظرات توسعهدهندهمن شده اند کار به طور انحصاری در نرم افزار تست برای بیش از پنج سال در حال حاضر ...در حال حاضر من سعی می کنم به ارائه پشتیبانی در بهترین اساس تلاش. شما باید در انجمن بحث در مورد رسیدگی به سوالی دارید، گزارش ایرادات، درخواست از ویژگی های، و غیره:...

در GUnit یک چارچوب تست واحد C در روح از JUnit است. چارچوب GUnit دارای برای استفاده آسان رابط کاربری گرافیکی بر اساس کتابخانه GNOME، و همچنین به عنوان پشتیبانی برای Hildon UI (maemo.org).نصب و راه اندازی:1. `سی دی به دایرکتوری حاوی کد منبع بسته و نوع` ./configure 'برای پیکربندی بسته برای سیستم شما. اگر شما با...

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

در HOL-TestGen اجازه می دهد تا یک به ارسال مشخصات آزمون در منطق مرتبه بالاتر (HOL). این می تواند (نیمه) به طور خودکار پارتیشن فضای ورودی، و در نتیجه موارد آزمون انتزاعی، و به طور خودکار داده ها از آزمون بتن را انتخاب کنید.نسل خودکار از محافظ آزمون (در SML) پشتیبانی می شود، و با استفاده از یک رابط زبان خارجی، پیاده...

در importchecker ابزار خط فرمان برای پیدا کردن واردات استفاده نشده در ماژول پایتون است.خروجی آن "-های grep مانند" است (و در نتیجه "ایمکس دوستانه")، گزارش هر دو نام فایل ماژول و شماره خط که در آن نام وارد که acually در ماژول استفاده نمی شود.Importchecker هیچ از فایل های منبع را تغییر دهید. آیا واردات نیاز به برداشته...

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