LDRA(Liverpool Data Research Associates)
LDRA
1년
주장비
시험
데이터 처리장비 > 달리 분류되지 않는 데이터 처리장비 >
2016-11-07
75,000,000원
원
항공기에 탑재되는 소프트웨어는 DO-178C의 절차에 따라 개발되었음을 입증해야 한다. 소프트웨어 개발은 V 모델에 따라 '요구도 분석 - S/W 설계 - S/W 코딩 - S/W 테스팅 - 개발완료' 순으로 진행되어야 하며, 이중 S/W 테스팅 과정에서 소스코드 검증 및 커버리지 분석 도구로 LDRA를 사용하게 됨
본 장비는 Testbed, TBrun, TBvision, TBmisra, TBsafe, TBeXtreme로 구성되어 있다. Testbed는 정직/동적 분석도구로써 코드 자체 결함 및 코드 규칙을 체크하고, TBrun은 Testbed와 연계하여 소프트웨어 기능 모듈 별 하위 수준 요구도 만족여부 확인을 한다. TBvision은 데이터 흐름의 가독성을 좋게 하고, Tbmisra는 정적분석시 사용하는 산업표준 레퍼런스를 제공한다. Tbsafe는 구조적 커버리지 분석결과를 제공하고 TBeXtreme는 소프트웨어 강건성을 시험한다.