Publikasi ini menyajikan transkripsi webinar "Analisis Statis Komprehensif Menggunakan Produk Polyspace" . Webinar ini dilakukan oleh Mikhail Peselnik, seorang insinyur di CITIT Exhibitor ).
Tujuan dari semua pengembangan perangkat lunak dan proses verifikasi adalah untuk memastikan bahwa tidak ada lagi cacat pada perangkat lunak akhir. Mengapa penting untuk memastikan perangkat lunak itu andal? Mari kita pikirkan konsekuensi dan biaya bug perangkat lunak.
Untuk mulai dengan, kami menguraikan poin-poin penting di mana Polyspace dapat membantu Anda dalam konteks proses pengembangan Anda dan tugas-tugas yang Anda lakukan setiap hari.
- Yang pertama adalah pengembangan kode (jika Anda menulis kode baru) dan tinjauan kode (jika Anda menggunakan kembali kode yang ada).
- Yang kedua adalah pengujian unit dan pengujian integrasi, ketika Anda memverifikasi kekokohan aplikasi atau perangkat lunak Anda.
- – , , 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 .
Penulis materinya adalah Mikhail Peselnik, seorang insinyur di CITIT Exhibitor .
Tautan ke webinar ini https://exponenta.ru/events/vsestoronniy-staticheskiy-analiz-s-primeneniem-produktov-polyspace