LDRA Testbed

LDRA Testbed

리버풀 데이터 리서치 어소시에이트 (LDRA)는 공공 및 민간 부문을위한 소프트웨어 분석, 테스트 및 요구 사항 추적 툴 제공 업체이며 정적 및 동적 소프트웨어 분석의 선구자입니다.
LDRA Testbed는 호스트 및 임베디드 소프트웨어 모두를위한 핵심 정적 및 동적 분석 엔진을 제공합니다.LDRA Testbed는 MISRA, JSF ++ AV, CERT C, CWE와 같은 코딩 표준을 준수하는 수단을 제공하며 일반적으로 표준 빌드 및 테스트 프로세스를 거쳐 잠재적 인 문제가되는 소프트웨어 결함의 가시성을 제공합니다.또한 레벨 -A를 포함하여 DO-178B 표준의 요구 사항을 지원하는 구조적 커버리지 분석보고 기능을 통해 테스트 효과 피드백이 제공됩니다.
ldra-testbed

웹 사이트:

풍모

카테고리

라이센스가있는 모든 플랫폼에서 LDRA Testbed를 대체

Cppcheck

Cppcheck

Cppcheck는 C / C ++ 코드를위한 정적 분석 도구입니다.C / C ++ 컴파일러 및 기타 여러 분석 도구와 달리 코드에서 구문 오류를 감지하지 못합니다.
PVS-Studio

PVS-Studio

PVS-Studio는 C, C ++ 및 C # 응용 프로그램의 소스 코드에서 오류를 감지하는 정적 분석기입니다.