support vector machine software testing