Dlaczego pokrywa EclEmma nie jest zsynchronizowana (MyClass.class)?

Question

Używam EclEmma do analizy zasięgu.

Mój kod Java zawiera blok synchronizowany (MyClass.class) {}.

EclEmma mówi, że jest tylko częściowo zakryty, mimo że mam test jednostkowy, w którym jeden wątek uzyskuje dostęp i inny wątek jest zablokowany.

Czy możliwe jest uzyskanie pełnego zasięgu synchronizacji przy użyciu EclEmma?

Czy mogę opisać kod w jakiś sposób, aby powiedzieć EclEmma, ​​aby przekazać tę linię w pełnym zakresie?

poważaniem Roger

Answer 1

nie jestem pewien, że jest możliwe, aby uzyskać pełne pokrycie, ponieważ issue 2939804 raportów:

EMMA zawsze znaki synchronized(..) jak częściowo pokryte

Przykłady:

synchronized (lock) // partially covered (yellow line in EclEmma) 
{ 
// ... 
} 
synchronized (this) // partially covered (yellow line in EclEmma) 
{ 
// ... 
} 

Może inne narzędzie (like Cobertura) przyniosłoby inny wynik? (Nie testowałem tego ostatnio).

---

zaktualizowana wersja z grudnia 2012 (ponad 2 lata później):

Nathan D Ryanreports:

synchronized zaświeci się na zielono, jeśli synchronizowane blok zawiera kod, który czeka na monitorze obiektu, a test przerywa oczekiwany wątek.

Po krótkich eksperymentach udało mi się uzyskać pełne pokrycie linii synchronized, jeśli blok synchronized ukończył normalnie i zakończył się nagle z powodu wyjątku.

Answer 2

Wierzę, że problem jest MyClass.class który podobno jest realizowany za pomocą

http://emma.sourceforge.net/faq.html#q.fractional.examples

niejawnego oddziały z powodu ukrytej Class.forName(). Ten przypadek jest raczej niefortunny, ponieważ jest dość powszechny, a programista prawie nie ma nad nim kontroli.

Ponieważ Class.forName() może wyświetlać sprawdzane wyjątki, kompilator wysyła blok catch, który ponownie je odrzuca jako niezaznaczony. Ten blok catch prawie nigdy nie jest wykonywany w praktyce, ale udało mu się zaznaczyć linię jako częściowo zakrytą.

Brakowało mi tego przy pierwszym czytaniu.

Spróbuję ponownie napisać mój kod, aby uzyskać pełny zasięg.

/Roger

Answer 3

EclEmma wykorzystuje Jacoco pod do badania pokrycia.

Jak wyjaśniono w Jacoco (obecnie nieistniejąca) JAVAC.SYNC filtering option zachowanie jest wynikiem kodu bajtowego wygenerowany dla zsynchronizowanych bloków:

Java zsynchronizowane bloku zostanie skompilowany do dwóch instrukcji kodu bajtowego: MONITORENTER u początek i MONITOREXIT na końcu bloku.

Aby upewnić się, że monitor został zwolniony, w każdym przypadku zainstalowana jest procedura obsługi wyjątku wskazująca inną instrukcję MONITOREXIT. Ten blok obsługi wyjątków zwykle powoduje częściowe pokrycie linii, co nie ma sensu z punktu widzenia kodu źródłowego.

A related Jacoco issue 245 wyjaśnia, w jaki wyjątki mogą być wyzwalane do osiągnięcia pełnego pokrycia, powinno to być potrzebne, jak również wyjaśnić @ nathan-Ryan:

1. jeden test, który wykonuje zsynchronizowany blok normalnie
2. Drugi test, który zgłasza (i oczekuje) wyjątek od wewnątrz zsynchronizowanego bloku.