1
2
3
4
5
6
7
8
9
10
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
|
(***********************************************************************)
(* The OUnit library *)
(* *)
(* Copyright 2002, 2003, 2004, 2005 Maas-Maarten Zeeman. *)
(* All rights reserved. See LICENCE for details. *)
(***********************************************************************)
open OUnit
let test_case = TestCase (fun () -> ())
let labeled_test_case = "label" >: test_case
let suite_a = "suite_a" >: TestList [test_case]
let suite_b = "suite_b" >: TestList [labeled_test_case]
let suite_c = "suite_c" >: TestList [test_case; labeled_test_case]
let suite_d = "suite_d" >: TestList [suite_a; suite_c]
let rec string_of_paths = function
[] -> ""
| h::t -> (string_of_path h) ^ "\n" ^ (string_of_paths t)
(* Test which checks if the test case count function works correctly *)
let test_case_count _ =
let assert_equal ?msg = assert_equal ?msg ~printer:string_of_int in
assert_equal 0 (test_case_count (TestList []));
assert_equal 0 (test_case_count (TestLabel("label", TestList [])));
assert_equal 0 (test_case_count (TestList [TestList [];
TestList [TestList []]]));
assert_equal 1 (test_case_count test_case);
assert_equal 1 (test_case_count labeled_test_case);
assert_equal 1 (test_case_count suite_a);
assert_equal 1 (test_case_count suite_b);
assert_equal 1 (test_case_count (TestList [suite_a; TestList []]));
assert_equal 1 (test_case_count (TestList [TestList [];
TestList [suite_b]]));
assert_equal 2 (test_case_count suite_c);
assert_equal 3 (test_case_count suite_d)
(* Test which checks if the paths are correctly constructed *)
let test_case_paths _ =
(* A single testcase results in a list countaining an empty list *)
let assert_equal ?msg = assert_equal ?msg ~printer:string_of_paths in
assert_equal [[]] (test_case_paths test_case);
assert_equal [[Label "label"]]
(test_case_paths labeled_test_case);
assert_equal [[ListItem 0; Label "suite_a"]]
(test_case_paths suite_a);
assert_equal [[Label "label"; ListItem 0; Label "suite_b"]]
(test_case_paths suite_b);
assert_equal [[ListItem 0; Label "suite_c"];
[Label "label"; ListItem 1; Label "suite_c"]]
(test_case_paths suite_c);
assert_equal [[ListItem 0; Label "suite_a"; ListItem 0; Label "suite_d"];
[ListItem 0; Label "suite_c"; ListItem 1; Label "suite_d"];
[Label "label"; ListItem 1; Label "suite_c"; ListItem 1;
Label "suite_d"]]
(test_case_paths suite_d)
let test_assert_raises _ =
assert_raises
(Failure "OUnit: expected: Failure(\"Boo\") but got: Failure(\"Foo\")")
(fun _ -> (assert_raises (Failure "Boo")
(fun _ -> raise (Failure "Foo"))));
assert_raises
(Failure "OUnit: A label\nexpected: Failure(\"Boo\") but got: Failure(\"Foo\")")
(fun _ -> (assert_raises ~msg:"A label" (Failure "Boo")
(fun _ -> raise (Failure "Foo"))));
assert_raises
(Failure "OUnit: expected exception Failure(\"Boo\"), but no exception was not raised.")
(fun _ -> (assert_raises (Failure "Boo") (fun _ -> ())));
assert_raises
(Failure "OUnit: A label\nexpected exception Failure(\"Boo\"), but no exception was not raised.")
(fun _ -> (assert_raises ~msg:"A label" (Failure "Boo") (fun _ -> ())))
(* Test the float compare, and use the cmp label *)
let test_cmp_float _ =
assert_equal ~cmp: cmp_float 0.0001 0.0001;
assert_equal ~cmp: (cmp_float ~epsilon: 0.001) 1.0001 1.00001;
assert_raises (Failure "OUnit: not equal")
(fun _ -> assert_equal ~cmp: cmp_float 100.0001 101.001)
let test_assert_string _ =
assert_string "";
assert_raises (Failure "OUnit: A string")
(fun _ -> assert_string "A string")
let test_assert_bool _ =
assert_bool "true" true;
assert_raises (Failure "OUnit: false")
(fun _ -> assert_bool "false" false)
(* Construct the test suite *)
let suite = "OUnit" >:::
[ "test_case_count" >:: test_case_count;
"test_case_paths" >:: test_case_paths;
"test_assert_raises" >:: test_assert_raises;
"test_assert_string" >:: test_assert_string;
"test_assert_bool" >:: test_assert_bool;
"test_cmp_float" >:: test_cmp_float;
]
(* Run the tests in test suite *)
let _ = run_test_tt_main suite
|
