קישורים ממומנים:

UPPAAL

UPPAAL 4.0.6

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

rgf

rgf 0.2.0.1

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

crackerjack

crackerjack 2.0.0

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

TestLink

TestLink 1.9.9

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

קישורים ממומנים:

JProfiler

JProfiler 8.0.3

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

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 מעודכן

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

databene benerator היא מסגרת ליצירת נתונים מציאותיים ותקפים בנפח גבוה בדיקה, המשמשים לבדיקה (יחידה / אינטגרציה / עומס) והתקנת חלון ראווה.אילוצי Metadata מיובאים ממערכות ו / או קבצי תצורה. ניתן לייבא נתונים וממיוצאים לקבצים ומערכות, אנונימי או שנוצרו...

SLAMD

SLAMD 1.8.2

Load Distributed דור מנוע SLAMD (SLAMD) הוא יישום מבוסס ג'אווה המיועד לבדיקת לחץ וניתוח ביצועים של יישומים מבוססי רשת. זה פותח במקור על ידי Sun Microsystems, Inc, אבל זה כבר פורסם כיישום קוד פתוח תחת הרישיון הציבורי שמש, אשר הוא רישיון קוד פתוח שאושר...

קישורים ממומנים:

AutobahnTestSuite הוא WebSocket מבוסס Twisted / חבילת בדיקות יישום פרוטוקול WAMP.AutobahnTestSuite מספק חבילת בדיקות אוטומטית לחלוטין כדי לאמת את יישומי השרת ולקוח של פרוטוקול WebSocket.חבילת הבדיקות תבדוק יישום על ידי עושה שיחות בסיסיות WebSocket, אימות...

תסריט gprof2dot.py יכול להמיר את הפלט מgprof לגרף נקודה. זה נכון יכול לנתח שמות פונקצית תבנית ++ C, מאפשר לך לגזום צמתים וקצוות מתחת לסף מסוים, יכול לנתח gprof הסימון המיוחד משתמש בפונקציות הדדיות רקורסיבית, משתמש בצבע ביעילות למשוך תשומת לב לנקודות חמות,...