sw 검증

SPARROW SAST와 LDRA로 완성하는 품질·보안 검증

복잡해지는 시스템, 이제는 품질과 보안을 함께 관리해야 한다. 국방, 항공, 의료, 자동차 등 안전성과 신뢰성이 중요한 산업에서는 소프트웨어의 복잡도가 계속…

임베디드 시스템 개발에서 HIL은 더 이상 선택이 아닙니다. ISO 26262, DO-178C 등 주요 기능 안전 표준이 HIL 기반 동적 검증을…

최근 다양한 산업 분야에서 AI(인공지능) 도입이 가속화됨에 따라, AI의 신뢰성과 안전성을 확보하는 것이 기업의 핵심 과제가 되었습니다. 모아소프트는 국제 표준에…

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

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

무인기체계 SW의 Target 환경 구축에 따른 지원 결과 중, Code Warrior를 이용한 구축 사례에 대해 살펴 보겠습니다. 시험환경 IDE: Code Warrior 10.5 Compiler:…