多空间
使关键代码安全可靠
多空间®정적 코드 분석 제품은 정형 기법을 사용하여 발생할 수 있는 모든 제어 흐름과 데이터 흐름에서중대한 런타임 오류가 없음을 증명합니다. 이 제품은 코딩 규칙, 보안 취약점, 코드 메트릭 그리고 수백 종류의 버그들을 확인하기 위한 기능을 갖추고 있습니다.
多空间码验证器
코드 실행없이 중대한 런타임 오류가 없음을 정형적으로 증명합니다.
多空间Bug查找器
코딩 규칙, 보안 표준, 코드 메트릭을 확인하고 버그를 찾습니다.
艾达용 多空间
소스 코드에 런타임 오류가 없음을 증명합니다.
C/C++，Ada를 위한 정형 기법 기반의 자동화된 정적 코드 분석
품질
테스트 케이스 작성이나 코드 실행없이, 버그를 찾고 중대한 런타임 오류가 없음을 증명합니다.
안전
MISRA、ISO 26262、IEC 61508、DO-178、FDA규정에 대한 안전 표준 및 문서 준수에 부합합니다.
보안
소프트웨어 보안 취약점들과 CWE，证书C，ISO/IEC 17961등과 같은 보안 관련 표준을 검사합니다.
日产
多空间는 어떤 경우에 런타임 오류가 발생할 수 있는지 찾고 어떤 환경에서도 오류가 절대 발생하지 않을 경우도 식별합니다.
马基
多空间정적 분석 도구는 코드의 런타임 오류를 확인하고 米斯拉코딩 표준의 준수 여부를 확인하며 DO-178인증을 위한 산출물들을 생성합니다.
米拉科尔
米拉科尔는 美国食品药物管理局를 포함한 규제 단체에게 자신들의 장치가 안전함을 증명하기 위해 多空间를 활용하여 품질과 정확성을 보여주었습니다.
