콘텐츠로 건너뛰기
Home » 커버리지

커버리지

LDRA를 활용한 HalCoGen 자동생성 코드 검증

HalCoGen – LDRA 연동 HALCoGen-LDRA는 사용자가 HALCoGen을 통해 생성된 자동생성 코드를 HALCoGen-LDRA에서 제공하는 검증 환경을 통하여 IEC 61508 및 ISO… 

DT10을 활용한 동적 시험 #1 – File I/O

DT10을 활용한 동적시험 #1 – FILE I/O 방식 DT10은 Code Coverage 및 Data Trace를 위해 Data 파일을 분석하게 됩니다. 이번… 

동적시험 도구 DT10 소개

DT10 이란? Software의 Data & Control Flow 정보를 추적하고 수집된 정보를 활용하여 시스템 운용상의 오류를 찾아낼 수 있으며 효율적으로 소프트웨어를… 

Send us a message!

앞선 품질, 끊임없는 도전, 정직한 기술로 함께합니다.
문의 글을 작성해 주시면, 담당자 확인 후 빠르게 연락드립니다.

대표전화: (+82)02-420-3203

FAX: (+82)02-407-3511

05770 서울특별시 송파구 오금로 422, 연암빌딩 4F~6F




FAMILY SITE

advanced-floating-content-close-btn