확인 및 검증 시작하기

예제, 기술 칼럼 및 튜토리얼을 살펴보세요.

시작하기 예제

이 예제 워크플로를 통해 Simulink를 사용하여 요구사항 기반의 체계적인 테스트를 시작하는 방법을 배울 수 있습니다.

GitHub

이 예제에서는 설계자가 MathWorks의 모델 확인 및 검증 도구 사용을 시작하는 방법을 다룹니다. Simulink에서 요구사항을 관리 및 조회하고 모델링 표준의 준수 여부를 검사하고, 런타임 오류가 있는지 확인하는 방법을 안내합니다. 예제에서는 Simulink Requirements, Simulink Check 및 Simulink Design Verifier를 사용합니다.

GitHub

요구사항 추적성 및 분석

Simulink Requirements를 사용하면 Simulink 내에서 요구사항을 작성하고 가져오고 관리할 수 있으며, 요구사항의 구현 및 검증 상태를 추적하고 요구사항 변경에 신속하게 대응할 수 있습니다.

비디오

Simulink Test 및 Simulink Requirements가 있으면 Test Manager에서 요구사항을 테스트 케이스에 연결할 수 있습니다. 테스트에 연결하면 요구사항이 테스트에서 어떻게 확인되는지 볼 수 있습니다.

문서

Simulink Test를 사용한 테스트를 위해 시간적 평가를 작성하여 복잡한 시종속 요구 사항을 검증합니다. 분명한 의미를 갖는 자연어 형식을 사용하여 평가를 지정할 수 있습니다.

비디오

기능 테스트

Simulink Test를 사용하여 시뮬레이션 기반 테스트를 개발, 관리 및 실행합니다.

비디오

이 칼럼에서는 triplex selection 알고리즘을 예로 사용하여 요구사항 기반 테스트 중 누락된 요구사항을 식별하기 위해 모델 테스트 커버리지를 사용하는 방법을 다룹니다.

기술 칼럼

Simulink Coverage를 사용하여 모델 및 생성된 코드의 테스트 커버리지를 측정할 수 있습니다.

비디오

Embedded Coder 및 Simulink Coverage가 있으면 SIL(Software-in-the-Loop) 또는 PIL(Processor-in-the-Loop) 시뮬레이션 중 생성된 코드에 대한 커버리지를 분석할 수 있습니다.

문서

Simulink Design Verifier의 모델 슬라이더 기능을 사용하여 기능 종속성을 강조하고 간소화된 모델을 생성함으로써 복잡한 설계를 더 빠르게 디버그할 수 있습니다.

비디오

인증 표준 준수

이 칼럼에서는 Simulink 기반의 확인 워크플로를 설명합니다. 여기에서는 테스트 케이스 만들기, 누락된 모델 커버리지에 대한 테스트 케이스 만들기, 코드 커버리지 측정 등의 주제를 다룹니다.

기술 칼럼

편집 시간 검사를 통해 편집 중 Simulink 또는 Stateflow에서 지침 및 표준 위반 문제를 파악하는 방법을 알아봅니다.

비디오

모델 개발 중 모델을 확인 및 분석하여 품질에 대한 신뢰성을 향상시킬 수 있습니다. MAB 스타일 지침 및 DO-178, ISO 26262와 같은 고무결성 시스템 설계 지침 등의 표준을 기준으로 모델을 검사할 수 있습니다.

문서

이 예제에서는 Metrics Dashboard를 사용하여 모델의 메트릭 데이터를 수집하는 방법을 다룹니다.

예제

Simulink의 확인과 검증을 이용하여 모델 내 중복된 패턴을 식별하고 재사용 가능한 구성요소로 리팩터링할 수 있습니다.

비디오

자동차 산업의 선도 기업 및 MathWorks에서 정의한 MQO(Model Quality Objectives)에 대하여 알아봅니다. 이 표준은 소프트웨어 개발 라이프사이클 내 여러 단계에서 Simulink 모델의 품질 목표를 제공합니다.

백서

설계 오류 검출

Simulink Design Verifier를 사용하여 설계 오류를 식별하고 테스트 케이스를 생성하며 요구 사항과 대비하여 설계를 검증합니다.

비디오

설계 오류를 식별하고 요구사항 준수 여부를 증명하고 테스트를 생성합니다.

문서

이 예제에서는 sldvexFloatingPointErrorChecks 예제 모델에서 무한, NaN 및 준정규 부동소수점 값을 검출하는 방법을 다룹니다. 이 모델은 오류를 초래하는 부동소수점 산술 연산으로 구성됩니다. 설계 오류 검출 분석을 수행하여 모델에서 이러한 오류를 검출할 수 있습니다.

문서

이 예제에서는 데드 로직이 있는 모델을 개선하는 방법을 다룹니다. sldvSlicerdemo_dead_logic 모델은 데드 로직 경로를 포함하며, 이를 종속성 분석을 위해 개선하게 됩니다.

문서