Static Analysis2 CERT C 규칙 카테고리 설명 CERT C 코딩규칙 카테고리를 정리하고 있습니다. 1. CERT C Coding Standard 문서에 포함된 규칙 카테고리 "Carnegie Mellon University" 배포하고 있는 "SEI CERT C Coding Standard Rules for Developing Safe, Reliable, and Secure Systems-Carnegie Mellon University(2016)" 문서에서 설명하고 있는 코딩규칙 카테고리 입니다. 표준 문서에 포함된 규칙 카테고리는 다음과 같습니다. Preprocessor (PRE) - 전처리기 프로그램의 가독성을 향상시키고 오류 가능성을 줄이기 위한 내용을 다루는 카테고리입니다. 이러한 규칙들은 C 프로그래밍 언어를 사용할 때 안전하고 효율적인 코드.. 2024. 3. 7. 정적/동적 테스팅 지원도구 상용 테스팅 도구 중에서 정적 분석(Static analysis), 동적 테스팅(구조 커버리지) 지원 도구 목록입니다. 전문 테스팅 도구여서 가격도 고가이고 체험판 버전 구하기도 힘들어서 컨설팅을 하면서 사용 경험이 있는 도구 위주로 나열했습니다. 1. 정적 분석(Static Analysis) 지원 도구 정적 분석 시간을 단축시키고 결함 수정을 용이하게 해주는 도메인 별 코딩 규칙 검증 지원 도구 도구명 회사 비고 STATIC SureSoft 국내 Sparrow SAST Sparrow 국내 Polyspace Test MathWorks 해외 Coverity Synopsys 해외 LDRArules LDRA 해외 2. 동적 테스팅(Stuctural coverage testing) 지원 도구 표준에서 요구하는 .. 2023. 9. 25. 이전 1 다음 728x90