test coverity