הטוב ביותר אבטחת איכות ובדיקות תוכנה עבור Linux

UPPAAL היא סביבת כלי משולבת לדוגמנות, אימות ואימות של מערכות זמן אמת דגם כמו רשתות של אוטומטים מתוזמן, הרחיבו עם סוגי נתונים (מספרים שלמים חסום, מערכים, וכו ').UPPAAL קורה הוא סניף של UPPAAL לעלות האופטימלית reachability Anslysis פותח על ידי צוות...

rgf הוא ניסיון ניסיוני כיום במסגרת בדיקות BDD RSpec-esque לפייתון.בעיקרון אנחנו מכוונים לתחביר לאורך שורות אלה:מיבוא rgf לתאר, זהעם לתאר ("הדבר הזה"):& Nbsp;it ("יורד מבחן")& Nbsp; def spec (הקשר):& Nbsp; קוד בדיקה # כאן& Nbsp; טוען דברים ()קבצי x_spec.py...

TestLink הוא קוד פתוח מערכת מעקב ביצוע ניהול TestCase מבוסס אינטרנט ונוצרו באמצעות PHP, MySQL, ומספר טכנולוגיות קוד הפתוח אחרות.TestLink מאפשר Q & A & nbsp; (אבטחת איכות) צוותי לנהל בקלות וליצור מקרי המבחן שלהם, כמו גם לארגן אותם לתוכניות בדיקה, המאפשרים...

Acovea מיישם אלגוריתם גנטי למציאת האפשרויות "הטובות ביותר" לעריכת תוכניות עם C GCC ומהדרי ++ C.ACOVEA (ניתוח של מהדר אפשרויות באמצעות אלגוריתם אבולוציונית) מיישם אלגוריתם גנטי כדי למצוא את האפשרויות "הטובות ביותר" לעריכת תוכניות עם C של גני מהדר האוסף...

crackerjack מספק מסגרת מבחן רגרסיה הקרנל של לינוקס שמציעה דרך שיטתית כדי למצוא רגרסיה של הקרנל של לינוקס.הקרנל של לינוקס הוא ליבה של מערכת הפעלה דמוית יוניקס. זה שמו של המשפחה של מערכות הפעלה לינוקס. שוחרר תחת גרסת הרישיון הציבורי הכללי של גני 2 (GPLv2)...

JProfiler הוא כל אחד ב-מאבחן Java עטור פרסים פלטפורמות מסחריות ו.כי זה כתוב ב- Java, JProfiler ניתן להשתמש בלינוקס, Mac OS & nbsp; X & nbsp; ופלטפורמות Windows תכונות :. < li> פרופיל חי של ישיבה מקומית פרופיל חי של הפעלה מרוחקת מנותק פרופיל ...

YourKit Java Profiler הוא תוכנת מעבד והזיכרון Profiler מסחרית המאפשרת למשתמשים לפתור מגוון רחב של מעבד וזיכרון הקשורים לבעיות ביצועים בקלות.YourKit Java Profiler כולל זיהוי אוטומטי דליפה, כלים רבי עוצמה לניתוח של חלוקת זיכרון, דפדפן ערימת אובייקט, מבחני...

Tcpreplay (TCP (Transmission Control Protocol) Replay) הוא קוד פתוח תוכנה חופשית מיושם ב- C ו- נועד לשמש כלי של שורת פקודה כולל מספר כלי עזר עבור * מערכות הפעלה יוניקס המאפשרים למשתמשים כדי לבדוק מגוון של התקני רשת באמצעות תנועה שנתפסו באמצעות הספרייה...

pagerunit היא אלטרנטיבה Nagios פשוטה עשויה להיראות כמו בדיקות יחידה.הערות מפתחיםזה כנראה רעיון רע, אבל אני רוצה לקבל משהו על נייר (כביכול), כדי שאוכל לחזור לעבודה אמיתית. שימוש קביעת תצורה של PagerUnit כך שהוא יכול לשלוח דואר אלקטרוני ב/etc/pagerunit.cfg...

עירוי הוא יישום מסחרי, המבוסס על Eclipse נכתב ב- Java, המאפשר למפתחים לשלוט באופן מלא באיכות ארכיטקטורת תוכנה, כמו גם איכות עיצוב.להיות מסוגל להתמודד עם Java, C ++ & nbsp; ופרויקטי C, המטרה העיקרית של העירוי היא להפוך את בקרת האיכות של פרויקטים מורכבים...