Add Test3, make it possible to test locally, initial UE3 A.3
This commit is contained in:
parent
09b8148fa6
commit
6d705ad01e
@ -3,5 +3,6 @@ FROM haskell:buster
|
|||||||
RUN apt-get update && apt-get install -y haskell-platform
|
RUN apt-get update && apt-get install -y haskell-platform
|
||||||
|
|
||||||
WORKDIR /opt
|
WORKDIR /opt
|
||||||
|
RUN cabal update && cabal install tasty-hunit
|
||||||
|
|
||||||
CMD ["ghci"]
|
CMD ["cabal", "repl", "-b", "base", "-b", "tasty", "-b", "tasty-hunit"]
|
||||||
|
|||||||
@ -10,7 +10,7 @@
|
|||||||
|
|
||||||
Matrizen konzeptuell als Listen von Zeilen dargestellt:
|
Matrizen konzeptuell als Listen von Zeilen dargestellt:
|
||||||
|
|
||||||
> newtype Matrix = M [Zeile] deriving (Eq)
|
> newtype Matrix = M [Zeile]
|
||||||
|
|
||||||
> fehlerwert = M [] :: Matrix
|
> fehlerwert = M [] :: Matrix
|
||||||
|
|
||||||
@ -63,11 +63,9 @@ Solution:
|
|||||||
|
|
||||||
Aufgabe A.3
|
Aufgabe A.3
|
||||||
|
|
||||||
Knapp, aber gut nachvollziebar geht die Instanzdeklaration fuer Eq folgendermassen vor:
|
> instance Eq Matrix where
|
||||||
...
|
> (==) (M m1) (M m2) = (m1 Prelude.== m2)
|
||||||
|
> (/=) (M m1) (M m2) = (m1 Prelude./= m2)
|
||||||
instance Eq Matrix where
|
|
||||||
...
|
|
||||||
|
|
||||||
Aufgabe A.4
|
Aufgabe A.4
|
||||||
|
|
||||||
|
|||||||
241
code/Test3.hs
Normal file
241
code/Test3.hs
Normal file
@ -0,0 +1,241 @@
|
|||||||
|
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]]
|
||||||
|
]
|
||||||
Reference in New Issue
Block a user