최근 소프트웨어 품질관리 전문 기업인 이웨이파트너즈가 미국 런타임베리피케이션사와 파트너 계약을 맺고, 런타임 분석도구를 국내에 선보일 계획이라고 밝혔다.

미국 일리노이 대학의 포멀 시스템 랩(Formal System Lab)에서 출발한 벤처 기업인 런타임베리피케이션은 소프트웨어 시스템을 동적인 상황에서 모니터링·분석하여 소프트웨어 시스템의 안정성 및 신뢰성, 정합성을 높이는 제품을 개발하는 업체다.

대표인 그리고레 로슈(Grigore Roshu)가 NASA 연구원으로 근무하던 시절, 동적인 상황에서 소프트웨어를 검증하는 기술인 ‘런타임 검증(runtime verification)’이라는 용어를 창안하여 학계에 발표하였으며, 지난 2001년에는 소프트웨어 시스템 런타임 검증에 관한 국제 컨퍼런스(Runtime Verification International Conference)를 개최하였다. 컨퍼런스는 현재까지 매년 개최되며 산학계가 서로 정보를 교환하고 기술을 연구하도록 도움을 주고 있다.

그리고레는 현재 UIUC의 컴퓨터 과학 교수로 재직하고 있으며, 2010년 런타임베리피케이션사를 설립하고 그 동안의 경험과 지식을 바탕으로 실제로 시장에서 활용 가능한 제품을 개발하고 있다.

런타임베리피케이션사의 대표 제품인 RV-Match는 C 프로그램을 런타임(동적) 상황에서 분석하여 다른 소프트웨어 분석 도구에서 누락되는 까다로운 버그를 찾는 런타임 분석툴이다.

새롭게 개정된 C언어의 표준인 ISO C11 Standard 컴플라이언스에 대해 수학적으로 엄격한 동적 검증을 목표로 하며, C언어의 미정의 동작(undefined behavior; 실행 시 어떤 현상이 일어날지 확실하게 예측할 수 없는 동작)를 찾아내는 데 효과적이다.

미정의 동작은 PC 상에서 코드를 충분히 테스트 했다고 해도, 다른 임베디드 플랫폼에 이식하거나 컴파일러를 교체할 경우 비정상적인 작동을 일으킨다. 동일한 컴파일러에서 옵션을 다르게 적용하더라도 추적하기 어려운 오류를 발생시키거나 호환성에 큰 문제를 일으키게 된다. 때문에 개발자들은 분석툴 등을 사용해 자신의 코드에 미정의 동작이 포함되지 않도록 주의를 기울여야 한다.

여기서 중요한 것은 런타임 분석툴(동적 분석툴)은 코드를 가지고 분석하는 기술인 정적 분석과 달리, 프로그램을 실제로 실행할 수 있어야 한다는 것이다. RV-Match는 프로그램이 실행된 상태에서 분석을 진행하므로, 정적 분석툴과 달리 버그에 허위경보(False Alarm)가 존재하지 않는다.

런타임베리피케이션사의 또 다른 제품인 RV-Predict는 C와 Java언어에서 기존의 도구나 테스팅 방법으로 발견하기 힘든 경합상황(race condition)을 찾는 데 효과적인 도구로, 허위경보 없이 버그를 찾을 수 있다.

이웨이파트너즈 김병익 대표는 7일 “이미 많은 국내 소프트웨어 개발사에서 정적 분석툴을 사용하고 있지만, 반복되는 허위경보로 인한 개발자의 피로도가 높아지고 있다”며 “프로그램을 실행시켜 버그를 분석하는 동적분석툴은 허위경보가 발생하지 않아 프로그램 개발에 도움이 된다”고 설명했다.

이어 “RV-Math와 Unit Test를 결합하는 등 동적 분석툴과 정적 분석툴을 상호적으로 사용하면 보다 효율적으로 사용할 수 있다”고 덧붙였다.

온라인뉴스부 iseoul@seoul.co.kr