Coressent Korea

 

Newsletter

소프트웨어 신뢰성 확보를 위한 테스트 및 검증 솔루션

Coresset Korea는 15여년간 Embedded RTOS기반의 S/W 개발 및 Solution 제공에 노하우를 가진 멤버들이 모여서 새롭게 시작하는 회사입니다.

이번에 소개해 드릴 Solution은 항공우주, 국방, 원자력, 의료, 자동차 및 제어 분야 등 다양한 산업 분야에서 시스템의 안정성 및 사람의 생명과 연관된 소프트웨어를 검증 및 테스트하고, 그 안정성을 인증 받기 위한 자동화 테스트 도구 입니다.

LDRA사의 LDRA Tool Suite는 소프트웨어의 안전성 및 고신뢰성 확보를 위한 다양한 Solution 및 컨설팅 서비스를 제공하고 있습니다.

< 지원하는 산업 표준 >

DO-178B/C

ISO26262

DO-278

IEC62304

MISRA C:2012, MISRA C++:2008
MISRA C:2004 and MISRA C:1998

IEC61508

IEC50128

JSF++ AV

High Integrity C++

CERT C

IPA / SEC C

CWE

Netrino C

Def Stan oo-55

HIS

< 특징 >

  • Manage standards objectives
  • Trace requirements
  • Verify coding standard compliance
  • Measure code complexity
  • Dynamic analysis – Measure structural coverage
  • Unit testing – Host and Target
  • Control flow analysis
  • Data flow analysis
  • Object code verification
  • Verify requirements

< 지원 언어 >

  • C / C++
  • Ada
  • JAVA

More detail information

좀더 상세한 기능이나 내용을 알고 싶으시면 언제든지 연락을 주십시오.

홈페이지 : http://www.coressentkorea.co.kr
메일 : sales@coressentkorea.co.kr
전화 : 02-522-2247


sales@coressentkorea.co.kr

TEL : 02-522-2247

Coressent Korea


Copyright © 2015 Coressent Korea All rights reserved.