top of page

DT+ FS

DT+ FS는 기능안전 규격 「ISO 26262- up to ASIL D」, 「IEC 61508 - up to SIL 3」 TÜV 인증을 받은 Functional Safety 버전입니다.

기능안전
TUV
IEC61508
ISO26262

기능 안전 규격 커버리지 지원

단위 테스트 단계에서 요구되는 구문, 분기, MC/DC 커버리지를

타깃 환경에서 동시에 측정합니다.
각 커버리지 리포트에서 미수행 목록, 진리표 등으로

테스트가 부족한 부분을 쉽게 확인할 수 있습니다.

기능 안전 규격 커버리지 지원
구조 해석 엔진으로 최적의 테스트 환경 구축

구조 해석 엔진으로 최적의 테스트 환경 구축

DT+ FS 에서는 지능형 구조 해석 엔진을 탑재했습니다. 

프로그램의 소스코드를 고속으로 해석하여 함수 호출 관계나 함수의 처리 구조와 정보를 수집합니다.

함수 내부에 포함된 조건, 분기에 대한 주고 분석과 호출하려는 함수 이름 및 function-call depth 를 확인할 수 있습니다.

MC/DC 커버리지 측정

DT+FS 의 ASIL [D] 설정을 통해 MC/DC 커버리지를 측정합니다.

코드 구조 분석 후 Auto-insertion 기능으로 Decision Test point 와 Condition Test Point 를 삽입합니다.

해당 Test point  실행 정보를 바탕으로 Condition 개별 조건식에 대한 True / False 값을 분석합니다. Decision 을 결정하는 Result 값을  진리표로 표시하고 MC/DC 커버리지 리포트를 백분율로 표시합니다.

Callee 커버리지 측정

Caller 커버리지 측정

분석 대상 함수가 호출하는 하위 함수 이름과 위치, 실행률을 표시합니다.
Non-passed TPList 에서 실행되지 않은 함수의 위치를 확인합니다.
Folder View 에서 분석 대상 함수가 호출하는 모든 함수를 확인합니다.

 

Caller 커버리지 수식

  • 실행된 FuncCall Test point / 함수의 모든 FuncCall Test points * 100 [%]

MC/DC 커버리지 측정

Callee 커버리지 측정

분석 대상 함수가 호출되는 위치 및 상위 함수 이름과 실행률을

표시합니다.
TP detailed List 에서 Pass/Non-Pass TP와 위치를 확인합니다.

 

Callee 커버리지 수식

  • 대상 함수를 호출하는 실행된 FuncCall Test Point / 대상 함수를 호출하는 모든 FuncCall Test Points * 100[%]

Caller 커버리지 측정
MDSTECH

ADD 경기도 성남시 분당구 대왕판교로 644번길 49 DTC타워 9층
TEL 031-627-3000
FAX 031-627-3008
대표자 이창열, 이정승

©MDS Tech Inc. All Rights Reserved.

bottom of page