מוצר · Testwell CTC++
Testwell CTC++,מנתח כיסוי קוד
נובודס היא המפיצה הרשמית של Verifysoft Technology בישראל. אנחנו מספקים לחברות מקומיות גישה ל-Testwell CTC++, מנתח כיסוי קוד עוצמתי, יחד עם תמיכה מקצועית, ייעוץ ואינטגרציה.
“Verifysoft מציעה כלי ניתוח כיסוי קוד מתמחים, חיוניים כדי לוודא שחבילת הבדיקות מכסה את בסיס הקוד במידה מספקת, ובכך משפרת את האמינות והתחזוקתיות של התוכנה.”
נבנה ל-C ול-C++
CTC++ נוצר עבור C ותומך ב-C++ כבר יותר מ-30 שנה, ועומד בקצב התקנים של השפה. הוא מטפל בחלקים של C ו-C++ שמקשים על מדידת כיסוי:
- קוד בקבצי header, מאוחד על פני כל העותקים שלו.
- מאקרו, CTC++ מבצע אינסטרומנטציה לקוד שכבר עבר preprocessing, ולכן רואה את התוכן המלא של המאקרו.
- וריאנטים של בנייה מתוך preprocessing, מזוהים ונמדדים בנפרד, מה שחשוב לפיתוח למערכות קריטיות.
כל מדדי הכיסוי שהתקנים דורשים
- כיסוי פונקציות
- כיסוי Statement
- כיסוי Decision / ענפים
- כיסוי תנאים
- 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.
מוסמכים ל-ISO 9001:2015. מערכת ניהול איכות מבוקרת, בהיקף פיתוח תוכנה לפי ISO/IEC 90003:2018. לפרטים
משתלב באופן שבו אתם כבר בודקים
בדיקות unit test, אינטגרציה או מערכת מלאה, אוטומטיות, חצי-אוטומטיות או ידניות. התוכנית שעברה אינסטרומנטציה כותבת את נתוני הכיסוי לקובץ תוך כדי ריצה.
על מטרות embedded הכתיבה ניתנת להתאמה מלאה, הנתונים יכולים לעבור ישירות ל-host. כל הרצות הבדיקה מתאחדות לדוח אחד, וזה עובד עם כלי בדיקות ה-unit test והמסגרות הנפוצים.
דיווח גמיש
דוח ה-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++.
מה זה Testwell CTC++?
Testwell CTC++ הוא מנתח כיסוי קוד ל-C ו-C++ שמודד עד כמה הבדיקות שלכם מריצות את הקוד, מכיסוי Statement ו-Decision ועד MC/DC לתוכנה קריטית-בטיחות. הוא רץ על ה-host ועל מטרות אמבדד.
האם נובודס היא מפיצה של Testwell CTC++ בישראל?
כן. נובודס היא המפיצה הרשמית של Testwell CTC++ (Verifysoft Technology) בישראל, וגם משתמשת בו יום-יום בעבודת הבדיקות והכיסוי שלה, כך שאתם מקבלים את הרישיון יחד עם צוות שמכיר את הכלי לעומק.
למה להשתמש במנתח כיסוי קוד כמו Testwell CTC++?
מנתח כיסוי הופך את "בדקנו את זה" לעובדה נמדדת, ומראה בדיוק אילו שורות והסתעפויות הבדיקות מגיעות אליהן ומה עדיין לא נבדק. בתוכנה למערכות קריטיות ומוסדרות, הראיה הזו היא חלק מההגשה, לא תוספת נחמדה.
נובודס יכולה לעזור להקים ולתמוך ב-Testwell CTC++?
כן. מעבר לרישיון, אנחנו עוזרים לכם לשלב את CTC++ ב-build וב-CI/CD, להריץ אותו על המטרות האמיתיות שלכם, לפענח את דוחות הכיסוי, ולהעלות את הכיסוי לרמה שהפרויקט דורש.
רוצים שנחזור אליכם?
רוצים להתנסות ב-Testwell CTC++?
קבעו שיחה קצרה להתנסות או להצעת מחיר, נעזור לכם להריץ את זה על הקוד ועל המטרות שלכם.
בקשת התנסות או הצעת מחיר