froglogic, ‘2018 하이페 사이클’에서 모바일 애플리케이션 및 Tool을 위한 다중 경험 개발의 샘플 벤더로 인정
froglogic은 Gartner의 ‘2018 하이페 사이클’에서 모바일 애플리케이션 테스트 및 개발자 개발 툴인 Multiexperience 다중 경험 개발을위한 샘플 벤더로 인정 받았습니다. 소프트웨어 개발자가 ‘더 짧은…
Home » Software Testing »
Software Testing
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일 …
소프트웨어 신뢰성 시험 환경구축 사례(1) – Wind River
1. 시험 환경 2. 시험 환경 구축 1) 신뢰성 시험 흐름 구성도 (1)정적시험 Vxworks OS 환경에서 Workbench를 이용한 LDRA실행 Coding Rules을 이용한 Static Analysis 진행…
소프트웨어 신뢰성 시험 환경 구축 및 분석 방법_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…
소프트웨어 솔루션 TBrun
효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록 다양한 자동화 소프트웨어 솔루션을 제공합니다. 1. 개요 설계 기반 기능…
소프트웨어 솔루션 Testbed / TBvision
효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록 다양한 자동화 소프트웨어 솔루션을 제공합니다. 1. 개요 1300 개 이상의…
소프트웨어 솔루션 TBmanager & TBreq
효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록 다양한 자동화 소프트웨어 솔루션을 제공합니다. 1. 개요 각각의 국제 표준…