Polyspace Server 및 Access 를 활용한 SW 정적검증 자동화
만도 이민채
ADAS 및 자율주행 SW는 변경 주기가 빠르고 SW 구조가 복잡하며 작은 Defect도 시스템에 큰 영향을 줄 수 있습니다. 따라서 자율주행 SW는 지속적이고 반복적으로 SW 검증이 필요하며, 효율적인 검증을 위해 자동화가 필수적 입니다.
만도는 SW 검증 효율화를 위해 Polyspace Server™ 제품군을 사용하여 SW 정적 검증 자동화 시스템을 구축 하였으며, 이를 통하여 개발자와 시험자의 SW 정적 검증을 시간을 단축할 수 있었습니다. 또한, Polyspace Access™ 제품군을 도입하여 Web을 기반으로 SW 검증 결과를 검토할 수 있도록 하여, 효율적으로 SW Defect들이 개선되고 관리될 수 있도록 하였습니다.
발행: 2021년 5월 19일
