Nonconformances-B--D-metrics--CodeContracts

	A	B	C	D	E	F	G	H	I	J	K
1	Experimental Unit	Class	Method	Type	Likely Cause	B	D	B - mean	D - mean

2	AutoDiff	TermBuilder	Sum	precondition	Strong precondition	14	3	14.00	3.00
3	Boogie	BvTypeProxy	MinBitsFor	postcondition	Weak precondition	14	2	6.71	2.12
4		cce	NonNull[T]	precondition	Code error	20	3			2.00	1.50
5		CommandLineOptions	AddZ3Option	invariant	Code error	7	1			14.00	11.00
6			AttributeUsage	invariant	Code error	4	1
7			ParseNamedArgumentList	invariant	Code error	7	1
8			set_LogPrefix	invariant	Code error	4	1
9			set_ProverOptions	invariant	Code error	7	1
10			Usage	invariant	Code error	4	1
11			UserWantsToCheckRoutine	invariant	Code error	4	1
12		Expr	StoreTok	precondition	Weak precondition	3	2
13		GenKillWeight	GenKillWeight	invariant	Code error	1	2
14		Program	AddTopLevelDeclaration	precondition	Weak precondition	4	3
15			AddTopLevelDeclarations	precondition	Weak precondition	3	3
16			ClearTopLevelDeclarations	precondition	Weak precondition	8	3
17		Type	GetBvType	precondition	Weak precondition	15	3
18		VCExprNullary	VCExprNullary	precondition	Weak precondition	6	6
19		VCExprStoreOp	VCExprStoreOp	precondition	Weak precondition	3	2
20	Contractor	AssemblyInfo	Load	precondition	Weak precondition	7	5	5.33	3.00
21		DoorPost	Start	invariant	Code error	4	2
22		VendingMachine	DisplayPrice	invariant	Code error	5	2
23	DotNetComponentOrientedProgramming	BattlePlayerPresentation	get_LifePoints	postcondition	Weak precondition	9	4	6.71	5.14
24			get_LifePointsTxt	postcondition	Weak precondition	7	6
25			get_Username	postcondition	Weak precondition	7	6
26		RoomPresentation	ChallengeButtonClicked	postcondition	Code error	2	4
27		RoomPresentation	FindBattleButtonClicked	postcondition	Code error	7	6
28		RoomUserDTO	get_RoomUserState	postcondition	Weak precondition	7	6
29		RoomUserDTO	get_Username	postcondition	Weak precondition	6	6
30		StatisticsPresentation	get_LostGamesCount	postcondition	Weak precondition	6	4
31			get_PlayedGamesCount	postcondition	Weak precondition	6	4
32			get_Username	postcondition	Weak precondition	6	6
33			get_WonGamesCount	postcondition	Weak precondition	6	4
34		UserDialogPresentation	get_ButtonsText	postcondition	Weak precondition	7	4
35			get_DialogMessage	postcondition	Weak precondition	7	6
36			get_Title	postcondition	Weak precondition	11	6
37	DotNetExtensionsImproved	Math	NV$Round	precondition	Weak precondition	3	2	3.00	2.00
38	DRail	RouteParser	Parse	precondition	Code error	2	2	2.00	2.00
39	DRail	TrackParser	Parse	precondition	Code error	2	2	2.00	2.00
40	EuroManager	GameWorld	GameWorld	precondition	Weak precondition	3	3	4.67	3.33
41		Physics	Velocity	precondition	Weak precondition	5	2
42		Pitch	MapToMetricalLocation	precondition	Weak precondition	6	5
43	Frost	FontFeature	get_Tag	postcondition	Strong postcondition	9	1	6.93	5.87
44		IndexedRange	get_LastIndex	postcondition	Code error	7	5
45		IndexedRange	IndexedRange	precondition	Weak precondition	3	3
46		Matrix3X2	Matrix3x2	precondition	Weak precondition	10	18
47		Point	DistanceTo	postcondition	Weak precondition	8	10
48			Point	precondition	Weak precondition	4	6
49			SquaredDistanceTo	postcondition	Weak precondition	5	3
50		Rectangle	get_Area	postcondition	Weak precondition	2	2
51			FromEdges	precondition	Weak precondition	7	7
52			get_Right	postcondition	Weak precondition	35	18
53			Rectangle	precondition	Weak precondition	3	4
54		Size	get_Area	postcondition	Weak precondition	2	2
55		Size	Size	precondition	Weak precondition	2	2
56		Thickness	get_Width	postcondition	Weak precondition	2	2
57		Thickness	Thickness	precondition	Weak precondition	5	5
58	MonoMobileFacebook	FacebookClient	ProcessBatchResult	precondition	Code error	10	11	10.00	11.00
59	NeuroFlowOH	DoubleRange	DoubleRange	precondition	Weak precondition	4	5	5.33	4.67
60		InitializationData	InitializationData	precondition	Strong precondition	8	4
61		IntRange	CreateExclusive	precondition	Weak precondition	4	5
62	Programming	Account	Deposit	postcondition	Strong postcondition	5	1	4.00	1.50
63	Programming	Bag	Add	postcondition	Strong postcondition	3	2	4.00	1.50
64	Yandex	YapiService	HttpRequest	precondition	Code error	5	5	5.00	5.00
65					Mean	6.38	4.08
66
67						35	18
68						62	54