JUnit is a simple framework to write repeatable tests. It is an instance of the xUnit architecture for unit testing frameworks.
For more information, please visit:
We used the forked JUnit4 source code to evaluate our project: Nullness_Lite
| The Checker Being Evaluated | Branch Name |
|---|---|
| The Nullness_Lite Option | annos_nl_all |
| 1) All variables initialized | annos_nl_init |
| 2) No aliasing + all methods @SideEffectsFree | annos_nl_inva |
| 3) Map.get() returns @NonNull | annos_nl_mapk |
| 4) BoxedClass.valueOf() are @Pure | annos_nl_boxp |
| The Nullness Checker | annos_nc_all |
| IntelliJ | intellij1 |
| IntelliJ with Infer Nullity | intellij2 |
| Eclipse | eclipse |
| FindBugs | findbugs |
| NullAway with annotations added by Infer Nullity | Nullaway_Intellij |
| NullAway with annotations required for the Nullness Checker | Nullaway_nc |
| NullAway with annotations required for NullnessLite | Nullaway_nl |
We only added additional Comments that provides infomation for our evaluation process. For more infomation, please look at the Evaluation section in our project's report.