소프트4소프트, ′RESORT for C Testing′ 동적 도구 출시
한 번의 소스코드 분석으로 정적·동적 분석 통합 지원
2021-09-09 온라인기사  /  윤범진 기자 bjyun@autoelectronics.co.kr

정적 및 동적 분석 도구 개발 업체인 소프트4소프트(대표 이헌기)는 동등 분할 기반 각 실행 경로의 테스트 케이스와 입력 값을 자동 생성하여 코드 커버리지 분석을 할 수 있는 'RESORT for C Testing' 도구를 개발했다고 9일 밝혔다.

'RESORT for C Testing'은 한 번의 소스코드 분석으로 정적 분석과 동적 분석을 통합 지원한다. ‘RESORT for C Testing’은 실행 경로 기반 각 경로의 테스트 케이스와 입력 값을 자동 추출하여 사용자가 스텁이나 드라이버의 테스트 코드 작성 없이 실제 개발환경과 동일한 테스트 빌드 환경인 빅뱅 기법을 통한 단위 및 통합 테스트의 코드 커버리지 분석을 자동으로 빠르게 수행할 뿐만 아니라 오류 주입 테스트까지 지원한다. 또한, 테스트 도메인 분석을 위해 Call, Control Flow, Data Flow, Variable Reference 등의 역공학 그래프를 제공한다. 소프트4소프트에 따르면, 64개 함수로 구성된 의료기기 소프트웨어의 적용 결과, 약 78%의 테스트 입력 값을 자동 추출하는 성과를 보였다.


RESORT 정적 및 동적 분석의 흐름도

소프트4소프트의 이헌기 대표는 "최근 의료기기의 FDA 허가 진행 중 FAD 리뷰어의 보완 요구사항으로 Run-time Error 점검과 단위 테스트의 코드 커버리지 검증에 대한 문서 요구가 있었으며, 이는 의료기기 코드에 대한 소프트웨어의 신뢰성 확보 여부의 사전 점검과 검증이 매우 중요해졌음을 의미한다”면서 “소프트웨어의 엄격한 품질 준수를 요구하는 자동차, 반도체, 국방, 항공, 철도, 의료 등의 산업 분야에서, RESORT for C Testing은 정적·동적 분석의 통합 도구로서 소프트웨어의 안전성과 신뢰성 요구사항을 완벽하게 지원하고 코드 결함 점검 및 커버리지 분석 시간 단축은 물론 비용 절감과 개발 생산성 향상뿐 아니라 도구 도입 비용을 크게 줄여줄 것"이라고 말했다. [AEM]


<저작권자(c)스마트앤컴퍼니. 무단전재-재배포금지>


  • 100자평 쓰기
  • 로그인


TOP