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       trilinear_c0_t0_tests,
  41       tc "tetrahedra collision test isn't too sensitive"
  42          test_tetrahedra_collision_sensitivity,
  43       tc "trilinear reproduced" test_trilinear_reproduced,
  44       tc "zeros reproduced" test_zeros_reproduced,
  45       tc "trilinear9x9x9 reproduced" test_trilinear9x9x9_reproduced ]
  46
  47
  48 misc_tests :: Test.Framework.Test
  49 misc_tests =
  50     testGroup "Misc Tests" [
  51       tc "flatten (1)" test_flatten1 ]
  52
  53 tetrahedron_tests :: Test.Framework.Test
  54 tetrahedron_tests =
  55     testGroup "Tetrahedron Tests" [
  56       tetrahedron2_geometry_tests,
  57       tc "volume (1)" test_volume1,
  58       tc "doesn't contain point (1)" test_doesnt_contain_point1,
  59       tc "doesn't contain point (2)" test_doesnt_contain_point2,
  60       tc "doesn't contain point (3)" test_doesnt_contain_point3,
  61       tc "doesn't contain point (4)" test_doesnt_contain_point4,
  62       tc "doesn't contain point (5)" test_doesnt_contain_point5 ]
  63
  64 -- | Defined so that my test names fit on one line.
  65 tp :: Test.QuickCheck.Testable a => Test.Framework.TestName -> a -> Test.Framework.Test
  66 tp = testProperty
  67
  68 misc_properties :: Test.Framework.Test
  69 misc_properties =
  70     testGroup "Misc Properties" [
  71       tp "factorial greater" prop_factorial_greater ]
  72
  73 cardinal_properties :: Test.Framework.Test
  74 cardinal_properties =
  75     testGroup "Cardinal Properties" [
  76       tp "ccwx rotation changes direction" prop_ccwx_rotation_changes_direction,
  77       tp "cwx rotation changes direction" prop_cwx_rotation_changes_direction,
  78       tp "ccwy rotation changes direction" prop_ccwy_rotation_changes_direction,
  79       tp "cwy rotation changes direction" prop_cwy_rotation_changes_direction,
  80       tp "ccwz rotation changes direction" prop_ccwz_rotation_changes_direction,
  81       tp "cwz rotation changes direction" prop_cwz_rotation_changes_direction,
  82       tp "ccwx rotation result unique" prop_ccwx_rotation_result_unique,
  83       tp "cwx rotation result unique" prop_cwx_rotation_result_unique,
  84       tp "ccwy rotation result unique" prop_ccwy_rotation_result_unique,
  85       tp "cwy rotation result unique" prop_cwy_rotation_result_unique,
  86       tp "ccwz rotation result unique" prop_ccwz_rotation_result_unique,
  87       tp "cwz rotation result unique" prop_cwz_rotation_result_unique,
  88       tp "four cwx is identity" prop_four_cwx_is_identity,
  89       tp "four ccwx is identity" prop_four_ccwx_is_identity,
  90       tp "four cwy is identity" prop_four_cwy_is_identity,
  91       tp "four ccwy is identity" prop_four_ccwy_is_identity,
  92       tp "four cwz is identity" prop_four_cwz_is_identity,
  93       tp "four ccwz is identity" prop_four_ccwz_is_identity]
  94
  95
  96 p78_24_properties :: Test.Framework.Test
  97 p78_24_properties =
  98     testGroup "p. 78, Section (2.4) Properties" [
  99       tp "c3000 identity" TT.prop_c3000_identity,
 100       tp "c2100 identity" TT.prop_c2100_identity,
 101       tp "c1110 identity" TT.prop_c1110_identity]
 102
 103 p78_25_properties :: Test.Framework.Test
 104 p78_25_properties =
 105     testGroup "p. 78, Section (2.5) Properties" [
 106       tp "c_ijk1 identity" prop_cijk1_identity ]
 107
 108 edge_incidence_tests :: Test.Framework.Test
 109 edge_incidence_tests =
 110     testGroup "Edge Incidence Tests" [
 111       tp "t0 shares edge with t6" prop_t0_shares_edge_with_t6,
 112       tp "t0 shares edge with t1" prop_t0_shares_edge_with_t1,
 113       tp "t0 shares edge with t3" prop_t0_shares_edge_with_t3,
 114       tp "t1 shares edge with t2" prop_t1_shares_edge_with_t2,
 115       tp "t1 shares edge with t19" prop_t1_shares_edge_with_t19,
 116       tp "t2 shares edge with t3" prop_t2_shares_edge_with_t3,
 117       tp "t2 shares edge with t12" prop_t2_shares_edge_with_t12,
 118       tp "t3 shares edge with t21" prop_t3_shares_edge_with_t21,
 119       tp "t4 shares edge with t5" prop_t4_shares_edge_with_t5,
 120       tp "t4 shares edge with t7" prop_t4_shares_edge_with_t7,
 121       tp "t4 shares edge with t10" prop_t4_shares_edge_with_t10,
 122       tp "t5 shares edge with t6" prop_t5_shares_edge_with_t6,
 123       tp "t5 shares edge with t16" prop_t5_shares_edge_with_t16,
 124       tp "t6 shares edge with t7" prop_t6_shares_edge_with_t7,
 125       tp "t7 shares edge with t20" prop_t7_shares_edge_with_t20 ]
 126
 127
 128 p79_26_properties :: Test.Framework.Test
 129 p79_26_properties =
 130     testGroup "p. 79, Section (2.6) Properties" [
 131       tp "c0120 identity1" TC.prop_c0120_identity1,
 132       tp "c0120 identity2" TC.prop_c0120_identity2,
 133       tp "c0120 identity3" TC.prop_c0120_identity3,
 134       tp "c0120 identity4" TC.prop_c0120_identity4,
 135       tp "c0120 identity5" TC.prop_c0120_identity5,
 136       tp "c0120 identity6" TC.prop_c0120_identity6,
 137       tp "c0120 identity7" TC.prop_c0120_identity7,
 138       tp "c0210 identity1" TC.prop_c0210_identity1,
 139       tp "c0300 identity1" TC.prop_c0300_identity1,
 140       tp "c1110 identity" TC.prop_c1110_identity,
 141       tp "c1200 identity1" TC.prop_c1200_identity1,
 142       tp "c2100 identity1" TC.prop_c2100_identity1]
 143
 144 p79_27_properties :: Test.Framework.Test
 145 p79_27_properties =
 146     testGroup "p. 79, Section (2.7) Properties" [
 147       tp "c0102 identity1" TC.prop_c0102_identity1,
 148       tp "c0201 identity1" TC.prop_c0201_identity1,
 149       tp "c0300 identity2" TC.prop_c0300_identity2,
 150       tp "c1101 identity" TC.prop_c1101_identity,
 151       tp "c1200 identity2" TC.prop_c1200_identity2,
 152       tp "c2100 identity2" TC.prop_c2100_identity2 ]
 153
 154
 155 p79_28_properties :: Test.Framework.Test
 156 p79_28_properties =
 157     testGroup "p. 79, Section (2.8) Properties" [
 158       tp "c3000 identity" TC.prop_c3000_identity,
 159       tp "c2010 identity" TC.prop_c2010_identity,
 160       tp "c2001 identity" TC.prop_c2001_identity,
 161       tp "c1020 identity" TC.prop_c1020_identity,
 162       tp "c1002 identity" TC.prop_c1002_identity,
 163       tp "c1011 identity" TC.prop_c1011_identity ]
 164
 165
 166 cube_properties :: Test.Framework.Test
 167 cube_properties =
 168     testGroup "Cube Properties" [
 169   tp "all volumes positive" prop_all_volumes_positive,
 170   tp "all volumes exact" prop_all_volumes_exact,
 171   tp "v0 all equal" prop_v0_all_equal,
 172   tp "interior values all identical" prop_interior_values_all_identical,
 173   tp "c-tilde_2100 rotation correct" prop_c_tilde_2100_rotation_correct,
 174   tp "c-tilde_2100 correct" prop_c_tilde_2100_correct ]
 175
 176
 177 tetrahedron_properties :: Test.Framework.Test
 178 tetrahedron_properties =
 179     testGroup "Tetrahedron Properties" [
 180       tp "b0_v0_always_unity" prop_b0_v0_always_unity,
 181       tp "b0_v1_always_zero" prop_b0_v1_always_zero,
 182       tp "b0_v2_always_zero" prop_b0_v2_always_zero,
 183       tp "b0_v3_always_zero" prop_b0_v3_always_zero,
 184       tp "b1_v1_always_unity" prop_b1_v1_always_unity,
 185       tp "b1_v0_always_zero" prop_b1_v0_always_zero,
 186       tp "b1_v2_always_zero" prop_b1_v2_always_zero,
 187       tp "b1_v3_always_zero" prop_b1_v3_always_zero,
 188       tp "b2_v2_always_unity" prop_b2_v2_always_unity,
 189       tp "b2_v0_always_zero" prop_b2_v0_always_zero,
 190       tp "b2_v1_always_zero" prop_b2_v1_always_zero,
 191       tp "b2_v3_always_zero" prop_b2_v3_always_zero,
 192       tp "b3_v3_always_unity" prop_b3_v3_always_unity,
 193       tp "b3_v0_always_zero" prop_b3_v0_always_zero,
 194       tp "b3_v1_always_zero" prop_b3_v1_always_zero,
 195       tp "b3_v2_always_zero" prop_b3_v2_always_zero,
 196       tp "swapping_vertices_doesnt_affect_coefficients1"
 197          $ prop_swapping_vertices_doesnt_affect_coefficients1,
 198       tp "swapping_vertices_doesnt_affect_coefficients2"
 199          $ prop_swapping_vertices_doesnt_affect_coefficients2,
 200       tp "swapping_vertices_doesnt_affect_coefficients3"
 201          $ prop_swapping_vertices_doesnt_affect_coefficients3,
 202       tp "swapping_vertices_doesnt_affect_coefficients4"
 203          $ prop_swapping_vertices_doesnt_affect_coefficients4,
 204       tp "x rotation doesn't affect front" prop_x_rotation_doesnt_affect_front,
 205       tp "x rotation doesn't affect back" prop_x_rotation_doesnt_affect_back,
 206       tp "y rotation doesn't affect left" prop_y_rotation_doesnt_affect_left,
 207       tp "y rotation doesn't affect right" prop_y_rotation_doesnt_affect_right,
 208       tp "z rotation doesn't affect top" prop_z_rotation_doesnt_affect_top,
 209       tp "z rotation doesn't affect down" prop_z_rotation_doesnt_affect_down ]
 210
 211 tests :: [Test.Framework.Test]
 212 tests = [ cardinal_tests,
 213           function_values_tests,
 214           grid_tests,
 215           misc_tests,
 216           tetrahedron_tests,
 217           cube_properties,
 218           tetrahedron_properties,
 219           misc_properties,
 220           cardinal_properties,
 221           edge_incidence_tests,
 222           p78_24_properties,
 223 --          p78_25_properties,
 224           p79_26_properties,
 225           p79_27_properties,
 226           p79_28_properties ]