LDRA Testbed

LDRA Testbed הוא מוצר תוכנה המכיל מנועי ניתוח קוד סטטי ודינמי הן לשרתים או מחשבי תחנות קצה, והן למערכות משובצות. LDRA Testbed מפותח על ידי LDRA (או Liverpool Data Research Associates).

LDRA Testbed מאפשר לאכוף תאימות עם נוהלי קידוד תקניים, כגון MISRA, JSF++ AV, CERT-C, CWE ומספק נראות של פגמים בתוכנת שעשויים לעבור בדרך כלל לעבור דרך בניית תוכנה ותהליכי בדיקה סטנדרטיים, ולהפוך לבעיות סמויות מתמשכות. בנוסף, הכלי משערך את אפקטיביות הבדיקה באמצעות דיווח ניתוח כיסוי אשר תומך בדרישות של הסטנדרט המחמיר DO-178C, כולל רמה-A.

הערות שוליים 

ערכים שבהם תבנית אתר רשמי אינה מתאימה להוספה אוטומטית
בדיקות תוכנה