11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
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
|
-- ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES --
-- WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN --
-- ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF --
-- OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. --
------------------------------------------------------------------------------
with Natools.Time_Statistics.Coarse_Timers;
package body Natools.Time_Statistics.Tests is
procedure Check is new NT.Generic_Check
(Natural, "=", Natural'Image, False);
procedure Check is new NT.Generic_Check
(Duration, "=", Duration'Image, False);
-------------------------
-- Complete Test Suite --
-------------------------
procedure All_Tests (Report : in out NT.Reporter'Class) is
begin
Summary_Accumulator (Report);
Coarse_Timer (Report);
end All_Tests;
-----------------------
-- Inidividual Tests --
-----------------------
procedure Coarse_Timer (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Coarse timer standard use");
Total_Length : constant Duration := 0.2;
declare
Stats : aliased Summary;
begin
declare
Actual_Auto : Coarse_Timers.Auto_Timer (Stats'Access);
Aborted_Auto : Coarse_Timers.Auto_Timer (Stats'Access);
Manual : Coarse_Timers.Manual_Timer (Stats'Access);
pragma Unreferenced (Actual_Auto);
begin
Manual.Start;
Check (Test, 0, Stats.Sample_Count);
delay Total_Length / 2;
Aborted_Auto.Cancel;
Manual.Stop;
Check (Test, 1, Stats.Sample_Count, "Sample count");
Manual.Start;
delay Total_Length / 2;
Manual.Cancel;
Check (Test, 1, Stats.Sample_Count, "Sample count");
end;
Check (Test, 2, Stats.Sample_Count, "Sample count");
end;
end Coarse_Timer;
procedure Summary_Accumulator (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Summary accumulator");
begin
declare
Stats : Summary;
begin
|
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
<
<
<
<
<
<
<
|
|
<
<
>
|
<
<
<
<
<
<
|
<
|
<
<
|
|
<
<
|
|
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
-- ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES --
-- WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN --
-- ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF --
-- OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. --
------------------------------------------------------------------------------
with Natools.Time_Statistics.Coarse_Timers;
with Natools.Time_Statistics.Fine_Timers;
with Natools.Time_Statistics.Generic_Timers;
package body Natools.Time_Statistics.Tests is
generic
with package Timers is new Generic_Timers (<>);
Total_Length : in Duration;
procedure Test_Timer (Test : in out NT.Test);
------------------------------
-- Local Helper Subprograms --
------------------------------
procedure Check is new NT.Generic_Check
(Natural, "=", Natural'Image, False);
procedure Check is new NT.Generic_Check
(Duration, "=", Duration'Image, False);
procedure Test_Timer (Test : in out NT.Test) is
Stats : aliased Summary;
begin
declare
Actual_Auto : Timers.Auto_Timer (Stats'Access);
Aborted_Auto : Timers.Auto_Timer (Stats'Access);
Manual : Timers.Manual_Timer (Stats'Access);
pragma Unreferenced (Actual_Auto);
begin
Manual.Start;
Check (Test, 0, Stats.Sample_Count);
delay Total_Length / 2;
Aborted_Auto.Cancel;
Manual.Stop;
Check (Test, 1, Stats.Sample_Count, "Sample count");
Manual.Start;
delay Total_Length / 2;
Manual.Cancel;
Check (Test, 1, Stats.Sample_Count, "Sample count");
end;
Check (Test, 2, Stats.Sample_Count, "Sample count");
end Test_Timer;
procedure Coarse_Timer is new Test_Timer (Coarse_Timers, 0.2);
procedure Fine_Timer is new Test_Timer (Fine_Timers, 0.2);
-------------------------
-- Complete Test Suite --
-------------------------
procedure All_Tests (Report : in out NT.Reporter'Class) is
begin
Summary_Accumulator (Report);
Coarse_Timer (Report);
Fine_Timer (Report);
end All_Tests;
-----------------------
-- Inidividual Tests --
-----------------------
procedure Coarse_Timer (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Coarse timer standard use");
begin
Coarse_Timer (Test);
exception
when Error : others => Test.Report_Exception (Error);
end Coarse_Timer;
procedure Fine_Timer (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Fine timer standard use");
begin
Fine_Timer (Test);
exception
when Error : others => Test.Report_Exception (Error);
end Fine_Timer;
procedure Summary_Accumulator (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Summary accumulator");
begin
declare
Stats : Summary;
begin
|