콘텐츠로 건너뛰기
Home » Software Testing » 페이지 2

Software Testing

SW보안약점과 SW보안취약점의 차이

      그림1. 보안약점과 보안취약점     보안약점과 보안취약점의 개념을 혼동하여 오사용하는 경우가 많습니다. 그래서 이번 시간에는 보안약점과 보안취약점의… 

ISO 26262와 APSICE를 위한 통합 준수 솔루션 LDRA

  LDRA를 활용한 ISO 26262와 ASPICE(Automotive SPICE) 준수 자동차 소프트웨어 개발에서 ISO 26262와 ASPICE(Automotive SPICE)는 필수적인 표준입니다. ISO 26262는 차량의… 

[LDRA] MISRA C:2023 변경사항

[vc_row][vc_column][vc_column_text] MISRA(Motor Industry Software Reliability Association)는 처음에는 자동차 시스템에서 C 언어를 사용하기 위해 만들어진 지침이었습니다. 차량 내 소프트웨어의 결함을 줄이기… 

[LDRA] MCP의 WCET(Worst-Case Execution Time)측정 및 검증 방안

[vc_row][vc_column][vc_column_text] Single-core processors는 수십 년간 여러 방면으로 활용되어 왔으나, 최근 각 산업 분야에서는 MCP(Multicore processor)를 활용한 임베디드 시스템에 관한 관심이… 

2023 LDRA USER CONFERENCE

LDRA USER CONFERENCE 지난 5월 16일, 롯데호텔 월드(서울시 송파구)에서  ‘LDRA USER CONFERENCE‘ 가 성황리에 진행되었습니다.  해당 행사는 국내에 약 20여년간 서비스되어온 ‘LDRA’의 실 사용자를 위한… 

2023 LDRA USER CONFERENCE

LDRA USER CONFERENCE 5월 16일, 롯데호텔(서울시 송파구)에서  ‘LDRA USER CONFERENCE‘ 가 진행됩니다.  해당 행사는 국내에 약 20여년간 서비스되어온 ‘LDRA’의 실 사용자를 위한 자리로  한국의… 

美 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 프로파일링 도구의 성능 경고는 프로파일링된 애플리케이션에서 프로그램 실행 속도를 저하시킬 수 있는… 

[Jama] 아이템 재사용 및 동기화 방법

Jama에서는 데이터 베이스화 된 요구사항과 소스 코드, 테스트 케이스 등을 해당 프로젝트 또는 새로운 프로젝트에서 재사용하고 원본과 복사본의 내용을 분리하거나… 

[Deos] ARINC-653 지원 특징_#2_Slack Scheduling

Scheduling과 내재된 문제점 시간 분할 된 실시간 운영체제는 스케줄링 타임라인 내의 바인딩 된 특정한 위치에(예: Hyper-period) 제한된 시간 동안 CPU에… 

C# 정적분석 가이드 #5

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