Mathematic software testing framework