Qualified Code Verification – Code Standards | Using Qualified Tools in a DO-178C Development Process, Part 7
From the series: Using Qualified Tools in a DO-178C Development Process
Showing conformance to source code standards is an objective in DO-178C. Embedded Coder® has the capability to comply with MISRA® C:2012 coding standard. Polyspace Bug Finder™ is a static analysis tool that is used to analyze C source code for either handwritten code or for Embedded Coder generated code. Polyspace Bug Finder is used to verify that the source code conforms to the MISRA C:2012 mandatory coding rules as well as some other categories of rules. Those checks can be run directly from a menu in Simulink® after code generation. The Polyspace Bug Finder also provides the capability to measure code metrics, for example, cyclomatic complexity and comment density. A report indicating pass/fail for each of the MISRA checks and details of the source code metrics will be generated for each source code file. If a non-compliance is found, the report can navigate back to the line of code, as well as to the model element for that code. This report can be provided in various formats, such as Rich Text, Word, HTML or PDF for long-term archiving. The DO Qualification Kit provides the necessary artifacts to qualify automatic standards checking and metrics reporting by Polyspace Bug Finder.
Published: 1 Nov 2017
웹사이트 선택
번역된 콘텐츠를 보고 지역별 이벤트와 혜택을 살펴보려면 웹사이트를 선택하십시오. 현재 계신 지역에 따라 다음 웹사이트를 권장합니다:
또한 다음 목록에서 웹사이트를 선택하실 수도 있습니다.
사이트 성능 최적화 방법
최고의 사이트 성능을 위해 중국 사이트(중국어 또는 영어)를 선택하십시오. 현재 계신 지역에서는 다른 국가의 MathWorks 사이트 방문이 최적화되지 않았습니다.
미주
- América Latina (Español)
- Canada (English)
- United States (English)
유럽
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
아시아 태평양
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)