Adds support for both class-level and method-level test execution

[qinfendeheichi]

Make test method specification optional in Ant-based test execution

Problem

As discussed in #480 (comment), the current implementation of Defects4j does not support running a specific test class without specifying a test case method. The possible workaround may not be easily integrated with the overall infrastructure.

Solution

This patch introduces two conditional properties in defects4j.build.xml file:

<condition property="run.test.with.method">
    <and>
        <isset property="test.entry.class"/>
        <isset property="test.entry.method"/>
    </and>
</condition>

<condition property="run.test.without.method">
    <and>
        <isset property="test.entry.class"/>
        <not>
            <isset property="test.entry.method"/>
        </not>
    </and>
</condition>

Then, it defines two elements conditionally:

<!-- Case 1: class and method specified -->
<test name="${test.entry.class}" methods="${test.entry.method}" if="run.test.with.method" />

<!-- Case 2: only class specified -->
<test name="${test.entry.class}" if="run.test.without.method" />

Correspondingly, the command check is updated in run_tests subroutine in Project.pm file

The enhancement supports both testClass::testMethod and testClass style test execution.

Example Usage

Defects4j coverage -t org.example.MyTest org.apache.commons.math3.analysis.integration.gauss.HermiteParametricTest