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




기능 안전 규격 커버리지 지원
단위 테스트 단계에서 요구되는 구문, 분기, 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 커버리지 리포트를 백분율로 표시합니다.
.png)
Caller 커버리지 측정
분석 대상 함수가 호출하는 하위 함수 이름과 위치, 실행률을 표시합니다.
Non-passed TPList 에서 실행되지 않은 함수의 위치를 확인합니다.
Folder View 에서 분석 대상 함수가 호출하는 모든 함수를 확인합니다.
Caller 커버리지 수식
-
실행된 FuncCall Test point / 함수의 모든 FuncCall Test points * 100 [%]

Callee 커버리지 측정
분석 대상 함수가 호출되는 위치 및 상위 함수 이름과 실행률을
표시합니다.
TP detailed List 에서 Pass/Non-Pass TP와 위치를 확인합니다.
Callee 커버리지 수식
-
대상 함수를 호출하는 실행된 FuncCall Test Point / 대상 함수를 호출하는 모든 FuncCall Test Points * 100[%]
.png)