정형 기법을 활용한 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일
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- 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 Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)