소프트웨어 시스템에서 가장 드물고 가장 찾아내기 어려운 Data Race를 자동으로 찾아 주어 개발과 테스팅 노력을 줄여 줍니다.


RV-Predict 특징

  • 찾기 어려운 Java data races를 false Alarms 없이 자동으로 찾아줍니다. (C data race는 2016년말 예정)
  • 유닛 테스트, build infrastructure, CI(Continuous Integration)과 매끄럽게 연동 시킬수 있습니다
  • 어떠한 동적툴보다 가장 많은 race를 찾아내는 검출 알고리즘

첨단 학문적 연구를 바탕으로 개발된 RV-Predict는 사용이 쉽고, 자동적이고, 엄격한 race 분석도구 입니다. 널리 배포된 소프트웨어 시스템에서 수 백여개의 실제 버그를 찾아내었습니다. false Alarms이 없어서 개발자가 더 이상 시간을 낭비하지 않습니다.

RV-Predict 탐지 가능 오류

  • race condition
  • atomicity violations


predict_overview