断言grouptype！= null包含4个分支

Question

我需要测试以下代码。

public List<PatientGroup> findGroups(final String groupType) throws HwBaseAppException
{
    assert groupType != null;//4 branches here
    CriteriaBuilder criteriaBuilder=persistence.getCriteriaBuilder();
    CriteriaQuery<PatientGroup> query = criteriaBuilder.createQuery(PatientGroup.class);
    Root<PatientGroup> patientGroupRoot = query.from(PatientGroup.class);
    Predicate condition=criteriaBuilder.equal(patientGroupRoot.get(PatientGroup_.active), Boolean.TRUE);
    Join<PatientGroup, GroupSubType> groupSubTypeRoot = patientGroupRoot.join(PatientGroup_.groupSubType);
    Predicate condition1=criteriaBuilder.equal(groupSubTypeRoot.get(GroupSubType_.groupTypeCode), groupType);
    query.where(condition,condition1);
    query.orderBy(criteriaBuilder.asc(patientGroupRoot.get(PatientGroup_.name)));
    TypedQuery<PatientGroup> tq = persistence.createQuery(query);       
    List<PatientGroup> collections = tq.getResultList();
    return initializeGroupRelationships(collections);
}

在我的测试案例中，我既可以涵盖两个分支的零值，但是代码覆盖范围中的4个分支中有1个分支中的1个分支是什么？其他2个分支是什么？以下是我的测试用例。

 @Test
    public void testFindGroups_1()
        throws HwBaseAppException
    {   
        Mockito.when(persistence.getCriteriaBuilder()).thenReturn(criteriaBuilder);
        Mockito.when(criteriaBuilder.createQuery(PatientGroup.class)).thenReturn(criteriaQuery);
        Mockito.when(criteriaQuery.from(PatientGroup.class)).thenReturn(patientGroupRoot);
        Mockito.when(patientGroupRoot.join(PatientGroup_.groupSubType)).thenReturn(groupSubTypeRoot);
        Mockito.when(persistence.createQuery(Mockito.any(CriteriaQuery.class))).thenReturn(tq);
        Mockito.when(tq.getResultList()).thenReturn(arrayList);
        Mockito.when(arrayList.iterator()).thenReturn(iterator);
        Mockito.when(iterator.hasNext()).thenReturn(true).thenReturn(false);
        Mockito.when(iterator.next()).thenReturn(patientGroup);
        groupServiceDAOImpl.findGroups("groupType");    
    }
    @Test(expected=AssertionError.class)
    public void testFindGroups_2()
        throws HwBaseAppException
    {   
        groupServiceDAOImpl.findGroups(null);   
    }

Answer 1

eclemma eclipse插件使用jacoco库提供覆盖范围分析，在他依次分析字节码。让我们简化一个例子：

class Example {
  void example(Object x) {
    assert x != null;
  }
}

，让我们看一下其字节码：

javac Example.java
javap -v Example

看起来像：

 0: getstatic     #2                  // Field $assertionsDisabled:Z
 3: ifne          18
 6: aload_1
 7: ifnonnull     18
10: new           #3                  // class java/lang/AssertionError
13: dup
14: invokespecial #4                  // Method java/lang/AssertionError."<init>":()V
17: athrow
18: return

您可以看到 - 实际上有2个条件：

1. 启用断言（ifne）
2. x不是null（ifnonnull）

和因此4个可能的变体。