Cette publication présente la transcription du webinaire «Analyse statique complète utilisant des produits Polyspace» . Le webinaire a été dirigé par Mikhail Peselnik, ingénieur chez CITIT Exhibitor ).
L'objectif de tous les processus de développement et de vérification de logiciels est de s'assurer qu'il n'y a plus de défauts dans le logiciel final. Pourquoi est-il important de s'assurer que le logiciel est fiable? Réfléchissons aux conséquences et aux coûts des bogues logiciels.
Pour commencer, nous décrivons les points clés auxquels Polyspace peut vous aider dans le contexte de votre processus de développement et des tâches que vous effectuez quotidiennement.
- Le premier est le développement du code (si vous écrivez du nouveau code) et la révision du code (si vous réutilisez le code existant).
- Le second est le test unitaire et le test d'intégration, lorsque vous vérifiez la robustesse de votre application ou de votre logiciel.
- – , , DO, IEC .
. , . , .
.
. Ariane 5. , , .
. – USS Yorktown, - , .
. , - Therac-25. , . .
?
, . IBM , 40% , – .
, 33% , 1999 2005 , - .
, .
, , . , .
. , . , 30% .
, , , . , , .
Polyspace – , , , , , , . .
Polyspace . .
, . , . , , Polyspace , , Polyspace.
Polyspace , . , . , .
, , 21 , .
, :
- .
- .
- , .
, , , . , ?
, . , 4.61 10 18 ! – , 32. , , 339 .
, .
Polyspace. , ++ .
Polyspace , .
, , . , , . , . , , , , , , . , .
– .. , , .
.
, . , .
– , MISRA-C/C++
JSF++.
, . , , , .
Polyspace , . Polyspace , . , .
Polyspace , .
, .
– - .
Polyspace , . , Polyspace . , Polyspace, , , .
– , . , . , , Polyspace .
. . . , . ? . , .
MISRA – .
JSF .
Polyspace MISRA , . MISRA AC AGC – MISRA Polyspace. , – , .
Polyspace , , , , , . , . , Polyspace , .
, Polyspace.
- – , , ..
- – , , null pointer.
- – , .
- , .
, Polyspace - , Simulink Embedded Coder, Target Link IBM Rhapsody. Polyspace .
, . S-, .. , . – , . , .
, , , Polyspace.
Polyspace - , .
, , DO-178 IEC. , , - .
, , Polyspace .
. , , . , . , , , , . , , , . , Run – Run Report. , .
, , DO, IEC .
Polyspace DO-178, MathWorks DO Qualification Kit – , , , Polyspace , DO-178B/C, DO-254 .
, , . , .
, IEC Certification Kit, , TUV SUD .
IEC 61508 , , ISO 26262 , EN 50128 IEC 62304 .
, IEC 62304 , IEC 61508 , .
, Polyspace Polyspace Code Prover, .
Polyspace Bug Finder .
, , Polyspace . , . , . .
, Polyspace.
Elektrobit – Polyspace AUTOSAR. , Polyspace, , ISO26262.
Nissan Polyspace , . . Nissan Polyspace , , .
Alenia DO-178 Polyspace .
L'auteur du matériel est Mikhail Peselnik, ingénieur chez CITIT Exhibitor .
Lien vers ce webinaire https://exponenta.ru/events/vsestoronniy-staticheskiy-analiz-s-primeneniem-produktov-polyspace