1

私はHaskellが初めてです。簡単な関数をテストしようとして、QuickCheck テストで遊んでいますcalculateStrengthSingle(以下の testee のソースを参照してください)。

# Fighter.hs
module Fighter
( Quantity(Quantity)
, Fighter(TeamPlayer, LoneWolf, Polymorph)
, Strength(Strength)
, calculateStrengthSingle)
where

import System.Random

data Strength = Strength Double

instance Eq Strength where
    Strength s1 == Strength s2 =
        s1 == s2

instance Ord Strength where
    Strength s1 < Strength s2 =
        s1 < s2

data Quantity = Quantity Int deriving (Show)

instance Random Quantity where
    randomR (Quantity lo, Quantity hi) g =
        let rand = randomR (lo, hi) g
            (r, g1) = rand
        in (Quantity r, g1)
    random g =
        let rand = random g
            (r, g1) = rand
        in (Quantity r, g1)

data Fighter = TeamPlayer
             | LoneWolf
             | Polymorph
    deriving (Show)


calculateStrengthSingle :: Quantity -> Fighter -> Strength
calculateStrengthSingle (Quantity number) TeamPlayer =
    Strength(log (fromIntegral number))
calculateStrengthSingle _ _ = Strength 0.0

テストはこんな感じ

# TestFighter.hs
import qualified Test.QuickCheck as QuickCheck
import Fighter

prop_StrengthPositive quantity fighter =
    Fighter.calculateStrengthSingle quantity fighter >= Strength 0.0

instance QuickCheck.Arbitrary Fighter.Fighter where
    arbitrary = QuickCheck.oneof([return Fighter.TeamPlayer, return Fighter.LoneWolf, return Fighter.Polymorph])

instance QuickCheck.Arbitrary Fighter.Quantity where
    arbitrary = QuickCheck.choose(Fighter.Quantity 1, Fighter.Quantity 10)

main :: IO()
main = do
    QuickCheck.quickCheck prop_StrengthPositive

私が行うと、runhaskell TestFighter.hs出力があり(1 test)(数値が変化している場合も0あり4ます)、CPU は 100% ロードされています。1分ほど何も起こりません。でプログラムを中断するとCtrl+C、次のようなものが吐き出されます

^C*** Failed! Exception: 'user interrupt' (after 1 test):  
Quantity 2
TeamPlayer

質問:

  1. どこで台無しにしましたか？
  2. このような無限計算のケースをデバッグするにはどうすればよいですか?
4

2 に答える 2

7

OrdインスタンスをStrength正しく定義していません。<=ではなくを定義する必要があります<。

のみが<定義されていると、関数は で定義され、で定義<=されているため、無限ループに入ります。最小限の定義では、 または のいずれかを定義する必要があります。comparecompare<=compare<=

Ordたとえば、固定コードは次のとおりです

instance Ord Strength where
    Strength s1 <= Strength s2 =
        s1 <= s2
于 2013-08-12T21:04:49.893 に答える
1

パラメータとしてテストを実行してみると-o 1、1 秒後にタイムアウトが発生します。次に、プログラムがハングする原因となった入力を表示できます。問題がどこにあるのか正確にはわかりませんが、良いスタートです。

編集:これは、cabalでテストフレームワークを使用する方法です

test-Suite runTests
   hs-source-dirs:      src, test
   type:                exitcode-stdio-1.0
   main-is:             RunTests.hs
   other-modules:
                       <...>

  build-depends:       base >= 3 && < 5,
                       HUnit,
                       test-framework,
                       test-framework-th,
                       test-framework-hunit,
                       test-framework-quickcheck2,
                       QuickCheck,

説明を完全にするために、次のものを使用してビルドします。

cabal-dev install --enable-tests
于 2013-08-12T21:45:25.593 に答える