kömür madenciliği yazılım testleri