בדיקות ואוטומציה

לשחרר בביטחון. לתפוס באגים לפני הלקוחות.

בדיקות איטיות וידניות מעכבות צוותים, והבאגים שמתפספסים מגיעים למשתמשים אמיתיים. אנחנו מקימים בדיקות אוטומטיות ומחברים אותן לפייפליין שלכם, כך שכל שינוי נבדק לבד. אתם משחררים מהר יותר, וישנים טוב יותר.

הסמכת ISO 9001:2015 · כלי כיסוי מאושרי TÜV SÜD · ניסיון בתקני בטיחות (ISO 26262, DO-178C, IEC 62304) · כיסוי MC/DC עד 100%

מה אנחנו עושים.

כל שינוי עובר את כל השכבות. כמעט שום באג לא מגיע ללקוחות.

אוטומציית בדיקות

אנחנו הופכים בדיקות ידניות ואיטיות לבדיקות אוטומטיות שרצות לבד, לתוכנה ולחומרה. פחות עבודה שחורה, יותר כיסוי.

בדיקות unit test

בדיקות סביב כל חלק בקוד, כך שבעיות מתגלות מוקדם, ברמה הקטנה ביותר, במקום מאוחר בשטח.

כיסוי לכיוון 100%

אנחנו עוקבים אחר הכיסוי בשתי דרכים: כמה מהדרישות שלכם מאומתות בבדיקות, וכמה מהקוד מורץ. אתם יודעים בדיוק מה מוכח.

בדיקות רגרסיה ב-CI/CD

הבדיקות רצות אוטומטית על כל שינוי בפייפליין. אם משהו נשבר, אתם יודעים מיד, לא אחרי השחרור.

בדיקות על חומרה אמיתית

בדיקות שרצות מול התקן היעד האמיתי שלכם, לא רק על PC. מה שאתם מאמתים הוא מה שהלקוחות מקבלים.

תשתית וכלים

אנחנו מקימים את מסגרת הבדיקות, המריצים והדוחות, ומשאירים לכם מערכת נקייה וחוזרת שהצוות שלכם יכול להחזיק.

סוגי הבדיקות שאנחנו עושים

אנחנו בודקים בכל רמה, לא רק באחת.

כל רמה עונה על שאלה אחרת. ביחד הן תופסות את הבאגים שרמה אחת הייתה מפספסת.

01

בדיקות unit test

פונקציות ומודולים בודדים, בבידוד.

תופסות בעיות ברמה הקטנה ביותר, מוקדם, ומאתרות את הסיבה.
02

בדיקות אינטגרציה

מודולים שעובדים יחד: ממשקים וזרימת נתונים.

מוצאות את הבאגים שחיים בתפרים בין הרכיבים.
03

בדיקות מערכת

המוצר השלם מול הדרישות שלו, מקצה לקצה.

מוודאות שהוא עושה מה שצריך, כמוצר שלם.
04

בדיקות רגרסיה

ששינויים חדשים לא שברו את מה שכבר עבד.

מאפשרות לשנות קוד בביטחון ולשחרר לעיתים קרובות.

איך אנחנו בודקים

Black-box ו-White-box, ידני ואוטומטי.

אנחנו בודקים משתי זוויות, ומריצים אותן בכל דרך שמתאימה לצוות ולמוצר שלכם.

בדיקות Black-box

נכתבות מתוך הדרישות שלכם, בלי להסתכל בקוד. הן בודקות מה התוכנה אמורה לעשות, ומוכיחות שהמוצר מתנהג כפי שהוגדר. זה מה שמניע את כיסוי הדרישות.

בדיקות White-box

נכתבות מתוך היכרות עם הקוד הפנימי, כדי להגיע למסלולים מסוימים ולהעלות את כיסוי הקוד. הן מוכיחות איך התוכנה עושה את זה, עד רמת ההסתעפות.

אנחנו מספקים אותן כנהלי בדיקה ידניים שהצוות שלכם מריץ, או כבדיקות אוטומטיות שרצות לבד ובתוך פייפליין ה-CI/CD שלכם.

כיסוי

כיסוי, נמדד בשתי דרכים.

שתי שאלות קובעות אם התוכנה שלכם מוכחת: האם כל דרישה מאומתת בבדיקה, והאם הקוד עצמו מורץ. אנחנו מודדים ומדווחים על שתיהן.

כיסוי דרישות

כל דרישה, מוכחת בבדיקה.

כמה מהדרישות שלכם באמת מאומתות. אנחנו עוקבים אחר זה כמספר, לא כתחושה, ומקשרים כל דרישה לבדיקה שמוכיחה אותה.

כל דרישה עקיבה לבדיקה שמאמתת אותה
שלמות האימות נמדדת באחוזים
מטריצת עקיבוּת לביקורות ולבדיקות

כיסוי קוד

וגם הקוד עצמו, ברמה הנכונה.

אנחנו מתאימים את כיסוי הקוד למה שהמוצר שלכם צריך, עם הכלי הנכון לפרויקט.

MC/DC

הרמה המחמירה ביותר, לקוד הקריטי ביותר
Decision

כל הסתעפות נבדקת
Statement

כל שורה מורצת

בין כלי הכיסוי שאנחנו עובדים איתם

Testwell CTC++‎Parasoft C/C++‎testgcovBullseyeCoveragedotCover (C#)

אלה דוגמאות בלבד, לא הרשימה המלאה. אנחנו עובדים עם מה שהפרויקט שלכם צריך.

במבט מקרוב

איך אנחנו מחזקים לכם את הבדיקות.

כל רכיב מוסיף ביטחון בפני עצמו, וביחד הם תופסים את הבאגים שחשובים, מוקדם.

בדיקות unit test

אנחנו מוצאים בעיות ברמה הקטנה ביותר, מוקדם, הרבה לפני שהן מגיעות לשטח. כל פונקציה וכל מודול מקבלים בדיקות משלהם, כך שלבאג אין איפה להתחבא.

בדיקות לכל פונקציה ולכל מודול
Mocking ו-Stubbing לחלקים שקשה להגיע אליהם
כלים כמו Cantata ו-Parasoft C/C++‎test

כיסוי דרישות

לא רק כמה קוד מורץ, אלא כמה מהמפרט מוכח. אנחנו מקשרים כל דרישה לבדיקה שמאמתת אותה, כך שתראו מה מכוסה ומה עוד פתוח.

כל דרישה עקיבה לבדיקה שמאמתת אותה
שלמות האימות נמדדת באחוזים
מטריצת עקיבוּת לביקורות ולהגשות

כיסוי קוד לכיוון 100%

אתם יודעים בדיוק כמה מהקוד הבדיקות מריצות, ושום דבר חשוב לא מתפספס. אנחנו מודדים כיסוי אמיתי ומעלים אותו איפה שזה חשוב.

כיסוי Statement, Decision ו-MC/DC
דוחות ברורים וקריאים
כלי כיסוי כמו Testwell CTC++‎ ו-gcov ל-C/C++‎, ו-dotCover ל-C#

בדיקות רגרסיה ב-CI/CD

כל שינוי נבדק אוטומטית, כך ששבירה נתפסת לפני השחרור, לא על ידי הלקוחות. הצוות מקבל משוב מהיר על כל קומיט.

הקמת פייפליין עם Jenkins או GitHub Actions
הרצת בדיקות אוטומטית על כל שינוי
משוב מהיר ברגע שמשהו נשבר

בדיקות על חומרה אמיתית

אנחנו מאמתים על התקן היעד האמיתי שלכם, לא רק על PC, כך שמה שבדקתם הוא מה שהלקוחות מקבלים.

הרצת בדיקות על גבי החומרה עצמה
קריאת התוצאות בחזרה מההתקן

ניתוח סטטי וארכיטקטורה

אנחנו תופסים באגים בלי להריץ את הקוד ושומרים על מבנה נקי ככל שהוא גדל, כך שהאיכות נשמרת מגרסה לגרסה.

ניתוח סטטי עם Klocwork, Parasoft ו-Axivion
ניתוח ארכיטקטורה עם Lattix ו-Axivion
בדיקות כללי קוד MISRA

מוסמכים ל-ISO 9001:2015. מערכת ניהול איכות מבוקרת, בהיקף פיתוח תוכנה לפי ISO/IEC 90003:2018. לפרטים

אנחנו עובדים עם הכלים שכבר יש לכם.

אנחנו משתלבים במסגרות בדיקה נפוצות, כלי כיסוי ופייפליינים של CI/CD, כך שההקמה מרגישה טבעית לצוות, ולא מודבקת מבחוץ. אלה שלמטה הם דוגמאות בלבד, לא הרשימה המלאה.

בדיקות unit test

CantataParasoft C/C++‎testGoogle TestUnityMSTestxUnitNUnitpytestJUnitJestמסגרות מותאמות

כיסוי

Testwell CTC++‎Parasoft C/C++‎testgcovBullseyeCoveragedotCover (C#)JaCoCo (Java)coverage.py (Python)Istanbul (JS)

ניתוח סטטי

Parasoft C/C++‎testKlocworkAxivion

ניתוח ארכיטקטורה

AxivionLattix

UI ו-E2E

SeleniumAppium

CI/CD

JenkinsGitHub ActionsGitLab CI/CDAzure DevOps

פרויקטי דוגמא

עבודת בדיקות שביצענו.

אימות וֶולידציה למכשיר מושתל, עם דוחות מלאים מוכנים להגשה.

לפרויקט הדוגמא

קושחה, תוכנת זמן-אמת וכל מערך הבדיקות והכלים למכשיר עירוי תרופות מדויק.

לפרויקט הדוגמא

שכבת תקשורת ב-Bluetooth Low Energy (BLE) ב-C, בנויה לרף איכות גבוה ומתועדת להגשה.

לפרויקט הדוגמא

לכל פרויקטי הדוגמא

כבר יש לכם מפתחים?

אתם לא חייבים שנבנה את כל המוצר. הרבה צוותים בונים בעצמם ולוקחים אותנו רק לשכבת הבדיקות והאוטומציה. אנחנו מתחברים לצוות, לקוד ולכלים הקיימים שלכם, מוסיפים את הבדיקות, הכיסוי והפייפליין, ומחזירים לכם, כך שהמפתחים שלכם ממשיכים לזוז.

מה מקבלים

אתם יוצאים עם מערכת שהצוות שלכם יכול להריץ.

כל מה שאנחנו מקימים מתועד ורץ בפייפליין שלכם.

כל בדיקה שאנחנו כותבים: מקרי הבדיקה ודוחות ההרצה שלהם

חבילת בדיקות אוטומטית

דוחות כיסוי שמראים בדיוק מה נבדק

פייפליין CI/CD עובד

תוכנית בדיקות ותיעוד ברור

העברת ידע לצוות שלכם

איך זה עובד

מסלול פשוט, מהתחלה ועד הסוף.

אנחנו מאבחנים, מקימים, משלבים ומעבירים לכם, עם הסבר ברור לצוות.

אבחון

בוחנים את הקוד שלכם, מאתרים את הפערים ומבינים את היעדים.

הקמה

בונים את המסגרת, כותבים את הבדיקות ומודדים כיסוי.

שילוב

מחברים את זה לפייפליין כך שירוץ על כל שינוי.

העברה

מעבירים לכם את הבדיקות, ההקמה והידע, עם הסבר ברור.

וידאו

הצצה קצרה לנובודס.

סרטון החברה הקצר שלנו, מה אנחנו בונים ואיך אנחנו עובדים.

צפו ולמדו

הדגמות והרצאות.

הרצאות והדגמות כלים על בדיקות unit test, כיסוי ואוטומציה.

מרץ 2025

Cantata: ממשק גרפי, שורת פקודה ו-QA MISRA

סיור בממשק הגרפי ובשורת הפקודה של Cantata, יחד עם ניתוח QA MISRA, עם נובודס.

פרקים

0:00 הקדמה
6:08 יצירת סקריפטי בדיקה
32:07 ממשק שורת הפקודה
38:42 ניתוח QA MISRA

יולי 2024

הסבר על כיסוי קוד עם CTC++‎ Testwell

מדידת כיסוי הבדיקות של תוכנת האמבדד שלכם עם CTC++‎ Testwell, מההתקנה ועד דוחות מפורטים.

פרקים

0:00 הקדמה
3:06 אינסטרומנטציה
7:21 סוגי כיסוי
17:03 יצירת דוחות

יוני 2023 עברית

בדיקות תוכנה אמבדד ו-DevOps

איך לשפר משמעותית את איכות תוכנת האמבדד ולשחרר גרסאות מהר יותר: מתודולוגיות, בדיקות unit test ואוטומציה של תהליך הבדיקות.

פרקים

פיתוח תוכנה אמבדד
מהן בדיקות unit test ואיך מיישמים אותן
אוטומציה של תהליך הבדיקות

לכל הוובינרים

White paper

בדיקות ואוטומציה לתוכנה למערכות קריטיות.

קריאה מעמיקה על איך אנחנו בונים בדיקות מהיסוד: הרמות וסוגי הבדיקות, כיסוי דרישות וכיסוי קוד, בדיקות על החומרה האמיתית, CI/CD, ופרויקטי דוגמא אמיתיים.

שאלות

שאלות נפוצות.

אפשר לעבוד עם הקוד והכלים הקיימים שלנו?

כן. אנחנו מתחברים לקוד, למסגרות ולפייפליין שכבר יש לכם. אתם לא צריכים להחליף כלים או לבנות מחדש שום דבר כדי לעבוד איתנו.

אנחנו חייבים להתחייב לטווח ארוך?

לא. הרבה צוותים מתחילים מהקמה ממוקדת, ואז מחליטים אם הם רוצים ליווי מתמשך. בכל מקרה אתם מקבלים מערכת שלמה ומתועדת.

אילו שפות ויעדים אתם תומכים בהם?

אנחנו בודקים על פני כל הסטאק, מהחומרה ועד הענן, ומתאימים את השפה לשכבה. לקושחה ולאמבדד זה C ו-C++‎, שרצים על התקן היעד עצמו, לא רק על סימולטור. לאפליקציות דסקטופ ו-PC, מובייל, web ו-Backend אנחנו עובדים ב-C#, Java, Python ו-JavaScript / TypeScript, בין היתר. אנחנו בוחרים את השפות והכלים הנכונים למוצר שלכם.

אתם רק בודקים, או גם מתקנים באגים?

שניהם. הבדיקות מוצאות את הבעיות, ואנחנו יכולים גם לתקן אותן. המטרה היא תוכנה עובדת עם כיסוי גבוה, לא רק רשימת כשלים.

מה זה בעצם "כיסוי"?

שני דברים, ואנחנו עוקבים אחר שניהם. כיסוי דרישות הוא כמה מהדרישות שלכם מאומתות בבדיקה. כיסוי קוד הוא כמה מהקוד הבדיקות האלה מריצות, נמדד כ-Statement, Decision ובמקרה הצורך MC/DC. כיסוי קוד גבוה לבדו לא מוכיח שהתוכנה עומדת בדרישות, ולכן אנחנו מדווחים על שניהם, מה שחשוב במיוחד בעבודה רגולטורית ובמערכות קריטיות.

של מי הבדיקות וההקמה?

שלכם. חבילת הבדיקות, הפייפליין והתיעוד נשארים אצלכם, ואנחנו מעבירים את הידע כך שהצוות שלכם יוכל להמשיך להריץ אותם.

מי מספק בדיקות ואוטומציית בדיקות לתוכנה אמבדד בישראל?

נובודס מקימה בדיקות ואוטומציית בדיקות לתוכנה למערכות קריטיות, כולל לצוותים שבונים את המוצר בעצמם ולוקחים אותנו רק לשכבת האיכות. אנחנו מתחברים לקוד, למסגרות ולפייפליין הקיימים שלכם.

מה ההבדל בין בדיקות Black-box ל-White-box?

בדיקות Black-box נכתבות מתוך הדרישות, בלי להסתכל בקוד, כדי להוכיח שהתוכנה עושה מה שצריך; זה מניע את כיסוי הדרישות. בדיקות White-box נכתבות מתוך הקוד הפנימי כדי להגיע למסלולים מסוימים ולהעלות את כיסוי הקוד. אנחנו מספקים את שתיהן, ידנית או אוטומטית ב-CI/CD.

אפשר להביא את קוד ה-C/C++‎ האמבדד שלי לכיסוי קוד גבוה?

כן. אנחנו מעלים כיסוי Statement ו-Decision כמה שצריך, ויכולים להגיע ל-100% כיסוי Statement ו-Decision איפה שהפרויקט דורש, נמדד עם כלי C/C++‎ כמו Testwell CTC++‎, Parasoft C/C++‎test, gcov ו-BullseyeCoverage.

האם עבודת הבדיקות שלכם מגובה במערכת איכות מוסמכת?

כן. נובודס מוסמכת לתקן ISO 9001:2015, בביקורת המכון לבקרה ואיכות (IQC), בהיקף שמכסה פיתוח תוכנה לפי ISO/IEC 90003:2018 (תעודה I33807A). עבודת הבדיקות והאימות מתבצעת תחת מערכת ניהול איכות מבוקרת.

באילו כלי בדיקות נובודס עובדת?

אנחנו משתלבים בכלים שכבר יש לכם: Cantata, Parasoft C/C++‎test, Google Test, Unity, MSTest, xUnit ו-NUnit ל-unit testing; Testwell CTC++‎, gcov ו-BullseyeCoverage לכיסוי C/C++‎, dotCover ל-C# וכלים כמו JaCoCo, coverage.py ו-Istanbul ל-Java, Python ו-JavaScript; Klocwork, Parasoft ו-Axivion לניתוח סטטי וארכיטקטורה; Jenkins, GitHub Actions, GitLab CI/CD ו-Azure DevOps לפייפליינים.