This repository has been archived on 2021-11-27. You can view files and clone it, but cannot push or open issues or pull requests.
fprog2021WS/code/Test3.hs

241 lines
7.5 KiB
Haskell

module Test3 where
import Angabe3
import Test.Tasty
import Test.Tasty.HUnit
import Test.Tasty.Ingredients (composeReporters)
import Test.Tasty.Ingredients.ConsoleReporter (consoleTestReporter)
import Control.Exception (ErrorCall(ErrorCallWithLocation), try, evaluate)
main :: IO ()
main = defaultMainWithIngredients [consoleTestReporter] spec
{-----TESTDATEN BEGINN-----}
m1 = M [[1,2],[3,4]] :: Matrix
m2 = M [[1,2],[3,4],[5,6]] :: Matrix
m3 = M [[1,2,3],[4,5],[6]] :: Matrix
m4 = M [[1,2,3],[],[6]] :: Matrix
m5 = M [[],[],[]] :: Matrix
m6 = M [] :: Matrix
m7 = M [[1,2,5],[-3,-4,1]] :: Matrix
m8 = M [[4,4],[1,0],[9,6]] :: Matrix
m9 = M [[-1,1],[1,-1],[-2,2]] :: Matrix
m10 = M [[0,0,0],[0,0,0],[0,0,0]] :: Matrix
neg_m1 = M [[-1,-2],[-3,-4]] :: Matrix
neg_m7 = M[[-1,-2,-5],[3,4,-1]] :: Matrix
abs_m7 = M [[1,2,5],[3,4,1]] :: Matrix
errMsg_gleich = "Gleichheit undefiniert" :: String
errMsg_ungleich = "Ungleichheit undefiniert" :: String
errMsg_signum = "Vorzeichenfunktion undefiniert" :: String
{-----TESTDATEN ENDE-----}
getMsg :: ErrorCall -> String
getMsg (ErrorCallWithLocation msg _) = msg
assertError :: (Show a) => String -> a -> IO ()
assertError errorMsg action = do
r <- try (evaluate action)
case r of
Left e -> if (getMsg e == errorMsg) then return()
else assertFailure $ "Received unexpected error: " ++ (show e) ++ "\ninstead of: " ++ errorMsg
Right _ -> assertFailure $ "Expected error: " ++ errorMsg
spec :: TestTree
spec =
testGroup
"Test2 Spec"
[
showMatrix_tests,
matrixtyp_tests,
gleichheit_tests,
plus_tests,
minus_tests,
mal_tests,
negate_tests,
abs_tests,
signum_tests,
fromInteger_tests
]
showMatrix_tests :: TestTree
showMatrix_tests =
testGroup
"-----show Matrix Tests-----"
[
testCase "m1: M [[1,2] [3,4]]" $
show m1 @?= "([1,2] [3,4])",
testCase "m2: M [[1,2],[3,4],[5,6]]" $
show m2 @?= "([1,2] [3,4] [5,6])",
testCase "m3: M [[1,2,3],[4,5],[6]]" $
show m3 @?= "([1,2,3] [4,5] [6])",
testCase "m4: M [[1,2,3],[],[6]]" $
show m4 @?= "([1,2,3] [] [6])",
testCase "m5: M [[],[],[]]" $
show m5 @?= "([] [] [])",
testCase "m6: M []" $
show m6 @?= show fehlerwert
]
matrixtyp_tests :: TestTree
matrixtyp_tests =
testGroup
"-----Matrixtyp Tests-----"
[
testCase "m1: quadratische Matrix (2,2)" $
matrixtyp m1 @?= Mat (2,2),
testCase "m2: rechteckige Matrix (3,2)" $
matrixtyp m2 @?= Mat (3,2),
testCase "m5: leer-elementrige Matrix" $
matrixtyp m5 @?= KeineMatrix,
testCase "m6: fehlerwertige Matrix (M [])" $
matrixtyp m6 @?= KeineMatrix,
testCase "m3: ungültige Matrix, kein Leer-Element" $
matrixtyp m3 @?= KeineMatrix,
testCase "m4: ungültige Matrix, ein Leer-Element" $
matrixtyp m4 @?= KeineMatrix
]
gleichheit_tests :: TestTree
gleichheit_tests =
testGroup
"-----Matrix-Gleichheit Tests-----"
[
testCase "m1 == m1: gültige gleiche Matrizen" $
m1 == m1 @?= True,
testCase "m1 == m2: gültige ungleich-zeilige Matrizen" $
m1 == m2 @?= False,
testCase "m1 == m2: gültige ungleich-spaltige Matrizen" $
m1 == m7 @?= False,
testCase "m5 /= m5: leer-elementrige Matrizen" $
assertError errMsg_ungleich (m5 /= m5),
testCase "m3 == m1: linke Matrix ungültig" $
assertError errMsg_gleich (m3 == m1),
testCase "m1 /= m3: rechte Matrix ungültig" $
assertError errMsg_ungleich (m1 /= m3),
testCase "m3 == m4: beide Matrizen ungültig" $
assertError errMsg_gleich (m3 == m4),
testCase "m6 /= m6: beide Matrizen fehlerwertig (M [])" $
assertError errMsg_ungleich (m6 /= m6)
]
plus_tests :: TestTree
plus_tests =
testGroup
"-----Matrix-Summe Tests-----"
[
testCase "m1 + m1: gültige Matrizen, Summe definiert" $
m1 + m1 @?= M [[2,4],[6,8]],
testCase "m1 + m2: gültige Matrizen, Summe undefiniert" $
show (m1 + m2) @?= show fehlerwert,
testCase "m1 + m4: rechte Matrix ungültig" $
show (m1 + m4) @?= show fehlerwert,
testCase "m4 + m1: linke Matrix ungültig" $
show (m4 + m1) @?= show fehlerwert,
testCase "m3 + m4: beide Matrizen ungültig" $
show (m3 + m4) @?= show fehlerwert,
testCase "m5 + m5: leere Matrizen, Summe undefiniert" $
show (m5 + m5) @?= show fehlerwert,
testCase "m6 + m7: linke Matrix fehlerwertig (M [])" $
show (m6 + m7) @?= show fehlerwert
]
minus_tests :: TestTree
minus_tests =
testGroup
"-----Matrix-Differenz Tests-----"
[
testCase "m1 - m1: gültige Matrizen, Differenz definiert" $
m1 - m1 @?= M [[0,0],[0,0]],
testCase "m2 - m8: gültige Matrizen, Differenz definiert, neg. Werte" $
m2 - m8 @?= M [[-3,-2],[2,4],[-4,0]],
testCase "m1 - m2: gültige Matrizen, Differenz undefiniert" $
show (m1 - m2) @?= show fehlerwert,
testCase "m1 - m4: rechte Matrix ungültig" $
show (m1 - m4) @?= show fehlerwert,
testCase "m4 - m1: linke Matrix ungültig" $
show (m4 - m1) @?= show fehlerwert,
testCase "m3 - m4: beide Matrizen ungültig" $
show (m3 - m4) @?= show fehlerwert,
testCase "m5 - m5: leere Matrizen, Differenz undefiniert" $
show (m5 - m5) @?= show fehlerwert,
testCase "m6 - m7: linke Matrix fehlerwertig (M [])" $
show (m6 - m7) @?= show fehlerwert
]
mal_tests :: TestTree
mal_tests =
testGroup
"-----Matrix-Multiplikation Tests-----"
[
testCase "m2 * m7: gültige Matrizen, gültiger Typ" $
m2 * m7 @?= M [[-5,-6,7],[-9,-10,19],[-13,-14,31]],
testCase "m1 * m2: gültige Matrizen, ungültiger Typ" $
show (m1 * m2) @?= show fehlerwert,
testCase "m5 * m5: leere Matrizen" $
show (m5 * m5) @?= show fehlerwert,
testCase "m6 * m7: linke Matrix fehlerwertig (M [])" $
show (m6 * m7) @?= show fehlerwert
]
negate_tests :: TestTree
negate_tests =
testGroup
"-----Negate Tests-----"
[
testCase "m1: gültige nur positive VZ Matrix" $
negate m1 @?= neg_m1,
testCase "m7: gültige gemischte VZ Matrix" $
negate m7 @?= neg_m7,
testCase "m5: leere Matrix" $
show (negate m5) @?= show fehlerwert,
testCase "m4: ungültige Matrix" $
show (negate m4) @?= show fehlerwert
]
abs_tests :: TestTree
abs_tests =
testGroup
"-----Abs.Betrag Tests-----"
[
testCase "m7: gültige gemischte VZ Matrix" $
abs m7 @?= abs_m7,
testCase "m5: leere Matrix" $
show (abs m5) @?= show fehlerwert,
testCase "m4: ungültige Matrix" $
show (abs m4) @?= show fehlerwert
]
signum_tests :: TestTree
signum_tests =
testGroup
"-----Signum Tests-----"
[
testCase "m1: gültige nur positive VZ Matrix" $
signum m1 @?= M [[1]],
testCase "m7: gültige gemischte VZ Matrix" $
assertError errMsg_signum (signum m7),
testCase "neg_m1: gültige nur negative VZ Matrix" $
signum neg_m1 @?= M [[-1]],
testCase "m10: gültige Matrix, alle Einträge 0" $
signum m10 @?= M[[0]],
testCase "m5: leere Matrix" $
assertError errMsg_signum (signum m5),
testCase "m4: ungültige Matrix" $
assertError errMsg_signum (signum m4),
testCase "m9: gültige gemischte VZ Matrix, Summe negVZ == Summe posVZ" $
assertError errMsg_signum (signum m9)
]
fromInteger_tests :: TestTree
fromInteger_tests =
testGroup
"-----fromInteger Tests-----"
[
testCase "fromInteger 1" $
fromInteger 1 @?= M [[1]],
testCase "fromInteger 0" $
fromInteger 0 @?= M [[0]],
testCase "fromInteger -1" $
fromInteger (-1) @?= M [[-1]]
]