Clover Coverage Report
Coverage timestamp:
Fri Feb 14 2014 07:28:57 UTC
Overview
Package File
FRAMES
NO FRAMES
SHOW HELP
Statistics for project Clover database Fri Feb 14 2014 01:49:13 UTC:
Stmts:
17,517
LOC:
69,694
Total cmp:
8,276
Stmts/Method:
4.96
Branches:
7,610
NCLOC:
37,099
Cmp density:
0.47
Methods/Class:
8.15
Methods:
3,530
Files:
417
Avg method cmp:
2.34
Classes/Pkg:
10.56
Classes:
433
Packages:
41
Statistics for project Clover database Fri Feb 14 2014 01:49:13 UTC:
Stmts:
17,517
LOC:
69,694
Total cmp:
8,276
Stmts/Method:
4.96
Branches:
7,610
NCLOC:
37,099
Cmp density:
0.47
Methods/Class:
8.15
Methods:
3,530
Files:
417
Avg method cmp:
2.34
Classes/Pkg:
10.56
Classes:
433
Packages:
41
Coverage
433 classes, 23,073 / 28,657 elements
80.5%
0.8051436
Class Coverage Distribution
Class Complexity
Most Complex Packages
1.
100%
1.0
org.qedeq.kernel.se.dto.module
(949)
2.
76.8%
0.76775205
org.qedeq.kernel.bo.service.unicode
(713)
3.
85.9%
0.85876286
org.qedeq.base.io
(612)
4.
65.4%
0.65384614
org.qedeq.kernel.bo.service.internal
(579)
5.
86.6%
0.86567163
org.qedeq.kernel.xml.handler.module
(486)
Most Complex Classes
1.
81.3%
0.8132482
Qedeq2LatexExecutor
(309)
2.
97.7%
0.9769292
QedeqNotNullTraverser
(299)
3.
81.5%
0.8148148
Qedeq2UnicodeVisitor
(269)
4.
83.9%
0.83908045
Latex2UnicodeParser
(262)
5.
80.3%
0.8033708
QedeqVoBuilder
(222)
Test Results
1,283 / 1,283
tests 20,173.12 secs
100%
Top 20 Project Risks
ProofChecker2Impl
XmlReader
Latex2UnicodeSpecials
Qedeq2Utf8Executor
Element2LatexImpl.Funcon
SixDynamicModel
UrlUtility
DynamicHeuristicCheckerExecutor
Term
ResourceLoaderUtility
ServiceProcessManager
ProofCheckerFactoryImpl
ProofChecker1Impl
FormulaUtility
WellFormedCheckerExecutor
KernelQedeqBoStorage
SimpleAttributes
SimpleProofFinderExecutor
FormalProofCheckerExecutor
PluginManager
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%
XmlReader.calculateHttpEncoding(String,String,String,String,String,InputStream,boolean) : String
(13)
9.
0%
UrlUtility.saveQedeqFromWebToBufferApache(String,File,String,String,String,int,int,LoadingListener) : void
(8)
10.
0%
Qedeq2Utf8Executor.executePlugin(InternalModuleServiceCall,Object) : Object
(8)
11.
0%
SimpleXPath.matchesElementsBegining(SimpleXPath,SimpleXPath) : boolean
(8)
12.
0%
XmlReader.doLenientDetection(String,XmlReaderException) : void
(8)
13.
0%
XmlReader.getContentTypeEncoding(String) : String
(10)
14.
0%
DefaultInternalKernelServices.clearLocalBuffer() : boolean
(6)
15.
0%
StateManager.getLastSuccesfulState() : AbstractState
(6)
16.
0%
FormulaUtility.getPredicateVariables(Element) : ElementSet
(5)
17.
0%
TextInput.getPosition(SourcePosition) : int
(5)
18.
0%
DefaultInternalKernelServices.removeModule(ModuleAddress) : void
(4)
19.
0%
DynamicHeuristicCheckerExecutor.visitEnter(InitialFunctionDefinition) : void
(4)
20.
0%
XmlReader.XmlReader(URLConnection)
(6)
Report generated by
Clover
Code Coverage
v3.1.10
Fri Feb 14 2014 07:29:02 UTC
.
Clover: Open Source License registered to qedeq.org .