슈어소프트테크 분기보고서 (2026.03)
1. 사업의 개요

당사는 고신뢰·고위험 소프트웨어, 즉 Mission Critical Software의 안전성을 검증하기 위한 자동화 도구 개발ㆍ공급과 제3자 검증 서비스를 제공하는 소프트웨어 자동화 검증 플랫폼 기업입니다. 나아가 기존 Mission Critical SW 검증 역량을 바탕으로 AI 자체를 검증(Test of AI)하고 AI를 활용해 검증을 고도화(Test by AI)하는 Safe Intelligence 사업을 전개함으로써, 산업 현장의 소프트웨어와 AI 시스템이 신뢰성ㆍ안전성ㆍ책임성을 갖고 작동하도록 지원하고 있습니다.

1. Mission Critical SW

고신뢰 고위험 소프트웨어는 기능안전 국제표준에 근거하여 개발 과정(V-Process)에 따라 정의된 검증 활동이 필수적으로 요구되고, 당사는 필수 검증 활동을 자동화하는 소프트웨어 원천 기술과 20여년간 축적된 3자 검증 서비스 기술력을 보유하고 있으며, 자체 개발 기술로 빠른 고객 서비스 대응의 차별성을 가지고 국내 시장 점유율을 높여가고 있습니다.

당사는 시험검증 자동화 솔루션을 라이선스 및 유지보수(license and maintenance), 기간단위 구독 방식(subscription)으로 자동차, 국방, 원자력 및 에너지, 철도/항공/조선/로봇 분야의 국내 선두 기업에 공급하고 있으며 고위험 고신뢰 소프트웨어 특성상 개발자와 별도의 3자 검증이 필요한 고객들을 대상으로 자사 솔루션을 활용한 검증 서비스도 제공하고 있습니다.

현재 자동차 소프트웨어 분야는 당사 사업 성장의 핵심 영역입니다. 글로벌 자동차 시장의 중심축이 된 SDV(Software Defined Vehicle) 체제 전환은 당사의 소프트웨어 시험검증 사업과 밀접한 관계를 형성합니다. 자동차 제어기 시험검증 사업을 수행하며 자동차 제어기 소프트웨어에 대한 지식과 경험이 축적되었으며, 자동차 소프트웨어의 개발 과정에 대한 이해가 깊어지며 자동차 소프트웨어에 특화된 시험검증 솔루션을 개발하는 영역까지 확대되었습니다. 최근에는 차세대 차량의 제어기 일부 소프트웨어를 직접 개발하며 자동차 소프트웨어 종합 엔지니어링 파트너로 성장하고 있습니다.

당사의 사업에 대하여 자세히 설명하기에 앞서 소프트웨어 테스팅에 대한 간략한 설명을 서술하자면 다음과 같습니다.

소프트웨어 테스팅은 수동이나 자동으로 시스템을 작동시키고 평가하는 작업으로, 명시된 요구 사항을 만족하는지 여부를 확인하는 것입니다. 즉, 예상된 결과와 실제 결과와의 차이를 인식하기 위한 목적을 지니고 있습니다. 구체적으로 소프트웨어 테스팅이란 응용 프로그램 또는 시스템(구성요소를 포함해서)의 동작과 성능, 안전성이 사용자가 요구하는 수준을 만족하는지 확인하기 위해 결함을 발견하는 매커니즘입니다. 해당 매커니즘을 통해 사용자의 기대 수준과 요구 사항에 맞게 구현되고 동작하는지를 확인하고 이를 통해 결함을 발견하고 최종적으로 결함 데이터를 근간으로 개발 프로젝트의 리스트 정보를 정량적 수치로 프로젝트 관리자에게 전달할 수 있습니다.

소프트웨어를 개발하는 동안 개발자(Human)는 코드를 잘못 쓰거나 문서 작성에 실수를 하는 오류를 범할 수 있습니다. 이러한 오류는 소프트웨어 코드의 결함을 유발하게 되며, 해당 결함이 장애(오작동)을 일으키게 되고 이는 심각한 경우 인명의 피해 및 재산상의 피해를 야기하게 됩니다. 따라서 개발 과정에서부터 소프트웨어 테스팅을 통해 문서 결함 수정 및 코드 내 결함 등을 발견하여 소프트웨어 기능 구현시 위험을 줄일 수 있으며, 이는 소프트웨어 품질 향상을 통해 사용자에게 안전성을 제공하게 됩니다.

소프트웨어 테스팅은 크게 두가지의 구분(테스트 수행시 소프트웨어의 동작 유무에 따른 구분, 소프트웨어 내부 구조의 파악여부)과 네 가지의 용어(정적 테스트/동적 테스트, White Box 테스팅/Black Box 테스팅)로 구분을 할 수 있습니다.

먼저, 테스트 수행시 소프트웨어의 동작 유무에 따른 구분입니다. 정적 테스트 (Static Testing)은 프로그램을 실행하지 않고 소스코드 전체 또는 일부를 분석하는 기법이고, 동적 테스트 (Dynamic Testing)은 소프트웨어를 실행하여 다양한 입력 값에 대해 기대하는 결과 값이 나타나는지 확인하는 테스팅 기법입니다.

두번째 구분 기준은 소프트웨어 내부 구조의 파악여부입니다. White-Box 테스팅은 소스 코드 구조를 기반으로 테스트를 수행하는 기법으로 코드의 수행 경로, 불필요한 코드 혹은 테스트되지 못한 부분을 확인합니다. Black-Box 테스팅은 프로그램 코드의 정보를 이용하지 않거나, 혹은 이용할 수 없을 때에 테스트 케이스를 설계하는 방법으로 코드 정보 이외에 명세 정보나 시스템 인터페이스 정보 등을 이용하여 테스트 케이스를 설계하는 방법으로, 이를 통해 기능 누락 오류를 검출하는 것을 목적으로 합니다. 당사는 White-Box 테스팅 분야에서 강점을 보이고 있으며, 코드를 기반으로 전문 테스트 기술력으로 사업화에 성공하였습니다.

소프트웨어 테스팅과 관련하여 V-Model은 소프트웨어 생명 주기를 모형화 한 것으로 소프트웨어 공학에서 발현된 폭포수 모형에서 시스템 검증과 테스트 작업이 강조된 체계입니다. 시스템이나 시스템 컴포넌트 또는 소프트웨어 프로그램 등을 테스트하는 작업이 이들에 포함된 단순한 코딩의 오류만을 찾는 작업이 아니라 요구사항 분석에서의 오류, 설계 등 개발 단계의 작업들에 대한 테스트를 포함한다는 내용을 개발 프로세스와 통합하여 체계화한 개념으로 국내 임베디드 기업들 대부분이 도입하고 있는 프로세스입니다.

아래 예시는 V-Model을 국제기능안전표준에 명시한 내용입니다. (자동차 분야 ISO26262 Part6 중)

이러한 V-Model 상에서 요구사항을 정의하는 개발의 시작 단계부터 마지막 인수 단계까지 각 단계별 활동에 대한 검증을 통해 소프트웨어 품질을 높이는 활동을 V(Validation Verification)이라고 합니다. 당사는 단계별로 필요한 자동화 도구를 사업화하는데 성공하였고, 자동화 도구로 활용할 수 없는 영역은 전문 검증 인력들이 고객사에 투입되어 직접 검증을 수행하고 있습니다.

* Validation: 소프트웨어 요구사항에 따른 구현 및 동작을 확인하는 활동으로 사용자의 관점에서 요구사항을 만족하는지 평가하는 활동입니다.

* Verification: 표준 및 지침에서의 정의된 품질 특성을 만족하는지 확인하는 활동으로 개발단계의 산출물이 설정 조건을 만족하는지 검증하는 활동입니다.

Mission Critical Software: 자동차ㆍ국방ㆍ우주항공ㆍ의료ㆍ금융 등 작은 실수만으로도 치명적인 결과를 초래할 수 있는 산업을 고신뢰 고위험(Mission Critical) 산업이라고 정의할 수 있습니다. 해당 분야의 소프트웨어는 결함이 발생할 경우 인명 사고 또는 막대한 경제적 손실을 초래하기 때문에 신뢰성, 안전성 등 고품질 확보가 매우 중요합니다.

당사는 국내 원천 기술 보유, 최다 업무 경험 보유, 자체 개발 기술로 빠른 고객 서비스 대응의 차별성을 가지고 국내 시장 점유율을 높여가고 있습니다.

당사의 Mission Critical SW 사업부문과 관련된 솔루션과 서비스 제품군은 크게 네 가지 유형으로 나눌 수 있습니다.

Code Verification: 소프트웨어 소스 코드의 정적, 동적 오류를 검출하는 자동화 소프트웨어 (Controller Tester, STATIC), 시험검증 활동을 모니터링하고 추적하는 소프트웨어 (COVER, VPES, VSPICE) 및 이를 활용한 3자 코드 검증 서비스를 포함합니다.

System Verification: 소프트웨어 모듈 구성과 상호 작용을 시험하는 소프트웨어 (AESOP, AUTORACT), 결함주입시험과 부하시험 등 시스템 강건성을 시험하는 소프트웨어 (FIT, PROV) 및 이를 활용한 3자 시스템 검증 서비스를 포함합니다. 이 시험에서는 HILS(Hardware-in-Loop), EILS(ECU-in-Loop) 등 별도의 시험장비와 환경을 구축하여 활용하기도 합니다.

Model Verification: 소프트웨어 코딩 전에 모델 단계에서 정적, 동적 오류를 검출하는 자동화 소프트웨어 (Model Inspector, Model Verifier) 및 이를 활용한 3자 모델 검증 서비스를 포함합니다.

Mission Critical SW development: Mission Critical SW development는 고신뢰ㆍ고위험 산업에서 요구되는 기능안전ㆍ보안ㆍ품질 요구사항을 개발 초기부터 반영하여, 요구사항 분석부터 설계, 구현, 모델 기반 개발(MBD), 단위ㆍ통합 시험, 검증 산출물 관리까지 수행하는 개발 서비스입니다. 당사는 20여 년간 축적한 V 경험과 자체 자동화 도구를 개발 프로세스에 내재화하여 자동차 SDV, 국방, 원자력, 철도,항공 등 안전 필수 시스템의 SW 개발 품질과 추적성을 확보합니다. 특히 자동차 분야에서는 제어기 시험검증 경험을 기반으로 차세대 차량의 일부 제어기 SW 개발까지 수행하며, 검증 전문 기업을 넘어 안전한 SW를 직접 설계ㆍ구현ㆍ검증하는 종합 엔지니어링 파트너로 사업을 확장하고 있습니다. 2. Safe Intelligence

Safe Intelligence는 AI가 산업 현장과 물리 시스템으로 확산되는 과정에서 소프트웨어와 인공지능의 신뢰성ㆍ안전성ㆍ보안성을 통합적으로 확보하는 당사의 신규 사업 영역입니다. 기존 소프트웨어 안전성 검증은 코드와 시스템의 결함을 찾는 데 초점을 두었으나, AI 기반 시스템에서는 데이터 품질, AI 모델의 강건성, 에이전트의 행동 이력, 서비스 운영 환경까지 함께 검증해야 합니다. 당사는 Mission Critical SW 검증 역량에 AIㆍ빅데이터ㆍ디지털 트윈ㆍ로봇 기술을 결합하여 Safe Intelligence 사업을 Trustworthy AI, Vertical AI, Physical AI Robotics의 세 축으로 전개하고 있습니다. 이를 통해 AI 자체의 안전성을 검증하는 Test of AI와 AI를 활용해 검증 업무를 고도화하는 Test by AI를 동시에 추진하여, 고객사가 산업 현장에 AI를 안전하고 효율적으로 도입할 수 있는 기술 기반을 제공합니다.

Trustworthy AI: Trustworthy AI는 AI 모델, AI 서비스, AI 에이전트가 실제 업무와 산업 시스템에서 신뢰성, 안전성, 보안성, 윤리성 및 설명가능성을 충족하는지 시험·평가하는 사업 영역입니다. 기존 SW와 달리 AI 시스템은 학습 데이터, 모델 구조, 프롬프트, 외부 도구 호출, 실행 이력 등에 따라 결과가 달라질 수 있으므로 새로운 검증 체계가 필요합니다. 당사는 Trustworthy AI를 두 축으로 추진합니다. 첫째, Test of AI는 데이터 품질, 모델 정확성ㆍ강건성, 편향ㆍ환각, 보안 취약점, AI 에이전트의 민감정보 유출 위험 및 행동 절차를 검증하는 영역입니다. 둘째, Test by AI는 요구사항·설계서 분석, 테스트 케이스 자동 생성, 코드 의미 분석, 문서 업데이트, 검증 산출물 생성 등 기존 V 업무에 AI를 적용하여 생산성과 일관성을 높이는 영역입니다. 당사는 ALIRA-AI, VERIFAI 계열 솔루션과 3자 검증 서비스 역량을 통해 고객사가 AI를 보다 안전하게 도입ㆍ운영할 수 있도록 지원합니다. 또한 Trustworthy AI와 국제 표준의 권고사항 및 국가 AI 윤리기준에 입각하여AI 모델 및 시스템의 신뢰성, 윤리성, 강건성을 종합적으로 평가하는 검인증 제도인 AI-MASTER를 운영하여 AI 신뢰성 인증을 수행하고 있습니다.

1) Test of AI(VERIFAI): Test of AI는 AI 모델과 AI 기반 서비스가 의도한 성능과 안전 기준을 충족하는지 모델 자체를 시험ㆍ평가하는 영역입니다. VERIFAI는 모델 학습 단계부터 애플리케이션 배포 이후까지 데이터 품질, 모델 화이트박스ㆍ블랙박스 검증, 강건성 및 보안성 점검을 지원합니다. 또한 학습 데이터 증강과 AI 시스템 검증용 데이터 솔루션을 함께 제공하여 고객이 AI 모델의 성능 저하, 편향, 환각, 민감정보 유출 등 운영 리스크를 사전에 식별하고 개선할 수 있도록 합니다.

2) Test by AI(ALIRA-AI): Test by AI는 기존 소프트웨어 공학과 V 활동에 AI 자동화 기술을 적용하여 검증 생산성과 산출물 품질을 높이는 영역입니다. ALIRA-AI는 요구사항 작성, 아키텍처ㆍ상세 설계, 코딩ㆍ디버깅, 단위ㆍ통합ㆍ시스템 시험, 문서 업데이트까지 개발 V-Process 전반을 지원합니다. 변경 시 요구사항ㆍ설계ㆍ코드ㆍ테스트 산출물 간 추적성을 자동으로 유지하고, 테스트 케이스 생성과 검증 산출물 작성 업무를 표준화함으로써 고신뢰 SW 개발 현장의 반복 업무를 줄이고 일관된 품질 관리를 가능하게 합니다.

Vertical AI: Vertical AI는 범용 AI를 산업별 업무, 데이터, 규제, 운영 프로세스에 맞게 특화하여 고객의 의사결정과 운영 효율을 높이는 사업 영역입니다. Mission Critical 산업에서는 범용 모델만으로 현장의 전문 용어, 국제표준, 개발 프로세스, 보안 요건을 충분히 반영하기 어렵기 때문에, 도메인 데이터와 업무 지식을 결합한 특화형 AI가 필요합니다. 당사는 (주)모비젠의 빅데이터ㆍAIㆍ클라우드 기술과 슈어데이터랩(주)의 데이터 소프트웨어 역량을 바탕으로 국방, 스마트팜, 에너지ㆍ공공, 제조 등 산업별 데이터 파이프라인, 분석 모델, 업무 특화 AI 서비스를 구축합니다. 또한 기존 V 및 산업 도메인 지식을 결합하여 데이터 수집ㆍ분석ㆍ예측ㆍ모니터링ㆍ의사결정 지원까지 수행할 수 있는 산업 특화 AI를 제공하고, Trustworthy AI 검증 체계와 연계해 성능뿐 아니라 데이터 품질, 운영 안정성, 보안성까지 함께 확보합니다.

Physical AI Robotics: Physical AI Robotics은 AI가 디지털 공간을 넘어 실제 물리 환경에서 인지ㆍ판단ㆍ계획ㆍ제어를 수행하도록 지원하는 사업 영역입니다. 자율주행차, 이동 로봇, 스마트 빌딩, 제조 설비 등 물리 시스템에 적용되는 AI는 센서 데이터, 위치 정보, 제어 SW, 통신, 안전 메커니즘이 함께 작동하므로 시뮬레이션과 실증 환경에서의 검증이 필수적입니다. 당사는 기존 자율주행 시뮬레이션 및 데이터 분석 역량에 디지털 트윈, 3D 공간 인식, 실내 측위, 로봇ㆍAR 기반 공간 가이드 기술을 결합하여 물리 AI와 로봇 분야의 개발ㆍ검증 기반을 확대하고 있습니다. 이 영역에서는 물리 환경을 디지털 트윈으로 정밀하게 구현하고, AI 로봇이 안전하게 이동ㆍ작업ㆍ상호작용하는지 검증하며, 실제 현장 운영 데이터를 다시 AI 모델과 검증 체계에 반영하는 폐쇄형 안전 검증 체계를 구축하는 것을 목표로 합니다.

1) 디지털 트윈 기반 시뮬레이션: 뉴럴 피직스 엔진과 통합된 실사 기반 3D 시뮬레이션 엔진인 'EXACTWIN'과 제어기 가상화 검증 도구 'SIMVA', 디지털 트윈 구축 도구 'AUTOSIM'을 통해 가상 환경에서의 빠르고 완벽한 안전 검증을 수행합니다

2) 로보틱스 및 자율주행 패키지: 센서와 자율주행 소프트웨어가 결합된 로봇 패키지를 공급하고, 고객 수요에 특화된 서비스 로봇 개발 및 Physical AI 기술 개발을 통해 무인 자율화 생태계의 핵심 인프라를 제공합니다.