Clover Coverage Report
Coverage timestamp:
Fri Feb 14 2014 01:47:57 UTC
Overview
Package File
FRAMES
NO FRAMES
SHOW HELP
Statistics for project Clover database Thu Feb 13 2014 22:53:34 UTC:
Stmts:
10,201
LOC:
35,331
Total cmp:
4,333
Stmts/Method:
6.38
Branches:
4,270
NCLOC:
20,547
Cmp density:
0.42
Methods/Class:
8.11
Methods:
1,598
Files:
182
Avg method cmp:
2.71
Classes/Pkg:
9.85
Classes:
197
Packages:
20
Statistics for project Clover database Thu Feb 13 2014 22:53:34 UTC:
Stmts:
10,201
LOC:
35,331
Total cmp:
4,333
Stmts/Method:
6.38
Branches:
4,270
NCLOC:
20,547
Cmp density:
0.42
Methods/Class:
8.11
Methods:
1,598
Files:
182
Avg method cmp:
2.71
Classes/Pkg:
9.85
Classes:
197
Packages:
20
Coverage
197 classes, 11,719 / 16,069 elements
72.9%
0.72929245
Class Coverage Distribution
Class Complexity
Most Complex Packages
1.
76.8%
0.76775205
org.qedeq.kernel.bo.service.unicode
(713)
2.
65.3%
0.65338826
org.qedeq.kernel.bo.service.internal
(579)
3.
73.2%
0.7318328
org.qedeq.kernel.bo.service.logic
(409)
4.
80.2%
0.80184656
org.qedeq.kernel.bo.service.basis
(333)
5.
81.4%
0.8139892
org.qedeq.kernel.bo.service.latex
(326)
Most Complex Classes
1.
81.3%
0.8132482
Qedeq2LatexExecutor
(309)
2.
81.5%
0.8148148
Qedeq2UnicodeVisitor
(269)
3.
83.9%
0.83908045
Latex2UnicodeParser
(262)
4.
80.3%
0.8033708
QedeqVoBuilder
(222)
5.
74.4%
0.7441176
WellFormedCheckerExecutor
(168)
Test Results
657 / 657
tests 10,270.92 secs
100%
Top 20 Project Risks
ProofChecker2Impl
Qedeq2Utf8Executor
Latex2UnicodeSpecials
DynamicHeuristicCheckerExecutor
Element2LatexImpl.Funcon
Term
SixDynamicModel
ServiceProcessManager
PluginManager
Qedeq2UnicodeTextExecutor
SimpleProofFinderExecutor
DefaultInternalKernelServices
ProofCheckerFactoryImpl
InternalServiceJobImpl
ProofChecker1Impl
FormulaUtility
KernelQedeqBoStorage
WellFormedCheckerExecutor
FormalProofCheckerExecutor
SubstPredBo
Coverage Tree Map
Generating Coverage Tree Map. Please wait...
Least Tested Methods
1.
0%
ProofChecker2Impl.check(SubstFunc,int,Element) : boolean
(14)
2.
0%
ProofChecker2Impl.check(Existential,int,Element) : boolean
(9)
3.
0%
DefaultInternalKernelServices.removeAllModules() : boolean
(8)
4.
0%
DefaultInternalKernelServices.getSourceFileExceptionList(ModuleAddress) : String[]
(8)
5.
0%
SixDynamicModel.comprehension(Entity[]) : Entity
(14)
6.
0%
Term.getQedeqXml(int) : String
(12)
7.
0%
StateManager.getCurrentState() : AbstractState
(10)
8.
0%
Qedeq2Utf8Executor.executePlugin(InternalModuleServiceCall,Object) : Object
(8)
9.
0%
DefaultInternalKernelServices.clearLocalBuffer() : boolean
(6)
10.
0%
StateManager.getLastSuccesfulState() : AbstractState
(6)
11.
0%
FormulaUtility.getPredicateVariables(Element) : ElementSet
(5)
12.
0%
DefaultInternalKernelServices.removeModule(ModuleAddress) : void
(4)
13.
0%
DynamicHeuristicCheckerExecutor.visitEnter(InitialFunctionDefinition) : void
(4)
14.
0%
KernelModuleReferenceList.equals(Object) : boolean
(6)
15.
0%
Qedeq2UnicodeTextExecutor.executePlugin(InternalModuleServiceCall,Object) : Object
(5)
16.
0%
QedeqVoBuilder.create(Hypothesis) : HypothesisVo
(4)
17.
0%
DynamicHeuristicCheckerExecutor.visitLeave(ConditionalProof) : void
(6)
18.
0%
DefaultInternalKernelServices.run() : void
(5)
19.
0%
DefaultInternalKernelServices.loadAllModulesFromQedeq() : boolean
(4)
20.
0%
SubstPredBo.toString() : String
(3)
Report generated by
Clover
Code Coverage
v3.1.10
Fri Feb 14 2014 01:47:59 UTC
.
Clover: Open Source License registered to qedeq.org .