폴리 스페이스
Polyspace| 개발자 | 매스웍스[1] |
|---|---|
| 안정된 릴리스 | R2021a / 2021년 3월 10일, 전( |
| 운영 체제 | 크로스 플랫폼[2] |
| 유형 | 정적 코드 분석 |
| 면허증. | 독자 사양 |
| 웹 사이트 | www |
Polyspace는 C, C++, Ada 프로그래밍 언어에 대한 소스 코드의 특정 런타임 오류를 검출하거나 존재하지 않음을 증명하기 위해 추상 해석에 의한 대규모 분석을 위한 정적 코드 분석 도구입니다.또한 이 도구는 소스 코드가 [3]적절한 코드 표준을 준수하는지 확인합니다.
일반적인 용도
Polyspace는 소스 코드를 검사하여 산술 오버플로, 버퍼 오버런, 0으로 나눗셈 등의 잠재적인 런타임 오류가 발생할 수 있는 위치를 확인합니다.소프트웨어 개발자 및 품질보증 관리자는 이 정보를 사용하여 코드의 어떤 부분이 결함이 있는지 또는 신뢰할 수 있는지 확인합니다.코드의 다른 부분은 검증되지 않은 체크로 표시되어 있어 개별적으로 [4][5]검토할 필요가 있습니다.
MISRA C 등의 코드 표준 또는 가이드라인은 코드 품질, 휴대성 및 신뢰성에 대처하려고 합니다.이 제품은 C 및 C++ 소스 코드가 이러한 코딩 [6]표준의 규칙 서브셋에 적합한지 확인합니다.
기능
제품군은 Polyspace Code Prover와 Polyspace Bug Finder로 구성되어 있습니다.코드 프로버 모듈은 소스 코드에 컬러 코딩 방식을 사용하여 [7]코드에 있는 각 요소의 상태를 나타내는 주석을 추가합니다.정식 메서드 기반의 정적 코드 분석을 사용하여 언어 [5]수준에서 프로그램 실행을 확인합니다.이 도구는 코드의 모든 지점에서 가능한 모든 변수 값을 고려하여 각 코드 명령을 점검하여 정상 및 비정상 사용 조건에서 [8]코드의 각 작업에 대한 정식 진단을 제공합니다.
버그 파인더 모듈은 소스 코드에 대해 정적 프로그램 분석을 수행하여 소프트웨어 버그를 식별합니다.숫자 계산, 프로그래밍, 메모리 및 기타 오류와 같은 결함을 찾습니다.또한 소스 파일의 코멘트 밀도, Cyclomatic 복잡도, 함수의 회선 수, 파라미터, 콜레벨 등 소프트웨어 메트릭을 생성합니다.[9]
「 」를 참조해 주세요.
레퍼런스
- ^ Pele, Anne-Francoise (2007-04-25). "The Mathworks acquires PolySpace Technologies". EETimes. Archived from the original on 2012-02-11. Retrieved 2010-08-13.
- ^ MathWorks - Polyspace - 요구 사항
- ^ Deutsch, Alain (2003-11-27). "Static Verification of Dynamic Properties" (PDF). Polyspace Technologies. Archived from the original (PDF) on 2012-03-13. Retrieved 2014-05-17.
- ^ Brat, Guillaume (2004). "Experimental Evaluation of Verification and Validation Tools on Martian Rover Software". Formal Methods in System Design. 25 (2/3): 167–198. doi:10.1023/B:FORM.0000040027.28662.a4. hdl:2060/20040010327.
- ^ a b Exponent (2012-09-24). "Exponent's Investigation of Toyota ETCS-i Vehicle Hardware and Software". Exponent. Archived from the original on 2014-07-27. Retrieved 2010-09-07.
- ^ MathWorks: 정적 코드 분석.
- ^ Jones, Paul; Jetley, Raoul; Abraham, Jay (2010-02-09). "A Formal Methods-based verification approach to medical device software analysis". Embedded Systems Design. Retrieved 2010-08-16.
- ^ Wissing, Klaus (2007-09-27). "Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors" (PDF). Workshop on Applied Program Analysis. Retrieved 2010-08-13.
- ^ "Software Metrics-MATLAB". India: MathWorks. Retrieved 2015-08-27.
