בלוג
מדריכי הנדסה
מדריכים מעשיים והדגמות כלים מתוך העבודה שלנו על תוכנה למערכות קריטיות, אמבדד ובטיחותית. הערות יישומיות על תיעוד, ניתוח סטטי, בדיקות unit test, כיסוי קוד וארכיטקטורה, למהנדסים שבונים מוצרים שחייבים לעבוד.
Axivion: ניתוח סטטי וארכיטקטורת קוד
זיהוי בעיות קוד, אכיפת מבנה ומעקב אחר שחיקת הארכיטקטורה לאורך זמן עם Axivion.
לקריאת המאמר
איך Doxygen עוזר לכתוב קוד C/C++ טוב יותר
תיעוד תוך כדי כתיבה חושף בעיות תכנון מוקדם ומבהיר ממשקים.
לקריאת המאמר
בדיקות unit test ל-embedded C עם Parasoft C/C++test
טיפים מעשיים לבדיקות unit test ל-embedded C עם Parasoft C/C++test.
לקריאת המאמר
ממשק גרפי ושורת פקודה של Cantata לבדיקות תוכנה אמבדד
סיור בממשק הגרפי ובשורת הפקודה של Cantata לבדיקות unit test, יחד עם QA MISRA.
לקריאת המאמר
הסבר על כיסוי קוד עם CTC++ Testwell
איך למדוד כיסוי בדיקות בתוכנה אמבדד עם CTC++ Testwell, מאינסטרומנטציה ועד דוחות.
לקריאת המאמר
ניתוח סטטי ל-C ול-C++
איתור באגים ופרצות אבטחה לפני זמן ריצה, על ידי ניתוח אוטומטי של הקוד.
לקריאת המאמר
מבוא ל-Lattix Architect לתוכנה אמבדד
הצגה ובקרה של ארכיטקטורת תוכנת האמבדד באמצעות מטריצת מבנה (DSM).
לקריאת המאמר
תיעוד קוד עם Doxygen
למה תיעוד קוד טוב חשוב, ואיך Doxygen מייצר אותו ישירות מקוד ה-C/C++ שלכם.
לקריאת המאמר
הקמת Lattix Architect מתוך נתוני Parasoft C++test
ייבוא נתוני תלויות מ-Parasoft C++test ל-Lattix Architect ויצירת DSM.
לקריאת המאמר