Qt Design Studio
Qt는 고성능 UI 및 어플리케이션을 개발하는 툴과 환경을 제공합니다. 또한 많은 수의 Cross-Platform 클래스 라이브러리를 제공하여 쉽고 빠르게 다양한 종류의…
UI 및 어플리케이션 개발 툴 Qt
Qt는 고성능 UI 및 어플리케이션을 개발하는 툴과 환경을 제공합니다. 또한 많은 수의 Cross-Platform 클래스 라이브러리를 제공하여 쉽고 빠르게 다양한 종류의…
Qt Creator IDE
Qt는 고성능 UI 및 어플리케이션을 개발하는 툴과 환경을 제공합니다. 또한 많은 수의 Cross-Platform 클래스 라이브러리를 제공하여 쉽고 빠르게 다양한 종류의…
SW 테스트 필요성 및 테스트 기법 소개
사람은 코드, 소프트웨어, 시스템, 또는 문서 안에 결함을 만들어내는 오류(실수)를 범할 수 있습니다. 만약 결함 코드가 실행되면 시스템은 정상 동작…
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에서 정적분석을 진행하는 방법에 대해…
국방/항공 소프트웨어 검증 세미나
Views: 5
ALM 도구를 활용한 소프트웨어 개발 프로세스 개선
요구사항-소스코드-테스트 케이스의 실시간 추적성을 확보하며, 협업을 통한 개발 업무의 개선이 가능합니다. ■ JAMA Connect □ SRS/SDD, 테스트 케이스, 개발 산출물…
MISRA-C의 두번째 개정판MISRA-C:2004
MISRA-C:2004는 MISRA-C의 두번째 개정판(Guidelines for the use of the C language in critical systems)으로 자동차 뿐만 아니라 안전에 민감한 시스템(Critical System)에…
MISRA와 LDRA 적용
현재 신뢰성을 높이기 위해 다양한 코딩 룰이 존재합니다. 가장 잘 알려진 코딩 룰은 아마도 1998년에 처음 발표 된 MISRA(Motor Industry Software Reliability Association)일…
Code Warrior & on Target 시험 사례
무인기체계 SW의 Target 환경 구축에 따른 지원 결과 중, Code Warrior를 이용한 구축 사례에 대해 살펴 보겠습니다. 시험환경 IDE: Code Warrior 10.5 Compiler:…
소프트웨어 신뢰성 시험 환경구축 사례(2) – CCS 5
시험환경 IDE: TI CCS 5.5 Compiler: CCS Target Chip: TI TMS320F28335 2. 환경구축 1) 소요기간 50일 소요 계획수립: 2일 …
소프트웨어 신뢰성 시험 환경 구축 및 분석 방법_2
[Target Environment] 1. 실제 장비 – 개발 환경(Build 및 Interface 환경)을 시험 환경에 그대로 적용할 수 있음. – 통신 및 센서 데이터 등을 연동하여 시험 가능…
LDRA 창업자 Mike Hennell가 말하는 LDRA의 시작과 그 방향
LDRA’s founder, Mike Hennell, talks about the company’s origins and where it’s going Mike Hennell Dr. Mike Hennell은 리버플 대학에서 교수로 23년간…
소프트웨어 신뢰성 시험 환경 구축 및 분석 방법_1
오늘 글에서는 소프트웨어 신뢰성 시험(이하 SW 신뢰성 시험)을 위한 환경 구축 방법 및 분석 방법과 관련한 내용을 정리해 보려고 합니다. SW 신뢰성 시험은…
CWE (Common Weakness Enumeration) 란?
CWE (Common Weakness Enumeration) 란? Common Weakness Enumeration의 약자로, 나열된 단어 자체만 본다면 ‘일반적인 결함의 나열’ 이라고 볼 수 있습니다. 지침서와 같은 ‘CWE’를 이용하면 정적…
소프트웨어 검증 솔루션 LDRA ToolSuit
소프트웨어의 작은 오류 하나에도 상당한 사회적, 경제적 손실을 초래하는 사건들이 매년 증가하고 있습니다. 이는 비단, 국방뿐만 아니라 자동차, 의료장비, 항공 등…
Matlab와 LDRA 연동을 통한 소프트웨어 검증
[Matlab와 LDRA 연동] 이번 포스팅에서는 Matlab과 LDRA 솔루션의 연동 방법에 대하여 알아보겠습니다. Matlab은 Matrix Laboratory의 줄임말로 MathWorks 회사에서 1984년 출시된 공학,…
Green Hills Software와 LDRA
Green Hills Software는 1982년 Dan O’Dowd와 Carl Rosenberg에 의해 설립된 회사로, Embedded System을 위한 OS와 개발 툴을 주로 만듭니다. Green…
