Esta publicación presenta la transcripción del seminario web "Análisis estático integral con productos Polyspace" . El seminario web fue realizado por Mikhail Peselnik, ingeniero en CITIT Exhibitor )
El objetivo de todos los procesos de desarrollo y verificación de software es asegurarse de que no haya más defectos en el software final. ¿Por qué es importante asegurarse de que el software sea confiable? Pensemos en las consecuencias y los costos de los errores de software.
Para comenzar, describimos los puntos clave en los que Polyspace puede ayudarlo en el contexto de su proceso de desarrollo y las tareas que realiza a diario.
- El primero es el desarrollo del código (si está escribiendo un código nuevo) y la revisión del código (si está reutilizando el código existente).
- El segundo es la prueba de unidad y la prueba de integración, cuando verifica la solidez de su aplicación o software.
- – , , 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 .
El autor del material es Mikhail Peselnik, ingeniero de CITIT Exhibitor .
Enlace a este seminario web https://exponenta.ru/events/vsestoronniy-staticheskiy-analiz-s-primeneniem-produktov-polyspace