Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
TPTP Testing With Code Coverage
Background
EMMA is an open-source toolkit, written in Java and hosted on SourceForge, for measuring and reporting line level code coverage statistics of Java applications.
TPTP is conducting a Proof of Concept (PoC) to evaluate using EMMA for generating line level code coverage statistics when testing TPTP.
Reporting
EMMA coverage reports are generated from the line level code coverage metadata and data files, created when EMMA-instrumenting and running an application.
Note: The line level code coverage statistics in this report are generated from executing only a fraction of the test cases for the TPTP 4.4.0.3 smoke test pass.
To generate a EMMA coverage report:
java.exe -cp emma.jar emma report -verbose -input EMMA_Coverage.metadata,EMMA_Coverage.data -report html -Dreport.out.file=EMMA_Coverage_Report.html
where
- EMMA_Coverage.metadata: One or more EMMA metadata file(s).
- EMMA_Coverage.data: One or more EMMA data file(s).
- EMMA_Coverage_Report.html: HTML EMMA coverage report.
For more information, see the EMMA instructions.