Eclemma nói 1 trong 4 chi nhánh không được bảo hiểm, nhưng nhánh nào?

Question

Có cách nào đơn giản để cho biết chi nhánh nào tôi đang thiếu? I E. Tôi có một số mã như thế này:

if (x || y) { 
    // do stuff 
} 

Trong vùng phủ sóng nổi bật có một chấm màu vàng trong Eclipse nói rằng:

1 của 4 chi nhánh bỏ lỡ

nhưng tôi muốn biết nhánh nào bị thiếu.

Answer 1

Một open issue trên repo github cho mẹ Eclemma của, jacoco, gợi ý rằng một tính năng như vậy sẽ thực sự là một chút khó khăn để bao gồm.

Tuy nhiên, ngay cả khi không có tính năng Eclemma, nếu mục tiêu chỉ là tìm ra các nhánh bị mất trong một trường hợp cụ thể, bạn có thể đặt mã của bạn để theo dõi. Ví dụ đơn giản nhất là báo cáo in lỗi thời cũ:

if (x || y) { 
    System.out.println("BRANCH: " + x + ", " + y); 
    // Do stuff 
} 

Sau đó nhìn vào sản lượng và xem những gì bạn thực sự chi nhánh nhấn (ví dụ java ... | grep "BRANCH:" | sort | uniq). (Không phải là terribly thỏa mãn, tôi biết.)

Answer 2

Điều gì có thể x và y là?

• true || true là đúng (Không bao trả vì JVM tối ưu hóa: nếu điều kiện đầu tiên là true, thứ hai sẽ không được đánh giá do đánh giá ngắn mạch)
• false || true là đúng
• true || false là đúng
• false || false là false

Answer 3

Có thể có các chi nhánh tiềm ẩn hoặc từ các câu lệnh lồng nhau trong khối hoặc các câu lệnh if mở rộng các thuộc tính x hoặc y của bạn.

đọc này: http://emma.sourceforge.net/faq.html#q.fractional.examples

Answer 4

Câu trả lời được true|| true không được bảo hiểm.

Điều này là do một khi JVM đã tìm thấy điều kiện đầu tiên là đúng, sau đó nó sẽ không chạy điều kiện thứ hai (nó được tối ưu hóa) có nghĩa là phần mã không bao giờ chạy.

Như Maroun cho biết, 3 trong số 4 chi nhánh sẽ cho phép điều kiện vượt qua. Nếu bạn vẫn lo lắng về phạm vi mã, bạn có thể cấu trúc lại điều kiện là && thay vì ||.

(x || y) cũng giống như (!(!x && !y)) và điều này sẽ cho phép bạn kiểm tra tất cả các điều kiện vì hiện tại chỉ có ba nhánh.

Hình thức ban đầu của điều kiện thường được nhìn thấy trong báo cáo bảo vệ:

if (obj == null || obj.hasError()) 
{ 
    throw new RuntimeException(); 
} 

này sẽ không bao giờ cho phép bạn kiểm tra xem obj là null VÀ có lỗi bởi vì nó sẽ ném một ngoại lệ Null Pointer.

Nếu mã số bảo hiểm là rất quan trọng, sau đó chỉ dùng biểu mẫu này:

if (!(obj != null && !obj.hasError())) 
{ 
    throw new RuntimeException(); 
} 

Answer 5

Có một woarkaround khá dễ dàng - chỉ cần đưa từng vị ngữ logic trong dòng riêng, như thế này:

if (x 
    || y) { 
    System.out.println("BRANCH: " + x + ", " + y); 
    // Do stuff 
} 

Bây giờ khi bạn sẽ chạy analisys, các điểm đánh dấu sẽ trỏ thẳng vào nhánh bị bỏ qua. Sau khi bạn sẽ bao gồm nó, bạn có thể định dạng lại mã của bạn đúng cách.

HTH