Zaměření online semináře
Využití nástrojů Polyspace pro testování softwaru a analýzu a verifikaci kódu v jazyce C/C++
Nástroje Polyspace nabízejí jednotné řešení pro správu, měření a monitorování kvality softwaru v celém vývojovém cyklu. Poskytují prostředky pro testování a verifikaci kódu, které pomáhají dosáhnout přísných požadavků na bezpečnost, spolehlivost a výkon. Nástroje provádějí testování i statickou analýzu kódu a jsou pomocí formálních metod schopny prokázat nepřítomnost kritických „run-time“ chyb v programu. Formální analýza kódu kontroluje také dodržování pravidel kódování pro bezpečnostní standardy MISRA, generuje metriky kódu, a poskytuje další užitečné informace.
Seminář Vám nabízí neformální virtuální setkání s možností seznámit se s nástroji Polyspace formou praktických ukázek.
Jak se připojit
Pro účast na online semináři vyplňte přihlašovací formulář. Obratem obdržíte informace k připojení.
Program
Úvod do verifikace software a kódu
- přehled metod a postupů využívaných při verifikaci software a kódu
- role analýzy a testování kódu ve vývoji systémů metodou Model-Based Design
Vývoj, správa a spouštění testů C/C++ kódu
- spouštění testů na vývojovém počítači nebo na cílových platformách
- automatizace provádění testů a propojení testů s požadavky
Identifikace softwarových chyb pomocí statické analýzy
- pravidla kódování, bezpečnostní standardy a metriky kódu
- hledání chyb
Formální ověření bez spuštění kódu
- prokázání nepřítomnosti run-time chyb ve zdrojovém kódu C a C++
Závěr, diskuze, otázky
Seminář je určen všem posluchačům, kteří se chtějí formou praktických příkladů seznámit s testováním a analýzou software s využitím nástrojů Polyspace.
Další zdroje informací
Informace
- Polyspace
- Streamlining Compliance to ASPICE, ISO 26262, and ISO/SAE 21434 with Polyspace Static Code Analysis
User Stories
- HL Klemove Improves Code Quality for Advanced Driver-Assistance Systems with Polyspace Bug Finder
- Volvo Cars Software Factory Increases Pace and Quality of Development with Polyspace