C# 정적분석 가이드 #1
C# Coding conventions C#은 2000년 7월에 개최되었던 Professional Developers Conference(PDC)에서 .NET 프로젝트와 함께 발표된 객체 지향 프로그래밍 언어입니다. 마이크로소프트에서 개발되었으며,…
Home »
소프트웨어 검증
㈜모아소프트가 제안하는 AI SW 검증 지원 프로세스
최근 다양한 산업 분야에서 AI(인공지능) 도입이 가속화됨에 따라, AI의 신뢰성과 안전성을 확보하는 것이 기업의 핵심 과제가 되었습니다. 모아소프트는 국제 표준에…
FACE 규격 인증을 위한 데이터 모델링 및 자동화 전략
FACE 규격은 단순한 가이드를 넘어 소프트웨어 설계 구조와 검증 기준을 정의하는 기술 표준입니다. 특히 FACE Data Modelling은 시스템 간의 데이터…
[MOASOFT CORE BIZ] 요구사항 추적성 관리 플랫폼 (1편)
27년이 넘는 기간 동안 축적해 온 경험과 전문성을 기반으로, 모아소프트는 방산·항공·우주·미래 모빌리티 산업 전반에서 필요한 시스템 엔지니어링 기술 역량을 꾸준히…
SWFT 시대, 국방 소프트웨어 검증의 새로운 패러다임 – 모아소프트가 바라본 Software-Defined Weapon(SDW)과 Software Fast Track(SWFT)
최근 미국 국방부가 발표한 SWFT(Software Fast Track) 제도는 국방 소프트웨어 검증의 속도와 품질을 동시에 확보하기 위한 혁신적 전환점으로 주목받고…
SPARROW SAST와 LDRA로 완성하는 통합 소프트웨어 품질·보안 검증 체계(정적 분석, 시큐어코딩, 코드 커버리지, 인증 대응, CI/CD 자동화)
🔍 복잡해지는 시스템, 이제는 품질과 보안을 함께 관리해야 한다 국방, 항공, 의료, 자동차 등 안전성과 신뢰성이 중요한 산업에서는소프트웨어의 복잡도가…
LDRA 본사 내한, KAI대상 온사이트 세미나 및 항공우주시스템공학회 키노트 세션 발표
국내에 ㈜모아소프트가 단독으로 서비스하는 소프트웨어 인증/검증 솔루션 LDRA의 영국 본사가 지난 5월 20일 내한하여 한국항공우주산업㈜ 본관 대강당에서 ‘최신…
SBOM 소프트웨어 공급망 보안을 위한 필수 도구
최근 전 세계적으로 소프트웨어 공급망 보안의 중요성이 강조됨에 따라 SBOM(Software Bill of Materials)이 핵심 화두로 떠오르고 있습니다. 특히 KISA(한국인터넷진흥원)가…
소프트웨어 품질과 보안의 핵심인 정적분석
[vc_row][vc_column][vc_column_text css=””] 지난 포스팅에서는 시큐어코딩의 위배 사례 및 대응책에 관해 알아보았습니다. 시큐어코딩을 올바르게 적용하였는지 확인하는 방법에는 여러 가지가 있습니다.…
[경남지사 개소기념] ‘소프트웨어 감항인증 획득을 위한 기술 발전 세미나’ 성료
[경남지사 개소기념] ‘소프트웨어 감항인증 획득을 위한 기술 발전 세미나’ 성료 바쁜 업무 중에도 지난 15일 진행된 ‘소프트웨어 감항인증 획득을 위한 기술…
UAM 감항을 위한 시스템 안전성 요구 기준 및 설계 프로세스 분석
UAM 감항을 위한 시스템 안전성 요구 기준 및 설계 프로세스 분석 Analysis of UAM system safety requirements and design process…
C# 정적분석 가이드 #2
All Rules rule set All Rules rule set에는 네이티브 및 관리 코드에 대한 모든 규칙이 포함됩니다. 규칙 세트에는 다음 주제에서 설명하는…
SW 테스트 필요성 및 테스트 기법 소개
사람은 코드, 소프트웨어, 시스템, 또는 문서 안에 결함을 만들어내는 오류(실수)를 범할 수 있습니다. 만약 결함 코드가 실행되면 시스템은 정상 동작…
C# 정적분석 가이드 #1
C# Coding conventions C#은 2000년 7월에 개최되었던 Professional Developers Conference(PDC)에서 .NET 프로젝트와 함께 발표된 객체 지향 프로그래밍 언어입니다. 마이크로소프트에서 개발되었으며,…
Code Warrior & on Target 시험 사례
무인기체계 SW의 Target 환경 구축에 따른 지원 결과 중, Code Warrior를 이용한 구축 사례에 대해 살펴 보겠습니다. 시험환경 IDE: Code Warrior 10.5 Compiler:…
CWE (Common Weakness Enumeration) 란?
CWE (Common Weakness Enumeration) 란? Common Weakness Enumeration의 약자로, 나열된 단어 자체만 본다면 ‘일반적인 결함의 나열’ 이라고 볼 수 있습니다. 지침서와 같은 ‘CWE’를 이용하면 정적…
Matlab와 LDRA 연동을 통한 소프트웨어 검증
[Matlab와 LDRA 연동] 이번 포스팅에서는 Matlab과 LDRA 솔루션의 연동 방법에 대하여 알아보겠습니다. Matlab은 Matrix Laboratory의 줄임말로 MathWorks 회사에서 1984년 출시된 공학,…
DO-178 규격에서의 구조적 커버리지 분석
요구사항 기반 시험을 진행한 뒤, 실행되지 않은 소스 코드에 대한 커버리지를 만족하기 위해 어떠한 활동이 필요한지 DO-178에서 기술하는 구조적 커버리지…
LDRA 기본 과정(2021. 12. 9~10)
1. 개요 LDRA user training은 국방, 자동차, 철도 등 다양한 분야의 소프트웨어 종사자 및 소프트웨어 테스팅에 관심있는 분들에게 각 분야에서…