콘텐츠로 건너뛰기
Home » 정적분석

정적분석

C# Static Analysis Guide #1 및 Coding conventions 코드 분석 환경

C# 정적분석 가이드 #1

C# Coding conventions C#은 2000년 7월에 개최되었던 Professional Developers Conference(PDC)에서 .NET 프로젝트와 함께 발표된 객체 지향 프로그래밍 언어입니다. 마이크로소프트에서 개발되었으며,… 

[MOASOFT CORE BIZ] SW 검증 (6편)

  본 콘텐츠는 모아소프트 기술 소개 시리즈의 여섯 번째 콘텐츠로, 소프트웨어 개발 전 과정에서 수행되는 SW 검증 체계와 산업별 검증… 

정적 분석과 DevSecOps

[vc_row][vc_column][vc_column_text css=””]   DevSecOps란? DevSecOps는 개발(Development), 보안(Security), 운영(Operations)을 통합한 소프트웨어 개발 접근 방식입니다. 전통적인 개발 프로세스에서 보안은 보통 개발과 배포… 

소프트웨어 품질과 보안의 핵심인 정적분석

[vc_row][vc_column][vc_column_text css=””]    지난 포스팅에서는 시큐어코딩의 위배 사례 및 대응책에 관해 알아보았습니다. 시큐어코딩을 올바르게 적용하였는지 확인하는 방법에는 여러 가지가 있습니다.… 

美 NASA 무인우주선 ‘Orion’,​ 소프트웨어 검증, 소스코드 분석 및 테스트 파트너 ‘LDRA’

LDRA는 Orion 프로젝트에서 부스터, 엔진 컨트롤러를 포함하여 비행 소프트웨어와 소프트웨어 하위 시스템의 코딩 결함 및 규정 준수 격차에 대한 명확한 V&V를 지원하였습니다. 

2022년 12월 21일, 아르테미스 1호 달 궤도 탐사 임무가 성공적으로 종료되었습니다. ​

Orion 프로젝트의 소프트웨어 검증, 소스 코드 분석 및 테스트 파트너인 LDRA는 소프트웨어 개발에 대한 지속적인 지원을 수행해왔습니다. Orion Multi-Purpose Crew Vehicle(MPCV) 소프트웨어 개발의 필수 구성 요소였던 LDRA는 요구 사항 관리, 표준 준수 및 여러 하위 시스템 과소프트웨어 공급업체를 대상으로 한 테스트를 포함하여 많은 V&V 활동을 지원하였습니다. ​

​2008년 Orion 프로젝트의 소프트웨어 검증 도구로 LDRA가 선택된 것은 LDRA의 45년간의 경험이 우주항공과 관련된 소프트웨어 개발의 신뢰성을 엄격하게 검증할 수 있다는 사실을 증명합니다. ​

이 외에도 CCDev(Commercial Crew Development) 프로그램을 포함한 많은 우주 응용 프로그램에서 LDRA를 사용하고 있으며 Artemis에 대한 LDRA의 지속적인 참여는 LDRA가 우주항공 소프트웨어에 효율적이고 적합한 도구인지를 보여줍니다.

 

 

LDRA를 활용한 HalCoGen 자동생성 코드 검증

HalCoGen – LDRA 연동 HALCoGen-LDRA는 사용자가 HALCoGen을 통해 생성된 자동생성 코드를 HALCoGen-LDRA에서 제공하는 검증 환경을 통하여 IEC 61508 및 ISO… 

C# 정적분석 가이드 #6

Use performance rules to analyze data Visual Studio 프로파일링 도구의 성능 경고는 프로파일링된 애플리케이션에서 프로그램 실행 속도를 저하시킬 수 있는… 

C# 정적분석 가이드 #5

Interoperability rules 상호 운용성은 비관리 코드에 대한 기존 투자를 보존하고 활용할 수 있도록 합니다. CLR(공용 언어 런타임)의 제어 하에서 실행되는… 

C# 정적분석 가이드 #4

Globalization rules .NET 애플리케이션 전역화 및 지역화 하나 이상의 언어로 지역화 할 수 있는 애플리케이션을 포함하여 지역화 대비 애플리케이션의 개발에는… 

DT10을 활용한 동적 시험 #1 – File I/O

DT10을 활용한 동적시험 #1 – FILE I/O 방식 DT10은 Code Coverage 및 Data Trace를 위해 Data 파일을 분석하게 됩니다. 이번… 

동적시험 도구 DT10 소개

DT10 이란? Software의 Data & Control Flow 정보를 추적하고 수집된 정보를 활용하여 시스템 운용상의 오류를 찾아낼 수 있으며 효율적으로 소프트웨어를… 

C# 정적분석 가이드 #3

Design rules 디자인 규칙은 .NET Framework 디자인 지침 준수를 지원합니다. # .NET Framework 디자인 지침 이 섹션에서는 .NET Framework와 확장하고 상호 작용하는… 

C# 정적분석 가이드 #2

All Rules rule set All Rules rule set에는 네이티브 및 관리 코드에 대한 모든 규칙이 포함됩니다. 규칙 세트에는 다음 주제에서 설명하는… 

C# 정적분석 가이드 #1

C# Coding conventions C#은 2000년 7월에 개최되었던 Professional Developers Conference(PDC)에서 .NET 프로젝트와 함께 발표된 객체 지향 프로그래밍 언어입니다. 마이크로소프트에서 개발되었으며,… 

LDRA Command Line을 사용한 정적 분석_2

이번 포스팅에서는 지난 포스팅에서 만든 Command Line Batch 파일을 활용하여 Jenkins에서 정적분석을 진행하는 방법에 대해 알아보겠습니다. LDRA를 9.8.3 이하의 버전을… 

LDRA Command Line을 사용한 정적 분석_1

이번 포스팅에서는 두개의 포스팅으로 나눠 LDRA Command Line을 Batch 파일로 작성하여 LDRA 9.8.3 이하 버전의 Jenkins에서 정적분석을 진행하는 방법에 대해… 

Jenkins Plugin을 활용한 LDRA 정적분석 진행 방법

Jenkins를 활용하여 지속적인 테스트 결과 공유 및 관리를 위해서 LDRA에서 이번 포스팅에서는 LDRA에서 제공하는 Jenkins Plugin을 적용하여 Jenkins에서 정적분석을 진행하는…