Esta publicação apresenta a transcrição do webinar “Análise estática abrangente usando produtos Polyspace” . O webinar foi realizado por Mikhail Peselnik, engenheiro do CITIT Expositor ).
O objetivo de todos os processos de desenvolvimento e verificação de software é garantir que não haja mais defeitos no software final. Por que é importante garantir que o software seja confiável? Vamos pensar nas consequências e nos custos dos bugs de software.
Para começar, descrevemos os pontos-chave nos quais a Polyspace pode ajudá-lo no contexto do seu processo de desenvolvimento e nas tarefas que você realiza diariamente.
- O primeiro é o desenvolvimento do código (se você estiver escrevendo um novo código) e a revisão do código (se você estiver reutilizando o código existente).
- O segundo é o teste de unidade e o teste de integração, quando você verifica a robustez do seu aplicativo ou 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 .
O autor do material é Mikhail Peselnik, engenheiro do Expositor CITIT .
Link para este webinar https://exponenta.ru/events/vsestoronniy-staticheskiy-analiz-s-primeneniem-produktov-polyspace