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.
![](https://habrastorage.org/webt/2a/aj/vx/2aajvxqwfi9qsl39c_nmmqhutzi.png)
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 .
![](https://habrastorage.org/webt/i4/bg/rs/i4bgrsdpmo5_qdm-sl_fcgyfi7k.png)
. , . , .
.
![](https://habrastorage.org/webt/07/jb/2y/07jb2ytqpms0gjrkurjsbkyd8he.png)
. Ariane 5. , , .
![](https://habrastorage.org/webt/x0/o4/ca/x0o4cahgs8ezhugdq_bqtvq9x1c.png)
. – USS Yorktown, - , .
![](https://habrastorage.org/webt/as/y1/du/asy1du-yzimu571b4pwq5ijqbsk.png)
. , - Therac-25. , . .
?
, . IBM , 40% , – .
, 33% , 1999 2005 , - .
, .
, , . , .
. , . , 30% .
, , , . , , .
Polyspace – , , , , , , . .
Polyspace . .
![](https://habrastorage.org/webt/it/x8/xt/itx8xtxij90-aa2tqjkunjfy420.png)
, . , . , , Polyspace , , Polyspace.
Polyspace , . , . , .
![](https://habrastorage.org/webt/sz/g_/tk/szg_tkjqfnts3_yat0wqas7uqbg.png)
, , 21 , .
, :
- .
- .
- , .
, , , . , ?
, . , 4.61 10 18 ! – , 32. , , 339 .
, .
![](https://habrastorage.org/webt/d3/br/fp/d3brfpgj9i3tliaglej0x-bm9jc.png)
Polyspace. , ++ .
![](https://habrastorage.org/webt/z6/kq/fo/z6kqfozjk1s0xsyupciq08grbmc.png)
Polyspace , .
![](https://habrastorage.org/webt/cv/sy/ev/cvsyevpvfr-l19abvr8vfxtrkiw.png)
, , . , , . , . , , , , , , . , .
![](https://habrastorage.org/webt/xf/ia/qg/xfiaqg09exrr9h576sodqkkozxk.png)
– .. , , .
![](https://habrastorage.org/webt/qn/_c/be/qn_cbe1wcbyj1yzgb0b6skyha7k.png)
.
![](https://habrastorage.org/webt/z0/y3/pf/z0y3pfebhx_0fmnhzqkbzrprj2a.png)
, . , .
![](https://habrastorage.org/webt/wh/ep/nu/whepnueesupuerbtipk0txi7ijg.png)
– , MISRA-C/C++
JSF++.
![](https://habrastorage.org/webt/pv/2x/oo/pv2xoosudcgtkd2_xvvv_1ee4go.png)
, . , , , .
Polyspace , . Polyspace , . , .
Polyspace , .
, .
– - .
Polyspace , . , Polyspace . , Polyspace, , , .
– , . , . , , Polyspace .
. . . , . ? . , .
MISRA – .
JSF .
![](https://habrastorage.org/webt/yv/iw/__/yviw__fycakohbrp2bov2xn56zg.png)
Polyspace MISRA , . MISRA AC AGC – MISRA Polyspace. , – , .
Polyspace , , , , , . , . , Polyspace , .
![](https://habrastorage.org/webt/eo/kg/-k/eokg-k9g-8kx7i1wz13e1xoepfu.png)
, Polyspace.
- – , , ..
- – , , null pointer.
- – , .
- , .
, Polyspace - , Simulink Embedded Coder, Target Link IBM Rhapsody. Polyspace .
, . S-, .. , . – , . , .
, , , Polyspace.
![](https://habrastorage.org/webt/hd/tu/cg/hdtucg1utijagqazrpbbsrn32h0.png)
Polyspace - , .
![](https://habrastorage.org/webt/ju/lg/jr/julgjrhdrf3qh6dfaljc6klsd0y.png)
, , DO-178 IEC. , , - .
, , Polyspace .
![](https://habrastorage.org/webt/ko/9s/bz/ko9sbzsbqjgjtxhaeysfbrtipc4.png)
. , , . , . , , , , . , , , . , Run – Run Report. , .
, , DO, IEC .
![](https://habrastorage.org/webt/o4/dj/aj/o4djajz_ecr-hd56ma-2pqlyvvq.png)
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 .
![](https://habrastorage.org/webt/ov/cq/2t/ovcq2t8-zafiwaij-tkyhldyz5u.png)
, IEC 62304 , IEC 61508 , .
, Polyspace Polyspace Code Prover, .
Polyspace Bug Finder .
![](https://habrastorage.org/webt/qe/yi/g5/qeyig5ubbgg0edfe_plmofrcrfk.png)
, , Polyspace . , . , . .
, Polyspace.
![](https://habrastorage.org/webt/e1/pw/ah/e1pwahiqxm6dtwzffv4ha0-rhwu.png)
Elektrobit – Polyspace AUTOSAR. , Polyspace, , ISO26262.
![](https://habrastorage.org/webt/r1/to/ws/r1towsprmsj09redfdhj8tnfoou.png)
Nissan Polyspace , . . Nissan Polyspace , , .
![](https://habrastorage.org/webt/dp/un/ov/dpunovfzg5weafae-cn-ghqa22u.png)
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