该出版物介绍了网络研讨会“使用Polyspace产品的综合静态分析”的抄录。网络研讨会由CITIT Exhibitor的工程师Mikhail Peselnik 主持)
所有软件开发和验证过程的目标是确保最终软件中没有更多缺陷。为什么确保软件可靠很重要?让我们考虑一下与软件错误相关的后果和成本。
![](https://habrastorage.org/webt/2a/aj/vx/2aajvxqwfi9qsl39c_nmmqhutzi.png)
首先,我们概述了Polyspace可以在开发过程和日常执行的任务中为您提供帮助的关键点。
- 首先是代码开发(如果您正在编写新代码)和代码审查(如果您正在重用现有代码)。
- 第二个是当您验证应用程序或软件的健壮性时的单元测试和集成测试。
- – , , 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 .
该材料的作者是米哈伊尔Peselnik,在工程师CITIT参展商。
链接到此网络研讨会 https://exponenta.ru/events/vsestoronniy-staticheskiy-analiz-s-primeneniem-produktov-polyspace