编程 haskell QuickCheck的使用 这是我编写的四则运算程序(a,b) <+> (c,d) = (a*d + b*c , b*d)(a,b) <-> (c,d) = (a*d-b*c , b*d)(a,b) <*> (c,d) = (a*c ,b*d)(a,b) </> (c,d) = (a*d , b*c)要怎么用QuickCheck测试
来源:学生作业帮助网 编辑:六六作业网 时间:2024/11/28 15:16:46
编程 haskell QuickCheck的使用 这是我编写的四则运算程序(a,b) <+> (c,d) = (a*d + b*c , b*d)(a,b) <-> (c,d) = (a*d-b*c , b*d)(a,b) <*> (c,d) = (a*c ,b*d)(a,b) </> (c,d) = (a*d , b*c)要怎么用QuickCheck测试
编程 haskell QuickCheck的使用
这是我编写的四则运算程序
(a,b) <+> (c,d) = (a*d + b*c , b*d)
(a,b) <-> (c,d) = (a*d-b*c , b*d)
(a,b) <*> (c,d) = (a*c ,b*d)
(a,b) </> (c,d) = (a*d , b*c)
要怎么用QuickCheck测试呢?
编程 haskell QuickCheck的使用 这是我编写的四则运算程序(a,b) <+> (c,d) = (a*d + b*c , b*d)(a,b) <-> (c,d) = (a*d-b*c , b*d)(a,b) <*> (c,d) = (a*c ,b*d)(a,b) </> (c,d) = (a*d , b*c)要怎么用QuickCheck测试
比如你要测试你写的 是否正确,是否和+法效果一样,可以
prop_Addition a b = a b == a + b
where types = (a::Integer, b::Integer)
quickCheck prop_Addition
如果正确会有相应显示
你可以去看quickcheck的说明
http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html