Comparison-Baseline-Jmlok2
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABCDEFGH
1
Experimental Unit
ClassMethodTypeAutomaticManual
Coincidence
Accuracy
2
BankATMConstructorinvariantWeak preconditionStrong invariant00.67
3
CentralHostgetAccountpostconditionStrong postconditionStrong postcondition1
4
OfflineAccountProxywithdrawevaluationStrong postconditionStrong postcondition1
5
BomberBuildingConstructorinvariant
Code error - null related
Code error - null related
10.80
6
CommondivpreconditionStrong preconditionStrong precondition1
7
modpostconditionWeak preconditionWeak precondition1
8
ExplosionConstructorinvariant
Code error - null related
Code error - null related
1
9
FlakSmokegetBoundingBoxpostconditionWeak precondition
Code error - null related
0
10
Dnivra-Jivecomplex.ComplexNumberdivideComplexNumberpostconditionStrong postconditionStrong postcondition10.83
11
getAnglepostconditionWeak preconditionWeak precondition1
12
getRealPartpostconditionWeak preconditionWeak precondition1
13
int_complex.ComplexNumberdivideComplexNumberevaluationStrong postconditionStrong postcondition1
14
postconditionStrong postconditionStrong postcondition1
15
quicksort.QuickSortquickSortevaluationWeak preconditionStrong postcondition0
16
HealthCardAllergy_ImplsetDesignationpreconditionWeak postconditionWeak postcondition10.63
17
Allergies_ImplgetAllergyDatepostconditionWeak preconditionStrong postcondition0
18
getAllergyDesignationpostconditionWeak preconditionStrong postcondition0
19
removeAllergypostconditionWeak preconditionStrong postcondition0
20
setAllergyDatepostconditionWeak preconditionStrong postcondition0
21
setAllergyDesignationpostconditionWeak preconditionStrong postcondition0
22
validateAllergyPositionpostconditionWeak preconditionStrong postcondition0
23
Appointments_ImplConstructorinvariant
Code error - null related
Code error - null related
1
24
CardExceptionConstructorinvariantWeak preconditionWeak precondition1
25
CardRuntimeExceptionConstructorinvariantWeak preconditionWeak precondition1
26
CardUtilarrayCopypreconditionWeak postconditionWeak postcondition1
27
CommongetDateconstraintWeak preconditionWeak precondition1
28
getDoctorconstraintWeak preconditionWeak precondition1
29
getHourconstraintWeak preconditionWeak precondition1
30
getIDconstraintWeak preconditionWeak precondition1
31
getLocalconstraintWeak preconditionWeak precondition1
32
getTypeconstraintWeak preconditionWeak precondition1
33
setDateconstraintWeak preconditionStrong constraint0
34
toStringconstraintWeak preconditionWeak precondition1
35
Diagnostic_ImplConstructorinvariant
Code error - null related
Weak precondition0
36
getDescriptionpostconditionWeak preconditionWeak precondition1
37
setAppointmentIDinvariantWeak preconditionWeak precondition1
38
setDescriptionpostconditionWeak preconditionWeak precondition1
39
setDiagnosticIDinvariantWeak preconditionWeak precondition1
40
Medicine_ImplConstructorinvariant
Code error - null related
Weak precondition0
41
setAppointmentIDinvariantWeak preconditionWeak precondition1
42
setDiagnosticIDinvariantWeak preconditionWeak precondition1
43
setMedicineIDinvariantWeak preconditionWeak precondition1
44
setTreatmentIDinvariantWeak preconditionWeak precondition1
45
Personal_ImplConstructorinvariant
Code error - null related
Code error - null related
1
46
Treatment_ImplConstructorinvariant
Code error - null related
Weak precondition0
47
getMedicalRecommendation
postconditionWeak preconditionWeak precondition1
48
setAppointmentIDinvariantWeak preconditionWeak precondition1
49
setDiagnosticIDinvariantWeak preconditionWeak precondition1
50
setMedicalRecommendation
postconditionWeak preconditionWeak precondition1
51
setTreatmentIDinvariantWeak preconditionWeak precondition1
52
Vaccines_ImplgetVaccinationDatepostconditionWeak preconditionStrong postcondition0
53
getVaccineDesignationpostconditionWeak preconditionStrong postcondition0
54
removeVaccinepostconditionWeak preconditionStrong postcondition0
55
setVaccineDesignationpostconditionWeak preconditionStrong postcondition0
56
validateVaccinePositionpostconditionWeak preconditionStrong postcondition0
57
JAccountingAccountgetCurrencyevaluationWeak precondition
Code error - null related
00.81
58
getDescriptionevaluationWeak precondition
Code error - null related
0
59
getNamepostconditionWeak precondition
Code error - null related
0
60
AccountingCustomergetTypepostconditionWeak preconditionWeak precondition1
61
AClassgetNameevaluationWeak preconditionWeak precondition1
62
postconditionWeak preconditionWeak precondition1
63
ArrayUtilsarrayToStringpostconditionWeak preconditionWeak precondition1
64
getMaxIntArrayIndexpostconditionWeak preconditionWeak precondition1
65
stringArrayToIntArraypostconditionWeak preconditionWeak precondition1
66
mail.ByteArrayDataSourcebyteArrayDataSourceinvariant
Code error - null related
Code error - null related
1
67
util.ByteArrayDataSourceConstructorinvariant
Code error - null related
Code error - null related
1
68
ChargeConstructorinvariant
Code error - null related
Code error - null related
1
69
CompanygetIdpostconditionWeak precondition
Code error - null related
0
70
CookieUtilsgetCookiepostconditionWeak preconditionWeak precondition1
71
getDeleteCookiepostconditionWeak preconditionWeak precondition1
72
CustomerLoggetCustomerKeypostconditionWeak preconditionStrong postcondition0
73
DateUtilsmonthAsStringpostconditionWeak preconditionWeak precondition1
74
mail.MailerConstructorinvariant
Code error - null related
Code error - null related
1
75
util.MailerConstructorinvariant
Code error - null related
Code error - null related
1
76
PageElementsConstructorinvariant
Code error - null related
Code error - null related
1
77
PaymentDistributionConstructorinvariant
Code error - null related
Code error - null related
1
78
PreferencesConstructorinvariant
Code error - null related
Code error - null related
1
79
ProductConstructorinvariant
Code error - null related
Code error - null related
1
80
RecurrenceConstructorinvariant
Code error - null related
Code error - null related
1
81
StringDataSourceConstructorinvariant
Code error - null related
Code error - null related
1
82
TaxConstructorinvariant
Code error - null related
Code error - null related
1
83
JavacardAPDUConstructorinvariant
Code error - null related
Code error - null related
11.00
84
CardExceptionConstructorinvariant
Code error - null related
Code error - null related
1
85
CardRuntimeExceptionConstructorinvariant
Code error - null related
Code error - null related
1
86
CipherImplminPadLeninvariant
Code error - null related
Code error - null related
1
87
KeyAgreementImplConstructorinvariant
Code error - null related
Code error - null related
1
88
KeyAgreementImplExtConstructorinvariant
Code error - null related
Code error - null related
1
89
SignatureImplminPadLeninvariant
Code error - null related
Code error - null related
1
90
MondexAPDUConstructorinvariant
Code error - null related
Code error - null related
11.00
91
ConPurseJCConstructorinvariant
Code error - null related
Code error - null related
1
92
PokerTopDealerConstructorinvariant
Code error - null related
Code error - null related
11.00
93
Samplesdbc.PolaranglepostconditionWeak preconditionStrong postcondition00.67
94
imaginaryPartpostconditionWeak preconditionStrong postcondition0
95
dbc.RectangularimaginaryPartpostconditionWeak preconditionStrong postcondition0
96
realPartpostconditionWeak preconditionStrong postcondition0
97
list.list1.DLListgetEntrypostconditionWeak preconditionWeak precondition1
98
list.list2.E_OneWayListequalspostconditionWeak preconditionCode error0
99
list.list2.TwoWayIteratorfirstpreconditionWeak postconditionWeak postcondition1
100
list.list3.E_OneWayListequalspostconditionWeak preconditionCode error0
Loading...
Main menu