top of page
이미지 제공: Mohammad Rahmani

솔루션

혁신적인 자동 소프트웨어 테스팅 도구

브이플러스랩은 저렴한 비용으로 빠르게 소프트웨어 품질과 안정성을 크게 향상시키는 자동 테스팅 솔루션을 제공합니다

이미지 제공: vackground.com

혁신적인 자동 소프트웨어 테스팅

KAIST연구진출신의 브이플러스랩이 10년간 자체 개발한 AI 기반 Concolic 테스팅 엔진으로 C 프로그램 소스 코드를 자동으로 분석, 프로그램의 모든 가능한 시나리오들을 수행하는 다양한 테스트 입력값을 사람의 수작업 없이 100% 자동 생성하는 SW 동적 검증 테스팅 솔루션입니다.

 
이미지 제공: Luca Bravo

C 소스 코드

AI 기반 Concolic 테스팅 엔진

 +
AI 기반 Fuzzin
g 테스팅 엔진

Driver / Stub 생성기

테스트 커버리지 및

버그 리포트 생성기

​유닛 테스트 입력값과 드라이버/스텁 코드

이미지.PNG

테스트 커버리지 및 오류 리포트

Why CROWN 2.0

90% 이상 높은 분기 커버리지/ 80%이상 MCDC 커버리지 자동 달성

그래프

분기 커버리지 달성

MC/DC 커버리지 달성

- 20만줄의 현대모비스 차량 SW에 적용한 테스트 결과

- 세계 최고 SW공학 국제학회 ICSE ‘19 에 발표하여 공신력 확보

단위 검증/유닛 테스팅에 소요되는 테스팅 인력 80% 이상 절감

+ 현대모비스 차량 SW 검증 인력이 30 MM → 5 MM 로 절감

30MM

5MM

이미지 제공: Václav Pechar

현대자동차 남양 연구소 및 판교 연구소에서 제동(brake), 조향(steering),

현가(suspension) 등 다양한 차량용 SW 동적 검증에 활발하게 사용중

bottom of page