トレーニングコース

PSCC: PolySpace によるコード検証

現在、この定期トレーニングは日本では開催されておりません。
オンサイトでのご要望がございましたらtraining@mathworks.co.jp
までお問い合わせください。

(This course is not currently offered in Japanese in a public setting. If you are interested in other courses delivered at your site, please contact training@mathworks.jp).

This two-day course discusses the use of PolySpace® products to prove code correctness, improve software quality metrics, and ensure product integrity. This hands-on course is intended for engineers who develop software or models targeting embedded systems. Topics include:

Creating a verification project
Reviewing and understanding verification results
Emulating target execution environments
Handling missing functions and data
Managing unproven code (color coded in orange by PolySpace products)
Applying MISRA® rules
Reporting

スケジュールの表示と受講申請 上司や同僚に勧める

	コース詳細概要

Day 1 of 2
Introduction	Install course files and go over agenda Overview of The MathWorks Course setup, materials, and logistics"Big picture" view of the course.
PolySpace Verification	Objective: Become familiar with PolySpace software and work through an introductory example. Overview of PolySpace software Verify code using the PolySpace Launcher View results using the PolySpace Viewer Perform remote verification using PolySpace Server™ products
Target Compilation Environment	Objective: Verify code that may not be ANSI C compliant and account for the run-time environment. Common run-time environment artifacts Handling processor-specific code Defining the execution context Setting target hardware information
Target Compilation Environment (Ada)	Objective: Verify code that may not be compliant with the standard Ada language and account for the run-time environment. Common run-time environment artifacts Handling processor-specific code Defining the execution context Setting target hardware information
Analyzing PolySpace Results	Objective: Become proficient with using the PolySpace Viewer and interpreting PolySpace results. Overview of abstract interpretation Using the PolySpace Viewer Analyzing the call tree Navigating through source code Interpreting PolySpace results Execution paths Variable ranges Viewing global variable usage in source code
Function Stubbing and Data Range Specifications	Objective: Learn how PolySpace products treat missing code during verification, and how to affect this behavior to produce more meaningful verifications. Robustness verification and contextual verification Function stubbing Stubbing function inputs Global data range specifications
Function Stubbing and Data Range Specifications (Ada)	Objective: Learn how PolySpace products treat missing code during verification, and how to affect this behavior to produce more meaningful verifications. Robustness verification and contextual verification Function stubbing Stubbing function inputs

Day 2 of 2
Code Verification Checks	Objective: Find run-time errors using diagnostics available in PolySpace products. Overview of C source code checks Location of checks in source code Description of checks Relevant verification options
Code Verification Checks (Ada)	Objective: Find run-time errors using diagnostics available in PolySpace products. Overview of Ada source code checks Location of checks in source code Description of checks Relevant verification options
Managing Oranges	Objective: Handle verification results that contain large amounts of unproven checks (“oranges”). Determining verification effort Performing a quick review (PI controller example) Performing a selective orange review (PI controller example) Setting verification precision Using the Automatic Orange Tester Prioritizing orange checks Reviewing orange checks Using Assistant Mode
Enforcing MISRA C Compliance	Objective: Use the PolySpace Launcher to check for MISRA C® compliance of source code. Overview of the MISRA C coding standard Launching the MISRA C checker Reviewing MISRA C checker results Effects of MISRA C standards on PolySpace verification
Creating Reports	Objective: Generate standard reports from verification results, and learn methods for creating custom reports. Analyzing the results directory Generating reports in Microsoft® Excel® Importing and exporting comments
Contextual Verification	Objective: Review procedures and options that are useful when verifying larger quantities of code. Setting up a contextual verification Improving the results of a contextual verification Comparing robustness and contextual verification

必要条件

Strong knowledge of C, C++, or Ada Products

コース期間 - 2 days

製品・サービス	ソリューション	アカデミック	サポート	ユーザコミュニティ（英語）	会社情報

トレーニング コース

PSCC: PolySpace によるコード検証

必要条件

トレーニングコース