ABCDEFGHIJKLMNOPQRSTUVWXYZAAAB
1
C# Analyzer FeaturesUsed in PaperJava Analyzer Supports (Yes/No)NotesMitigation
2
SummaryTotal Number of SolutionsNoYesNo easy detection on Java projects in generic folderwe can have the Java analyzer to read from a list of project path
3
Total Number of Solutions With Any PexNoYes
4
Total Number of TestMethodsYesYes
5
Total Number of PexMethodsYesYesDetect Theory modifiers
6
Total Number of Pex AttributesYesNoNot applicable in Theory
7
Total Number of PexMethods With AssumeYesYes
8
Total Number of PexMethods With AssertYesYes
9
Total Number of PexMethods With ParametersYesYes
10
Total Number of PexMethods With Non-primitive ParamtersYesYes
11
Total Number of PexFactoryMethodsNoNoNot applicable in Theory
12
Total Number of Docs Used In Multiple ProjectsNoNoRelated code is commented out. It's also not clear what's the purpose of this stats
13
Total Number of Assume ClausesYesYes
14
Total Number of Assert ClausesYesYes
15
Total Number of Public MethodsYesYes
16
Total Number of Public Methods Invoked in PexMethodsYesYesC# Analyzer counts method invocation with one level depthThere should be similar AST node type for method invocation in JDT
17
Total Number of Primitive ParametersYesYes
18
Total Number of Non-primitive ParametersYesYes
19
Total Number of Non-primitive Parameters with FactoryYesNoNot applicable in Theory
20
Total Number of Non-primitive Parameter TypesNoYesParameter counter has been implemented, but didn't implement data structure to save their typesWe just need to have a hashtable to remember all the non-primitive parameter types
21
Total Number of Non-primitive Parameter Types with FactoryNoNoNot applicable in Theory
22
Total Number of LOCYesYes
23
No, but maybe provided by CSV filesPexAsume TypeNoTheory seems to only have assumeThat()
24
No, but maybe provided by CSV filesPexAsume Without Null CheckNo
25
No, but maybe provided by CSV filesPexAssert TypeNoTheory seems to only have assertThat()
26
No, but maybe provided by CSV filesPexAssert Without Null CheckNo
27
28
Detailed FilesAllStats.csv
29
Assert.csvPexAssert Type?
30
AssertClauseSizeBoxplot.csv
31
AssertClauseSizeRateInPexMethodsBoxplot.csv
32
AssertClauseSizeRateInTestMethodsBoxplot.csv
33
AssertionRateInPexMethodsBoxplot.csv
34
AssertionRateInTestMethodsBoxplot.csv
35
Assume.csvPexAsume Type?
36
AssumeClauseSizeBoxplot.csv
37
AssumeClauseSizeRateInPexMethodsBoxplot.csv
38
AssumptionRateInPexMethodsBoxplot.csv
39
FolderStats.csv
40
PexMethodLengthBoxplot.csv
41
PexMethods.txt
42
PexMethodsByLength
43
PexMethodsByLength.csv
44
SolutionStats.csv
45
TestMethodLengthBoxplot.csv
46
TestMethodsByLengthPUT/CUT method lengthSupported, but logic to write to file is not implemented yet
47
assertionCategories.csv
48
assertionCategories1.csv
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100