Bezpieczny kod w oparciu o wytyczne MISRA C
Czas trwania szkolenia:2 dni (16h)
Kod kursu:C/MISRA
Poziom zaawansowania:
Dostępne terminy
Termin:
Trener:
Termin:
Interesuje Cię szkolenie stacjonarne lub nie odpowiada Ci żaden z dostępnych terminów?
Zapytaj o szkolenieO szkoleniu Bezpieczny kod w oparciu o wytyczne MISRA C
W cenie otrzymasz:
- Materiały szkoleniowe
- Certyfikat ukończenia szkolenia
- W przypadku szkolenia w trybie stacjonarnym zapewnimy Ci również lunch oraz sprzęt niezbędny do nauki
Dla kogo?
- Szkolenie adresowane jest do osób znających język C chcących poszerzyć swoje kompetencje i umiejętności w zakresie dobrych praktyk programowania
Wymagania
- Od uczestników szkolenia wymagana jest umiejętność programowania w języku C
- Warunkiem uczestnictwa w szkoleniu jest posiadanie imiennej kopii dokumentu MISRA C:2012 Guidelines for the use of the C language in critical systems
Zalety
- Przegląd dyrektyw i reguł MISRA C:2012 na przykładzie krótkich zadań programistycznych prezentujących ich skuteczność w praktycznej eliminacji np. błędów przemijających lub problemów z przenośnością, wydajnością i stabilnością aplikacji
- Wykorzystanie narzędzi wspomagających walidację aplikacji w zakresie omawianych zaleceń
- Wskazówki służące zapewnieniu zgodności ze standardem w codziennej praktyce inżynierskiej
- Praktyka przed teorią - wszystkie szkolenia technologiczne prowadzone są w formie warsztatowej. Konieczna teoria jest wyjaśniana na przykładzie praktycznych zadań
- Konkretne umiejętności - w ramach każdego szkolenia rozwijamy praktyczne umiejętności związane z daną technologią i tematyką
- Nauka z praktykami - wszyscy trenerzy na co dzień pracują w projektach, gwarantuje to dostęp do eksperckiej wiedzy i praktycznego know-how
Cele szkolenia
- Poznanie dyrektyw i reguł MISRA C:2012 oraz skutków ich naruszeń w praktyce
- Skuteczne wykorzystywanie informacji zwracanych przez narzędzia wspomagające utrzymanie zgodności ze standardem
- Świadomość możliwych skutków lekceważenia dobrych praktyk programowania w języku C
Program
Język C
- Standardy C90, C99 i C11/C18
- Pułapki wynikające ze struktury i charakteru języka
- Przenośność oprogramowania
MISRA C:2012
- Cel stosowania
- Poprawki i aktualizacje wytycznych
- Dyrektywy i reguły
- Klasyfikacja zaleceń (kategorie), zasady ich analizy i stosowania
- Odstępstwa od zasad
Przegląd dyrektyw i reguł MISRA C:2012
- Zasady związane z procesem implementacji
- Środowisko pracy, proces kompilacji/budowania aplikacji i jego parametry
- Struktura kodu, martwy kod, komentarze, standard kodowania
- Typy i obsługa błędów
- Testowalność
- Zarządzanie pamięcią
- Typy danych, identyfikatory, deklaracje, definicje, stałe i literały
- Inicjalizacja zmiennych
- Konwersja typów wskaźnikowych
- Wyrażenia
- Skutki uboczne
- Instrukcje sterujące, kontrola przepływu programu
- Funkcje
- Wskaźniki i tablice
- Dyrektywy preprocesora
- Biblioteki standardowe
- Obsługa zasobów aplikacji
Narzędzia wspomagające
- Kompilator i jego konfiguracja
- Analiza statyczna i dynamiczna
- Przegląd wybranych narzędzi
Inne rekomendacje
- Specyfikacje i raporty techniczne ISO/IEC
- ISO 26262, IEC 61508
- CERT C
- MITRE CWE
- Zalecenia Barr Group
- AUTOSAR Coding Guidelines
Szkolenie poprowadzi jego autor Piotr Nazimek
Jestem absolwentem Wydziału Elektroniki i Technik Informacyjnych Politechniki Warszawskiej. W 2012 roku obroniłem doktorat z obszaru niezawodności systemów komputerowych. Interesuję się szeroko pojętym bezpieczeństwem systemów komputerowych oraz inżynierią oprogramowania. Zawodowo pracuję od 2003 roku. Wolny czas spędzam na wyprawach rowerowych i w górach.
Więcej o mnie »
