LDRA Testbed
קפיצה לניווט
קפיצה לחיפוש
| נתונים כלליים | |
|---|---|
| מוצרים עיקריים | LDRA Testbed |
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}}: (עזרה)
