test/TestSuite.hs

   1 module TestSuite
   2 where
   3
   4 import Test.Framework (defaultMain, testGroup, Test, TestName, TestOptions(..))
   5 import Test.Framework.Providers.API (TestName)
   6 import Test.Framework.Providers.DocTest
   7 import Test.Framework.Providers.HUnit (testCase)
   8 import Test.Framework.Providers.QuickCheck2 (testProperty)
   9 import Test.HUnit
  10 import Test.QuickCheck (Testable ())
  11
  12 import Tests.Cardinal
  13 import Tests.Cube as TC
  14 import Tests.FunctionValues
  15 import Tests.Grid
  16 import Tests.Misc
  17 import Tests.Tetrahedron as TT
  18
  19 main :: IO ()
  20 main = do
  21   dt <- docTest ["src/Everything.hs"] ["-isrc"]
  22   defaultMain $ [dt] ++ tests
  23
  24 -- | Defined so that my test names fit on one line.
  25 tc :: Test.Framework.Providers.API.TestName -> Test.HUnit.Assertion -> Test.Framework.Test
  26 tc = testCase
  27
  28 cardinal_tests :: Test.Framework.Test
  29 cardinal_tests =
  30     testGroup "Cardinal Tests" [
  31       tc "c-tilde_2100 rotation correct" test_c_tilde_2100_rotation_correct ]
  32
  33 function_values_tests :: Test.Framework.Test
  34 function_values_tests =
  35     testGroup "FunctionValues Tests" [ tc "test directions" test_directions ]
  36
  37 grid_tests :: Test.Framework.Test
  38 grid_tests =
  39     testGroup "Grid Tests" [
  40       tc "trilinear c0030" test_trilinear_c0030,
  41       tc "trilinear c0003" test_trilinear_c0003,
  42       tc "trilinear c0021" test_trilinear_c0021,
  43       tc "trilinear c0012" test_trilinear_c0012,
  44       tc "trilinear c0120" test_trilinear_c0120,
  45       tc "trilinear c0102" test_trilinear_c0102,
  46       tc "trilinear c0111" test_trilinear_c0111,
  47       tc "trilinear c0210" test_trilinear_c0210,
  48       tc "trilinear c0201" test_trilinear_c0201,
  49       tc "trilinear c0300" test_trilinear_c0300,
  50       tc "trilinear c1020" test_trilinear_c1020,
  51       tc "trilinear c1002" test_trilinear_c1002,
  52       tc "trilinear c1011" test_trilinear_c1011,
  53       tc "trilinear c1110" test_trilinear_c1110,
  54       tc "trilinear c1101" test_trilinear_c1101,
  55       tc "trilinear c1200" test_trilinear_c1200,
  56       tc "trilinear c2010" test_trilinear_c2010,
  57       tc "trilinear c2001" test_trilinear_c2001,
  58       tc "trilinear c2100" test_trilinear_c2100,
  59       tc "trilinear c3000" test_trilinear_c3000,
  60       tc "trilinear f0_t0_v0" test_trilinear_f0_t0_v0,
  61       tc "trilinear f0_t0_v1" test_trilinear_f0_t0_v1,
  62       tc "trilinear f0_t0_v2" test_trilinear_f0_t0_v2,
  63       tc "trilinear f0_t0_v3" test_trilinear_f0_t0_v3,
  64       tc "trilinear reproduced" test_trilinear_reproduced,
  65       tc "zeros reproduced" test_zeros_reproduced,
  66       tc "trilinearx2 reproduced (t0)" test_trilinearx2_reproduced_t0 ]
  67
  68
  69 misc_tests :: Test.Framework.Test
  70 misc_tests =
  71     testGroup "Misc Tests" [
  72       tc "flatten (1)" test_flatten1 ]
  73
  74 tetrahedron_tests :: Test.Framework.Test
  75 tetrahedron_tests =
  76     testGroup "Tetrahedron Tests" [
  77       tc "volume (1)" test_volume1,
  78       tc "volume (2)" test_volume2,
  79       tc "contains point (1)" test_contains_point1,
  80       tc "doesn't contain point (1)" test_doesnt_contain_point1,
  81       tc "doesn't contain point (2)" test_doesnt_contain_point2,
  82       tc "doesn't contain point (3)" test_doesnt_contain_point3,
  83       tc "doesn't contain point (4)" test_doesnt_contain_point4,
  84       tc "doesn't contain point (5)" test_doesnt_contain_point5 ]
  85
  86 -- | Defined so that my test names fit on one line.
  87 tp :: Test.QuickCheck.Testable a => Test.Framework.TestName -> a -> Test.Framework.Test
  88 tp = testProperty
  89
  90 misc_properties :: Test.Framework.Test
  91 misc_properties =
  92     testGroup "Misc Properties" [
  93       tp "factorial greater" prop_factorial_greater ]
  94
  95 cardinal_properties :: Test.Framework.Test
  96 cardinal_properties =
  97     testGroup "Cardinal Properties" [
  98       tp "ccwx rotation changes direction" prop_ccwx_rotation_changes_direction,
  99       tp "cwx rotation changes direction" prop_cwx_rotation_changes_direction,
 100       tp "ccwy rotation changes direction" prop_ccwy_rotation_changes_direction,
 101       tp "cwy rotation changes direction" prop_cwy_rotation_changes_direction,
 102       tp "ccwz rotation changes direction" prop_ccwz_rotation_changes_direction,
 103       tp "cwz rotation changes direction" prop_cwz_rotation_changes_direction,
 104       tp "ccwx rotation result unique" prop_ccwx_rotation_result_unique,
 105       tp "cwx rotation result unique" prop_cwx_rotation_result_unique,
 106       tp "ccwy rotation result unique" prop_ccwy_rotation_result_unique,
 107       tp "cwy rotation result unique" prop_cwy_rotation_result_unique,
 108       tp "ccwz rotation result unique" prop_ccwz_rotation_result_unique,
 109       tp "cwz rotation result unique" prop_cwz_rotation_result_unique,
 110       tp "four cwx is identity" prop_four_cwx_is_identity,
 111       tp "four ccwx is identity" prop_four_ccwx_is_identity,
 112       tp "four cwy is identity" prop_four_cwy_is_identity,
 113       tp "four ccwy is identity" prop_four_ccwy_is_identity,
 114       tp "four cwz is identity" prop_four_cwz_is_identity,
 115       tp "four ccwz is identity" prop_four_ccwz_is_identity]
 116
 117
 118 p78_24_properties :: Test.Framework.Test
 119 p78_24_properties =
 120     testGroup "p. 78, Section (2.4) Properties" [
 121       tp "c3000 identity" TT.prop_c3000_identity,
 122       tp "c2100 identity" TT.prop_c2100_identity,
 123       tp "c1110 identity" TT.prop_c1110_identity]
 124
 125 p78_25_properties :: Test.Framework.Test
 126 p78_25_properties =
 127     testGroup "p. 78, Section (2.5) Properties" [
 128       tp "c_ijk1 identity" prop_cijk1_identity ]
 129
 130 edge_incidence_tests :: Test.Framework.Test
 131 edge_incidence_tests =
 132     testGroup "Edge Incidence Tests" [
 133       tp "t0 shares edge with t6" prop_t0_shares_edge_with_t6,
 134       tp "t0 shares edge with t1" prop_t0_shares_edge_with_t1,
 135       tp "t0 shares edge with t3" prop_t0_shares_edge_with_t3,
 136       tp "t1 shares edge with t2" prop_t1_shares_edge_with_t2,
 137       tp "t1 shares edge with t19" prop_t1_shares_edge_with_t19,
 138       tp "t2 shares edge with t3" prop_t2_shares_edge_with_t3,
 139       tp "t2 shares edge with t12" prop_t2_shares_edge_with_t12,
 140       tp "t3 shares edge with t21" prop_t3_shares_edge_with_t21,
 141       tp "t4 shares edge with t5" prop_t4_shares_edge_with_t5,
 142       tp "t4 shares edge with t7" prop_t4_shares_edge_with_t7,
 143       tp "t4 shares edge with t10" prop_t4_shares_edge_with_t10,
 144       tp "t5 shares edge with t6" prop_t5_shares_edge_with_t6,
 145       tp "t5 shares edge with t16" prop_t5_shares_edge_with_t16,
 146       tp "t6 shares edge with t7" prop_t6_shares_edge_with_t7,
 147       tp "t7 shares edge with t20" prop_t7_shares_edge_with_t20 ]
 148
 149
 150 p79_26_properties :: Test.Framework.Test
 151 p79_26_properties =
 152     testGroup "p. 79, Section (2.6) Properties" [
 153       tp "c0120 identity1" TC.prop_c0120_identity1,
 154       tp "c0120 identity2" TC.prop_c0120_identity2,
 155       tp "c0120 identity3" TC.prop_c0120_identity3,
 156       tp "c0120 identity4" TC.prop_c0120_identity4,
 157       tp "c0120 identity5" TC.prop_c0120_identity5,
 158       tp "c0120 identity6" TC.prop_c0120_identity6,
 159       tp "c0120 identity7" TC.prop_c0120_identity7,
 160       tp "c0210 identity1" TC.prop_c0210_identity1,
 161       tp "c0300 identity1" TC.prop_c0300_identity1,
 162       tp "c1110 identity" TC.prop_c1110_identity,
 163       tp "c1200 identity1" TC.prop_c1200_identity1,
 164       tp "c2100 identity1" TC.prop_c2100_identity1]
 165
 166 p79_27_properties :: Test.Framework.Test
 167 p79_27_properties =
 168     testGroup "p. 79, Section (2.7) Properties" [
 169       tp "c0102 identity1" TC.prop_c0102_identity1,
 170       tp "c0201 identity1" TC.prop_c0201_identity1,
 171       tp "c0300 identity2" TC.prop_c0300_identity2,
 172       tp "c1101 identity" TC.prop_c1101_identity,
 173       tp "c1200 identity2" TC.prop_c1200_identity2,
 174       tp "c2100 identity2" TC.prop_c2100_identity2 ]
 175
 176
 177 p79_28_properties :: Test.Framework.Test
 178 p79_28_properties =
 179     testGroup "p. 79, Section (2.8) Properties" [
 180       tp "c3000 identity" TC.prop_c3000_identity,
 181       tp "c2010 identity" TC.prop_c2010_identity,
 182       tp "c2001 identity" TC.prop_c2001_identity,
 183       tp "c1020 identity" TC.prop_c1020_identity,
 184       tp "c1002 identity" TC.prop_c1002_identity,
 185       tp "c1011 identity" TC.prop_c1011_identity ]
 186
 187
 188 cube_properties :: Test.Framework.Test
 189 cube_properties =
 190     testGroup "Cube Properties" [
 191   tp "all volumes positive" prop_all_volumes_positive,
 192   tp "tetrahedron0 volumes exact" prop_tetrahedron0_volumes_exact,
 193   tp "tetrahedron1 volumes exact" prop_tetrahedron1_volumes_exact,
 194   tp "tetrahedron2 volumes exact" prop_tetrahedron2_volumes_exact,
 195   tp "tetrahedron3 volumes exact" prop_tetrahedron3_volumes_exact,
 196   tp "tetrahedron4 volumes exact" prop_tetrahedron4_volumes_exact,
 197   tp "tetrahedron5 volumes exact" prop_tetrahedron5_volumes_exact,
 198   tp "tetrahedron6 volumes exact" prop_tetrahedron6_volumes_exact,
 199   tp "tetrahedron7 volumes exact" prop_tetrahedron7_volumes_exact,
 200   tp "tetrahedron8 volumes exact" prop_tetrahedron8_volumes_exact,
 201   tp "tetrahedron9 volumes exact" prop_tetrahedron9_volumes_exact,
 202   tp "tetrahedron10 volumes exact" prop_tetrahedron10_volumes_exact,
 203   tp "tetrahedron11 volumes exact" prop_tetrahedron11_volumes_exact,
 204   tp "tetrahedron12 volumes exact" prop_tetrahedron12_volumes_exact,
 205   tp "tetrahedron13 volumes exact" prop_tetrahedron13_volumes_exact,
 206   tp "tetrahedron14 volumes exact" prop_tetrahedron14_volumes_exact,
 207   tp "tetrahedron15 volumes exact" prop_tetrahedron15_volumes_exact,
 208   tp "tetrahedron16 volumes exact" prop_tetrahedron16_volumes_exact,
 209   tp "tetrahedron17 volumes exact" prop_tetrahedron17_volumes_exact,
 210   tp "tetrahedron18 volumes exact" prop_tetrahedron18_volumes_exact,
 211   tp "tetrahedron19 volumes exact" prop_tetrahedron19_volumes_exact,
 212   tp "tetrahedron20 volumes exact" prop_tetrahedron20_volumes_exact,
 213   tp "tetrahedron21 volumes exact" prop_tetrahedron21_volumes_exact,
 214   tp "tetrahedron22 volumes exact" prop_tetrahedron22_volumes_exact,
 215   tp "tetrahedron23 volumes exact" prop_tetrahedron23_volumes_exact,
 216   tp "tetrahedron0 volumes positive" prop_tetrahedron0_volumes_positive,
 217   tp "tetrahedron1 volumes positive" prop_tetrahedron1_volumes_positive,
 218   tp "tetrahedron2 volumes positive" prop_tetrahedron2_volumes_positive,
 219   tp "tetrahedron3 volumes positive" prop_tetrahedron3_volumes_positive,
 220   tp "tetrahedron4 volumes positive" prop_tetrahedron4_volumes_positive,
 221   tp "tetrahedron5 volumes positive" prop_tetrahedron5_volumes_positive,
 222   tp "tetrahedron6 volumes positive" prop_tetrahedron6_volumes_positive,
 223   tp "tetrahedron7 volumes positive" prop_tetrahedron7_volumes_positive,
 224   tp "tetrahedron8 volumes positive" prop_tetrahedron8_volumes_positive,
 225   tp "tetrahedron9 volumes positive" prop_tetrahedron9_volumes_positive,
 226   tp "tetrahedron10 volumes positive" prop_tetrahedron10_volumes_positive,
 227   tp "tetrahedron11 volumes positive" prop_tetrahedron11_volumes_positive,
 228   tp "tetrahedron12 volumes positive" prop_tetrahedron12_volumes_positive,
 229   tp "tetrahedron13 volumes positive" prop_tetrahedron13_volumes_positive,
 230   tp "tetrahedron14 volumes positive" prop_tetrahedron14_volumes_positive,
 231   tp "tetrahedron15 volumes positive" prop_tetrahedron15_volumes_positive,
 232   tp "tetrahedron16 volumes positive" prop_tetrahedron16_volumes_positive,
 233   tp "tetrahedron17 volumes positive" prop_tetrahedron17_volumes_positive,
 234   tp "tetrahedron18 volumes positive" prop_tetrahedron18_volumes_positive,
 235   tp "tetrahedron19 volumes positive" prop_tetrahedron19_volumes_positive,
 236   tp "tetrahedron20 volumes positive" prop_tetrahedron20_volumes_positive,
 237   tp "tetrahedron21 volumes positive" prop_tetrahedron21_volumes_positive,
 238   tp "tetrahedron22 volumes positive" prop_tetrahedron22_volumes_positive,
 239   tp "tetrahedron23 volumes positive" prop_tetrahedron23_volumes_positive,
 240   tp "v0 all equal" prop_v0_all_equal,
 241   tp "interior values all identical" prop_interior_values_all_identical,
 242   tp "c-tilde_2100 rotation correct" prop_c_tilde_2100_rotation_correct,
 243   tp "c-tilde_2100 correct" prop_c_tilde_2100_correct ]
 244
 245
 246 tetrahedron_properties :: Test.Framework.Test
 247 tetrahedron_properties =
 248     testGroup "Tetrahedron Properties" [
 249       tp "b0_v0_always_unity" prop_b0_v0_always_unity,
 250       tp "b0_v1_always_zero" prop_b0_v1_always_zero,
 251       tp "b0_v2_always_zero" prop_b0_v2_always_zero,
 252       tp "b0_v3_always_zero" prop_b0_v3_always_zero,
 253       tp "b1_v1_always_unity" prop_b1_v1_always_unity,
 254       tp "b1_v0_always_zero" prop_b1_v0_always_zero,
 255       tp "b1_v2_always_zero" prop_b1_v2_always_zero,
 256       tp "b1_v3_always_zero" prop_b1_v3_always_zero,
 257       tp "b2_v2_always_unity" prop_b2_v2_always_unity,
 258       tp "b2_v0_always_zero" prop_b2_v0_always_zero,
 259       tp "b2_v1_always_zero" prop_b2_v1_always_zero,
 260       tp "b2_v3_always_zero" prop_b2_v3_always_zero,
 261       tp "b3_v3_always_unity" prop_b3_v3_always_unity,
 262       tp "b3_v0_always_zero" prop_b3_v0_always_zero,
 263       tp "b3_v1_always_zero" prop_b3_v1_always_zero,
 264       tp "b3_v2_always_zero" prop_b3_v2_always_zero,
 265       tp "swapping_vertices_doesnt_affect_coefficients1"
 266          $ prop_swapping_vertices_doesnt_affect_coefficients1,
 267       tp "swapping_vertices_doesnt_affect_coefficients2"
 268          $ prop_swapping_vertices_doesnt_affect_coefficients2,
 269       tp "swapping_vertices_doesnt_affect_coefficients3"
 270          $ prop_swapping_vertices_doesnt_affect_coefficients3,
 271       tp "swapping_vertices_doesnt_affect_coefficients4"
 272          $ prop_swapping_vertices_doesnt_affect_coefficients4,
 273       tp "x rotation doesn't affect front" prop_x_rotation_doesnt_affect_front,
 274       tp "x rotation doesn't affect back" prop_x_rotation_doesnt_affect_back,
 275       tp "y rotation doesn't affect left" prop_y_rotation_doesnt_affect_left,
 276       tp "y rotation doesn't affect right" prop_y_rotation_doesnt_affect_right,
 277       tp "z rotation doesn't affect top" prop_z_rotation_doesnt_affect_top,
 278       tp "z rotation doesn't affect down" prop_z_rotation_doesnt_affect_down ]
 279
 280 tests :: [Test.Framework.Test]
 281 tests = [ cardinal_tests,
 282           function_values_tests,
 283           grid_tests,
 284           misc_tests,
 285           tetrahedron_tests,
 286           cube_properties,
 287           tetrahedron_properties,
 288           misc_properties,
 289           cardinal_properties,
 290           edge_incidence_tests,
 291           p78_24_properties,
 292 --          p78_25_properties,
 293           p79_26_properties,
 294           p79_27_properties,
 295           p79_28_properties ]