정형 기법을 활용한 AUTOSAR SWC의 구현 확인 및 정적 분석
AUTOSAR기반의 소프트웨어 컴포넌트(SWC)의 개발은 ARXML의 사양에 맞게 개발해야 합니다. 이를 확인하기 위해서는 수작업으로 확인을 해야 하며, 주어진 범위내에서 설정된 범위의 값이 리턴되는지는 확인하기가 힘듭니다.
Polyspace® 제품군은 AUTOSAR SWC가 ARXML에 부합되게 개발되었는지 확인할 수 있으며, 코딩룰(MISRA C®:2004, MISRA C:2012), 시큐어 코딩(ISO 17961, CERT C®/C++, CWE), 코드 메트릭, 그리고 실행시간 오류도 동시에 체크할 수 있습니다. 이번 세션에서는 Polyspace 제품군으로 이러한 작업을 할 수 있는 방법을 소개합니다.
녹화된 날짜: 2018년 9월 19일
Seleziona un sito web
Seleziona un sito web per visualizzare contenuto tradotto dove disponibile e vedere eventi e offerte locali. In base alla tua area geografica, ti consigliamo di selezionare: .
Puoi anche selezionare un sito web dal seguente elenco:
Come ottenere le migliori prestazioni del sito
Per ottenere le migliori prestazioni del sito, seleziona il sito cinese (in cinese o in inglese). I siti MathWorks per gli altri paesi non sono ottimizzati per essere visitati dalla tua area geografica.
Americhe
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- 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)
Asia-Pacifico
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)