يقدم هذا المنشور نسخة من الندوة عبر الإنترنت "التحليل الثابت الشامل باستخدام منتجات Polyspace" . أجرى الندوة عبر الإنترنت ميخائيل بيسيلنيك ، مهندس في CITIT Exhibitor ).
الهدف من جميع عمليات تطوير البرمجيات والتحقق منها هو التأكد من عدم وجود المزيد من العيوب في البرنامج النهائي. لماذا من المهم التأكد من موثوقية البرنامج؟ دعونا نفكر في العواقب والتكاليف المرتبطة بالأخطاء البرمجية.
بادئ ذي بدء ، نلخص النقاط الرئيسية التي يمكن أن تساعدك بها Polyspace في سياق عملية التطوير والمهام التي تقوم بها يوميًا.
- الأول هو تطوير الكود (إذا كنت تكتب كودًا جديدًا) ومراجعة الكود (إذا كنت تعيد استخدام الكود الحالي).
- والثاني هو اختبار الوحدة واختبار التكامل ، عندما تتحقق من قوة التطبيق أو البرنامج.
- – , , 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 .
مؤلف المادة هو ميخائيل بيسيلنيك ، مهندس في CITIT Exhibitor .
رابط لهذا البرنامج التعليمي على الويب https://exponenta.ru/events/vsestoronniy-staticheskiy-analiz-s-primeneniem-produktov-polyspace