Metody weryfikacji kodu w celu standaryzacji jakości oprogramowania

Metody weryfikacji kodu w celu standaryzacji jakości oprogramowania

Które narzędzia MathWorks przeznaczone są do weryfikacji?

Produkty z rodziny Polyspace służące do przeprowadzania weryfikacji kodu z użyciem metod formalnych znacznie ułatwiają oraz przyspieszają te prace. Podczas webinarium zostaną zaprezentowane metody weryfikacji kodu na platformy wbudowane jak i również sposoby zapewnienia wysokiej jakości kodu w całym procesie wdrażania.

Tematyka webinarium obejmuje metody weryfikacji kodu pod kątem bezpieczeństwa na platformy wbudowane oraz zagadnienia zapewnienia jakości oprogramowania w łańcuchu produkcyjnym.

Autor webinarium: Alexandre Langenieux

Czas trwania: 59 min