Exploiting traceability uncertainty between software architectural models and performance analysis results