מוצר · Testwell CTC++
Testwell CTC++ — מנתח כיסוי קוד
נובודס היא המפיצה הרשמית של Verifysoft Technology בישראל. אנחנו מספקים לחברות מקומיות גישה ל-Testwell CTC++ — מנתח כיסוי קוד עוצמתי — יחד עם תמיכה מקצועית, ייעוץ ואינטגרציה.
“Verifysoft מציעה כלי ניתוח כיסוי קוד מתמחים, חיוניים כדי לוודא שחבילת הבדיקות מכסה את בסיס הקוד במידה מספקת — ובכך משפרת את האמינות והתחזוקתיות של התוכנה.”
נבנה ל-C ול-C++
CTC++ נוצר עבור C ותומך ב-C++ כבר יותר מ-30 שנה, ועומד בקצב התקנים של השפה. הוא מטפל בחלקים של C ו-C++ שמקשים על מדידת כיסוי:
- קוד בקבצי header — מאוחד על פני כל העותקים שלו.
- מאקרו — CTC++ מבצע אינסטרומנטציה לקוד שכבר עבר preprocessing, ולכן רואה את התוכן המלא של המאקרו.
- וריאנטים של בנייה מתוך preprocessing — מזוהים ונמדדים בנפרד, מה שחשוב לפיתוח קריטי-בטיחות.
כל מדדי הכיסוי שהתקנים דורשים
- כיסוי פונקציות
- כיסוי שורות (Statement)
- כיסוי החלטות / ענפים
- כיסוי תנאים
- MC/DC — Modified Condition/Decision
- כיסוי Multicondition
שורות שבוצעו, בוצעו חלקית או לא בוצעו — מודגשות ויזואלית בתוך קוד המקור.
מיועד לתוכנה קריטית-בטיחות
כשחיי אדם מונחים על הכף, תקנים כמו ISO 26262 (רכב) ו-DO-178C (תעופה) דורשים מדידת כיסוי קוד. מאות חברות משתמשות ב-CTC++ כדי לעמוד בתקן שלהן עד לרמה הגבוהה ביותר — MC/DC.
מאושר על ידי TÜV SÜD לבטיחות פונקציונלית לפי IEC 61508, ISO 26262, EN 50128 ו-IEC 62304.
משתלב באופן שבו אתם כבר בודקים
בדיקות יחידה, אינטגרציה או מערכת מלאה — אוטומטיות, חצי-אוטומטיות או ידניות. התוכנית שעברה אינסטרומנטציה כותבת את נתוני הכיסוי לקובץ תוך כדי ריצה.
על מטרות משובצות (embedded) הכתיבה ניתנת להתאמה מלאה — הנתונים יכולים לעבור ישירות ל-host. כל הרצות הבדיקה מתאחדות לדוח אחד, וזה עובד עם כלי בדיקות היחידה והמסגרות הנפוצים.
דיווח גמיש
דוח ה-HTML מספק תצוגות סקירה ויורד לפרטי הכיסוי בתוך קוד המקור; רמות הדיווח ניתנות להגדרה לכל פרויקט.
הדוחות מבוססי-תבניות, כך שכל פורמט טקסט עובד — XML, CSV, JSON — להזנת דאשבורדים ומערכות אחרות.
כיסוי חסר מוסבר באמצעות Justifications, כך שברור ושקוף אם 100% מהקוד נבדק — או הוסבר.
בנוי למטרות משובצות (Embedded)
- זיכרון נמוך
- תקורת האינסטרומנטציה נמוכה וניתנת להקטנה נוספת. במקרי קיצון הכיסוי נמדד עד לרמת ביטים בודדים ונקרא דרך ה-debugger.
- נתוני כיסוי
- כל ממשק תקשורת בין המטרה ל-host יכול להעביר את הנתונים. ספריית זמן-הריצה מסופקת כקוד C שניתן להתאים למטרה שלכם.
- Cross-compiler
- בלתי תלוי במהדר וניתן להגדרה לכל מהדר C/C++. אנחנו מספקים תצורות רבות ועוזרים להתאים למהדרים חדשים.
מאושר TÜV SÜD
מעבדת הבדיקות לרכיבי בטיחות של TÜV SÜD Rail GmbH מאשרת ש-Testwell CTC++:
- IEC 61508:2010 — מתאים לפיתוח קריטי-בטיחות, לכל רמת SIL.
- ISO 26262:2018 — מוסמך לתהליך פיתוח תואם-תקן, לכל רמת ASIL.
- EN 50128:2011/A2:2020 — מתאים לפיתוח תוכנה קריטי-בטיחות, לכל רמת SIL.
- IEC 62304:2006+A1:2015 — מתאים לפיתוח קריטי-בטיחות, לכל מחלקת בטיחות תוכנה.
אישור TÜV אומר שהכלי עבר בדיקות עצמאיות קפדניות — ביטחון שאפשר להסתמך עליו בתוך תהליך מוסדר וקריטי-בטיחות.
לצפייה בתעודה המלאה CTC++ בפעולה
הדרכה קצרה על מדידת כיסוי קוד עם Testwell CTC++.
רוצים להתנסות ב-Testwell CTC++?
קבעו שיחה קצרה להתנסות או להצעת מחיר — נעזור לכם להריץ את זה על הקוד ועל המטרות שלכם.