LDRA Testbed
| נתונים כלליים | |
|---|---|
| תקופת הפעילות |
1975–הווה (כ־49 שנים)  |
| מיקום המטה |
וויירל |
| ענפי תעשייה |
בדיקות תוכנה |
| מוצרים עיקריים | LDRA Testbed |
|
www | |
  | |
LDRA Testbed הוא מוצר תוכנה המכיל מנועי ניתוח קוד סטטי ודינמי הן לשרתים או מחשבי תחנות קצה, והן למערכות משובצות. LDRA Testbed מפותח על ידי LDRA (או Liverpool Data Research Associates)[1].
LDRA Testbed מאפשר לאכוף תאימות עם נוהלי קידוד תקניים, כגון MISRA, JSF++ AV, CERT-C, CWE ומספק נראות של פגמים בתוכנת שעשויים לעבור בדרך כלל לעבור דרך בניית תוכנה ותהליכי בדיקה סטנדרטיים, ולהפוך לבעיות סמויות מתמשכות. בנוסף, הכלי משערך את אפקטיביות הבדיקה באמצעות דיווח ניתוח כיסוי אשר תומך בדרישות של הסטנדרט המחמיר DO-178C, כולל רמה-A.
הערות שוליים
[עריכת קוד מקור | עריכה]- ^ Hennell, Michael (1978). "Experimental testbed for numerical software". The Computer Journal. נבדק ב-16 באוקטובר 2011.
{{cite web}}: (עזרה)
