Skip to main content

Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.

Jump to: navigation, search

Difference between revisions of "TPTP Testing With Code Coverage"

(Reporting)
(Background)
Line 3: Line 3:
 
[http://emma.sourceforge.net EMMA] is an open-source toolkit, written in Java and hosted on [http://sourceforge.net SourceForge], for measuring and reporting line level code coverage statistics of Java applications.
 
[http://emma.sourceforge.net EMMA] is an open-source toolkit, written in Java and hosted on [http://sourceforge.net 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.
+
TPTP is conducting a Proof of Concept (PoC) to evaluate using EMMA for generating line level code coverage statistics when testing TPTP.
 +
 
 +
== EMMA Instrumentation ==
 +
 
 +
To generate line level code coverage statistics, the Java application is instrumented
  
 
== Reporting ==
 
== Reporting ==

Revision as of 11:38, 29 October 2007

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.

EMMA Instrumentation

To generate line level code coverage statistics, the Java application is instrumented

Reporting

EMMA coverage reports are generated from the line level code coverage metadata and data files, created when EMMA-instrumenting and running an application.

Example EMMA Coverage Report

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.

Back to the top