A. Evaluation Components
1. ReaderWriterSync
2. FIFOReadWriteLock
3. Mutex
4. Piper
Components 1-3 were developed using Doug Lea's components in the java.util.concurrent package release 1.3.4.
Component was developed using the benchmark of concurrent components at Haifa University.
B. List of Defects
| Component Name | Method Step: Defect(s) seeded | Tool report (if any) | False Positive |
| FIFOReadWriteLock | 6. Deadly embrace 2. Interference |
||
| Mutex | 1,2. Interference 4. Encapsulate 8a. Wait not in loop 8b. Incorrect condition |
FindBugs (FB): 1, 8a | 2 FB and 1 Jlint |
| ReaderWriterSync | 3. Lock reassigned 5,6. Deadly embrace |
Jlint: 3, 5 | 1 FB |
| Piper | 8. Wait not in loop 7. notify vs notifyAll |
FB: 8, 7 | |
| Totals | 10 | 6 | 4 |
C. Training Slides
Treatments:
1. Code walkthrough/Code Inspection
2. TestCon Code Inspection
3. Jlint & FindBugs with
TestCon
4. Jlint & FindBugs
Additional slides:
5. Java Concurrent
Components
6. Full TestCon
D. Data Collection Sheets
1. Code walkthrough/Code
Inspection
2. TestCon Code
Inspection
3. Jlint & FindBugs with
TestCon
4. Jlint & FindBugs