FsUnit并检查浮点数的相等性
FsUnit是一个针对F#语言的单元测试框架，用于检查浮点数的相等性。它提供了一组简洁而强大的断言函数，可以方便地进行测试和验证。
浮点数的相等性在计算机科学中是一个常见的问题，由于浮点数的精度限制，直接使用等号进行比较可能会导致不准确的结果。FsUnit通过提供一些特定的断言函数来解决这个问题，可以在测试中准确地比较浮点数的值。
FsUnit的优势包括：
- 简洁易用：FsUnit提供了一组直观的断言函数，使得编写测试代码变得简单而直观。
- 浮点数相等性检查：FsUnit专门针对浮点数的相等性问题进行了优化，可以准确地比较浮点数的值。
- 与F#语言集成：FsUnit是专门为F#语言设计的，与F#语法和编程风格紧密集成，可以更好地利用F#语言的特性进行测试。
FsUnit适用于任何需要进行浮点数相等性检查的场景，特别是在科学计算、金融领域或需要高精度计算的应用中。它可以帮助开发人员确保浮点数计算的准确性，并提高代码的可靠性。
对于FsUnit的具体使用方法和更多信息，可以参考腾讯云的产品介绍页面：FsUnit产品介绍。
相关·内容
我在f#中有一个微积分工具箱的开头。学习f#和在我脑海中的其他项目中使用一些有用的东西一样重要。基本和不完整的代码是
namespace BradGoneSurfing.Symbolics
open Microsoft.FSharp.Quotations
open Microsoft.FSharp.Quotations.Patterns
open Microsoft.FSharp.Quotations.DerivedPatterns
open System
open Microsoft.FSharp.Reflection
open Microsoft.FSharp.Quotations
o
浏览 0提问于2013-03-10得票数 2
回答已采纳
我使用的是FsUnit 2.3.2，我对失败消息不满意。见下面的例子：
[<Test>]
let ``test 1``() =
[1; 3]
|> should equal [1;2]
..。给我一个毫无帮助的信息：
预期和实际都是Microsoft.FSharp.Collections.FSharpList1[System.Int32]
at FsUnit.TopLevelOperators.should[a,a](FSharpFunc2 f，a x，d:\GitHub\FsUnit\src\FsUnit.NUnit\FsUnit.fs:line 44中
浏览 4提问于2017-04-13得票数 6
回答已采纳
我有以下测试失败的代码：
open Xunit
open FsUnit.Xunit
let rec openOrSenior xs =
match xs with
| head :: tail when fst head >= 55 && snd head >= 7 -> "Senior" :: openOrSenior tail
| head :: tail -> "Open" :: openOrSenior tail
| [] -> []
[<Fact>]
let
浏览 2提问于2016-04-29得票数 3
回答已采纳
我试图使用F# (特别是Xunit分支)测试两个集合在FSUnit中的相等性，但到目前为止失败得很。
我有一个函数，它返回某个结构的数组，并希望测试返回的数组是否正确。我正在测试的代码是用C#编写的，因此函数不能返回本机F#列表。
我尝试过的最有希望的方法是：
[<Fact>]
let SimpleTest() =
let parser = new ExpressionParser()
parser.ParseExpression "2" |> should equal [new ParsedItem("2", ParsedI
浏览 4提问于2016-03-08得票数 2
回答已采纳
当我使用FsUnit 2.6.3运行这个NUnit测试时，
let f xs = Some (List.map ((+) 2) xs)
[<Test>]
let test() =
f []
|> should equal (Some [])
我得到：
Result Message:
Expected: <Some([])>
But was: <Some([])>
Result StackTrace:
at FsUnit.TopLevelOperators.should[a,a](FSharpFunc`2 f, a x, Objec
浏览 5提问于2014-06-02得票数 5
回答已采纳
1回答
我正在使用FsUnit.Xunit。下面的测试用例失败了：
[<Fact>]
let ``Initialization of DFF`` () =
dff Seq.empty Seq.empty |> should equal (seq {Zero})
测试失败是：
Message:
FsUnit.Xunit+MatchException : Exception of type 'FsUnit.Xunit+MatchException' was thrown.
Expected: Equals seq [Zero]
Actual: seq [
浏览 7提问于2022-09-16得票数 1
回答已采纳
2回答
我是F#的新手，我在玩FParsec。我会使用FParsec来生成一个AST。我想使用FsUnit围绕解析器的各个部分编写一些测试，以确保正确的操作。
我在语法上遇到了一些问题(对不起，确切的代码正在工作中，我可以稍后发布一个具体的示例)，那么如何准确地比较两个有区别的联合(一个是预期的，另一个是实际的结果)？有人能提供一个使用FsUnit (或NUnit)的小代码示例吗？
一个区分联合的例子(非常简单)
type AST =
| Variable of string
| Class of string
| Number of int
浏览 0提问于2011-09-15得票数 5
回答已采纳
1回答
当然，下面的两个测试失败了。但是，为什么错误消息显示两个相同的期望值？有办法只展示一个吗？
myTest返回Expected: <B> or <B> But was: <A>
myTest2返回Expected: <{ N = 2 }> or <{ N = 2 }> But was: <{ N = 1 }>
当使用普通的Expected: <B> But was: <A>时，它会像预期的那样工作(例如NUnit )。
当然，当使用更复杂的类型时，这种情况会变得非常糟糕。
Tests.cs
浏览 14提问于2022-02-23得票数 2
2回答
下一次测试失败了。我直接将GetType调用为函数定义，然后在内联函数中调用GetType。生成的类型不相等。
namespace PocTests
open FsUnit
open NUnit.Framework
module Helpers =
let balance ing gas = ing - gas
[<TestFixture>]
type ``Reflected types`` ()=
[<Test>] member x.
``test type equality with inline use`` () =
浏览 10提问于2014-09-10得票数 1
回答已采纳
1回答
带有序列的奇数行为
、、、
我正在经历一些非常不寻常的结果从一个简单的条件，并真的需要其他人运行在他们的机器上的一个健全检查。下面是代码：
mySEQ <- seq(0.1, 1.0, by = 0.1)
for (s in c(0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1.0)) { print((s + .1) %in% mySEQ) }
mySEQ[3] == 0.3
其结果是：
> mySEQ <- seq(0.1, 1.0, by = 0.1)
> for (s in c(0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7,
浏览 4提问于2016-08-04得票数 0
回答已采纳
3回答
我有个烦人的问题我解决不了。我得到了这个代码片段：
LOG(INFO) << "totalTranslation: " << m_move.totalTranslation << " tileSize: " << static_cast<double>(tileSize);
if(m_move.totalTranslation >= static_cast<double>(tileSize)) {
LOG(INFO) << "in!";
}
tile
浏览 5提问于2014-01-18得票数 1
回答已采纳
1回答
我是f#和fsUnit的新手，我想知道如何使用fsUnit测试模式匹配语句。例如，如果我有以下代码，您将如何为其编写fsunit测试？
let Menu () =
let Choice = Console.ReadLine()
match Choice with
| "A" | "a" -> Function1()
| "B" | "b" -> Function2()
| "C" | "c" -> Func
浏览 3提问于2017-12-23得票数 3
回答已采纳
在我的代码中：
else if (returnShortestTime() == shortTime[1])
returnShortestTime方法返回最小的double，并与存储的double进行比较，因此，由于这不是简单地使用double A == double B，我如何在代码中比较两个double，以查看它们是否相等？
浏览 2提问于2015-11-05得票数 1
为了练习，我用Python写了一个简单的变化计算器，我遇到了一个问题。下面是我的代码：
amounts = (100, 50, 20, 10, 5, 2, 1, 0.25, 0.10, 0.05, 0.01)
def get_change(full_amount):
final_change = []
for amount in amounts:
number = 0
while full_amount >= amount:
if (full_amount < 0.50 and full_amount &g
浏览 1提问于2013-09-19得票数 1
1回答
我不能理解下面的内容
if cell_val==10013.32945086 :
print cell_val
print str(cell_val)
print repr(cell_val)
上面的代码片段是for循环的一部分，结果如下：
10013.3294509
10013.3294509
10013.329450859999
10013.3294509
10013.3294509
10013.329450859999
在上面的例子中，cell_val被等同于10013.32945086，但实际上打印出来的是10013.3294509。
谢谢
浏览 0提问于2014-07-03得票数 1
我正在尝试测试一个集合不包含使用FsUnit.Xunit的值。
open FsUnit.Xunit
[<Fact>]
let ``simple test`` () =
let xs = [ 1; 2; 3 ]
xs |> should contain 1
xs |> should not contain 99 // Not real code
我也尝试过使用not'。
我该怎么写这个？
浏览 3提问于2020-07-28得票数 1
回答已采纳
我最近浏览了一个Haskell教程，在交互式ghci shell中尝试一些简单的Haskell表达式时，注意到了这种行为：
Prelude> 1.1 + 1.1 == 2.2
True
Prelude> 1.1 + 1.1 + 1.1 == 3.3
False
Prelude> 1.1 + 1.1 + 1.1 > 3.3
True
Prelude> 1.1 + 1.1 + 1.1
3.3000000000000003
有人知道这是为什么吗？
浏览 0提问于2010-01-11得票数 8
回答已采纳
我安装了FsUnit
» nuget install fsunit
Attempting to resolve dependency 'NUnit (≥ 2.6.3)'.
Installing 'NUnit 2.6.3'.
Successfully installed 'NUnit 2.6.3'.
Installing 'FsUnit 1.3.0.1'.
Successfully installed 'FsUnit 1.3.0.1'.
我创建了简单的单元测试：
module Tests
open NUnit.Fr
浏览 2提问于2015-06-09得票数 3
回答已采纳
2回答
下面的函数尝试查找整数。但不知何故，我没有正确地这样做，因为它显示每个数字都是整数(后面没有数字)。
$max_value % 1应该只返回true是否没有rest值？？
谁能帮帮我，现在每次检查的结果都是0。
解决方案(30)；
function solution($a){
$sides_short = array();
$sides_long = array();
$max_number = $a/2;
$total = $a;
for($i=1;$i<=$max_number;$i++){
$min_value = $i;
$max_value
浏览 2提问于2016-06-27得票数 1
下面的代码使用Matlabs Serial Date Number作为matlabs容器映射中的键。密钥类型为double。这是正确的吗？Matlabs Serial Date Number可以用作密钥吗？
currDateTime='2013-02-12 11:00';
dateNum=datenum(currDateTime);
keySet = {dateNum};
currentDateNum=datestr(dateNum);
valueSet = {currentDateNum} ;
weatherFron
浏览 1提问于2013-02-25得票数 0
回答已采纳
我正在尝试将一个对象向上移动60帧，然后将其向下移动60帧，所以它应该会回到原来的位置。然而，当我尝试这样做时，事情并不是这样的。对象的初始位置是(0,1.2,0)，在我上下移动它之后，它回到了(0,1.200001,0)的位置。这是我为object.the对象编写的脚本，它是一个带有长方体碰撞器的3d立方体。
private float upCounter = 60;
private float downCounter = 60;
// Start is called before the first frame update
void Start()
{
}
// Update is
浏览 54提问于2019-05-24得票数 0
1回答
我一直在尝试使用fsunit来测试一个项目。如果我把自己限制在[<TestMethod>]方法上，它们都会出现在TestExplorer中。但是，如果我尝试使用[<TestCase(...)>]，则不会显示任何内容，也不会执行任何测试。
我想我的设置有问题，但我不知道是什么问题。我在代码中引用了NUnit.Framework和FsUnit。
这是使用Visual Studio 2013，BTW。
下面是我想要做的一个例子(使用一个玩具阶乘函数)：
open NUnit.Framework
open FsUnit
[<TestFixture>]
type `
浏览 1提问于2014-03-28得票数 4
问题陈述：
我正在尝试确定一个对数是否“完美”，即没有余数。我遇到的问题是math.log()总是返回一个浮点数。
我读到了这个：
这是我目前的解决方案：
import sys
import math
def is_even_log(argument, base):
x = math.log(argument, base) # yields float
numerator, denominator = x.as_integer_ratio()
print(
f"numeratorerator: {numerator}, "
浏览 20提问于2021-02-24得票数 0
3回答
alert(Math.cos(Math.PI/2));
为什么结果不是精确的零？这是不准确的，还是某些实现错误？
浏览 7提问于2011-04-14得票数 4
回答已采纳
1回答
在我的代码中，我需要检查向量的两个连续成员之间的差值对是否相等，然后做一些相应的事情。现在在Matlab中发生了一件奇怪的事情，假设我有两对两个连续的数字，所以当我使用
(x(i+3) - x(i+2)) ~= (x(i+1)-x(i))
即使两边相等，它也会给我一个1。我认为原因是有一些舍入错误，但不是很确定。例如,
x = [0,0.16,0.32,0.48,0.64,0.80];
>>a = x(5) - x(4)
a =
0.1600
>>b = x(4) - x(3)
b =
0.1600
>>a-b
ans =
5.5511
浏览 2提问于2012-09-01得票数 2
回答已采纳
0。我的设置如下
Visual Studio 2012 Ultimate, update 3, v.11.0.60610.01
Visual F# 2012 04940-004-0038003-02527
TestDriven.Net 3.5 Beta 3 Personal
1.我在packages.config中拥有的内容：
<?xml version="1.0" encoding="utf-8"?>
<packages>
<package id="FsUnit.xUnit" versi
浏览 4提问于2013-12-03得票数 0
1回答
我试图使用基于FsUnit的XUnit断言异常。我接受了的这个测试
[<Fact>]
let ``boom`` () =
(fun () -> failwith "BOOM!" |> ignore) |> should throw typeof<System.Exception>
我正在使用Resharper 2016运行测试，并得到以下错误：
FsUnit.Xunit+MatchException
Exception of type 'FsUnit.Xunit+MatchException' was throw
浏览 2提问于2017-01-18得票数 2
回答已采纳
我正在F#中玩单元测试。我正在运行Visual 2013社区版。我创建了一个测试项目，并安装了NUnit 2.6.4和FsUnit 1.3.0.1。我使用了控制台。我在项目和脚本文件中添加了对库的引用，引用了DLL并添加了open子句：
#r @"C:\Users\pw\Documents\Visual Studio 2013\Projects\FSharpForQuantFirst\packages\FsUnit.1.3.0.1\Lib\Net40\FsUnit.NUnit.dll"
#r @"C:\Users\pw\Documents\Visual Studio 2
浏览 1提问于2015-02-10得票数 3
1回答
我试图使用FsUnit.Xunit断言某种异常类型和消息。有一些函数随FsUnit而来。但是，当使用它代替throw函数时，fsc会发出以下错误：
C:\src\foo.fs(29,12): error FS0001: This expression was expected to have type '(unit -> unit) -> 'a' but here has type 'unit'
C:\src\foo.fs(29,19): error FS0001: The type ''a -> NHamcrest.
浏览 3提问于2018-04-16得票数 3
回答已采纳
3回答
总结如下：
$a = 213480.7-190.46;
exit($a-213290.24);
# 2.9103830456734E-11
结果输出假定为0。但是它会输出
操作结果的故事：
$b is : 213480.7
-190.46
$b is : 213290.24
现在，平衡看起来是正确的。但是当使用比较运算符时..这里的结果很奇怪，这里是var_dump和compare结果
var_dump($b);
# float 213290.24
if ($b==213290.24) {
exit('same');
} elseif ($b>213290.24
浏览 0提问于2011-11-15得票数 1
回答已采纳
我有一个定制对象的NSArray，称为Proximity。我通过创建一个新的ProximityAnnotation (如下所示)将它们添加到地图中：
// Add the annotations to the map
if (self.proximityItems) {
for (Proximity *proximity in self.proximityItems) {
// Create a pin
ProximityAnnotation *proximityAnnotation = [[ProximityAnnotation alloc] ini
浏览 1提问于2012-10-17得票数 1
回答已采纳
5回答
我在IEEE浮点规则中遇到了一些问题，因为它阻止了看起来很明显的编译器优化。例如,
char foo(float x) {
if (x == x)
return 1;
else
return 0;
}
无法优化为仅返回1，因为NaN == NaN为false。好吧，好吧，我想。
但是，我希望编写这样的代码，以便优化器能够真正地为我修复问题。是否存在对所有浮点数都成立的数学恒等式？例如，我愿意写!(x - x)，如果这意味着编译器可以假设它一直保持不变(尽管也不是这样)。
我在网上看到了一些关于这些身份的参考，例如，但我没有找到任何有组织的信息，
浏览 0提问于2009-12-29得票数 4
3回答
我有一个单元测试，从距离计算得到的存储在实际变量中的数字是6.07328028312884，但它仍然说测试失败。为什么？
double expected = 6.07328028312884;
double actual;
actual = target.Distance((double)latitude, (double)longitude);
actual = actual / 1000;
Assert.AreEqual(expected, actual);
浏览 7提问于2011-02-22得票数 1
回答已采纳
5回答
使用以下代码，
#include <stdio.h>
int main(void){
float x;
x=(float)3.3==3.3;
printf("%f",x);
return 0;
}
输出为0.00000
但是当数字3.3被替换为3.5时，
#include <stdio.h>
int main(void){
float x;
x=(float)3.5==3.5;
printf("%f",x);
return 0;
}
输出为1.0000
为什么会有产出上的差异？
浏览 1提问于2013-08-09得票数 4
6回答
我是在上测试这段代码的
double d1 = 1.000001;
double d2 = 0.000001;
Console.WriteLine((d1 - d2) == 1.0);
结果是"False“。当我更改数据类型时：
decimal d1 = 1.000001M;
decimal d2 = 0.000001M;
decimal d3 = d1-d2;
Console.WriteLine(d3 == 1);
程序会写出正确的答案："True“。
这
浏览 0提问于2009-09-08得票数 5
回答已采纳
1回答
我尝试比较浮点值，但我做不到，我使用以下代码：
float a = [[array objectAtIndex:(i+1)] floatValue];
float b = [[array objectAtIndex:(i)] floatValue];
a = [[NSString stringWithFormat:@"%.2f",a] floatValue];
b = [[NSString stringWithFormat:@"%.2f",b] floatValue];
step = [[NSString stringWithFormat:@"%.2f
浏览 1提问于2013-04-29得票数 2
2回答
C语言中的浮点数
、、
今天我在C中玩浮点数
代码类似于：
float a = 0.0;
a += 0.8;
if(a == 0.800000)
printf("correct");
if语句没有被执行，为此我输出了a的值，它是0.800000。
void main(){
float a=0.0f;
a=a+0.1f;
if(a==0.1f)
printf( "1correct");
a += 0.1f;
if(a==0.2f)
printf( "2correct");
a += 0.
浏览 3提问于2014-12-18得票数 0
我知道，如果您想检查doubles的等价性，您可以这样做：return abs(a-b)<EPSILON
我的问题是:当我想问a!=b是否也需要与EPSILON进行比较时？我的直觉是肯定的(因为它们可能是相等的)，但从我在web上看到的情况来看，它不是用EPSILON实现的
还有一个问题，当我们想要检查双精度或浮点数的相等性时，我们使用EPSILON的原因是什么？
浏览 1提问于2011-12-10得票数 1
回答已采纳
4回答
VB脚本数学函数
、、、
我有一个ASP页面，我有两个变量，strActualRate和strProposed。这些值包括：
strActualRate = 33.30
strProposed = 33.3
因此，当我编写下面这行代码进行比较时：
if strActualRate <> strProposed then
Response.Writr "Both are not equal!"
end if
我得到的输出是“两者不相等”，即使两者是相同的。我确信我需要使用一些数学转换函数来进行比较。
有人能告诉我怎么解决这个问题吗？
提前感谢！
浏览 0提问于2009-04-01得票数 0
回答已采纳
1回答
看来，即使我的属性测试通过了，作为单元测试运行的我的属性测试也会失败。
守则如下：
module Tests.Units
open FsUnit
open NUnit.Framework
open NUnit.Core.Extensibility
open FsCheck.NUnit
open FsCheck.NUnit.Addin
open FsCheck
let add x y = (x + y)
let commutativeProperty x y =
let result1 = add x y
let result2 = add y x // reverse
浏览 2提问于2015-11-29得票数 0
回答已采纳
在尝试从构建最新版本的时，使用需要DLL进行单元测试的Visual Studio Community 15和MathNet.Numerics.sln。
Could not resolve this reference. Could not locate the assembly "FsUnit.CustomMatchers".
Could not resolve this reference. Could not locate the assembly "FsUnit.NUnit".
Could not resolve this reference. Coul
浏览 4提问于2016-02-26得票数 1
回答已采纳
4回答
分数型之间的比较
、、
ghci> 4 == 3.9999999999999999
True
ghci> 10.2^2 == 104.04
False
为什么第二个表达式返回False？
浏览 0提问于2011-05-18得票数 3
回答已采纳
在比较相等时，是否可以使用==
例如：
int a = 3;
int b = 4;
如果检查相等性，你应该使用：
if (a == b)
{
. . .
}
如果使用浮点数，情况会发生变化吗？
浏览 1提问于2010-02-11得票数 5
回答已采纳
我有两个数字应该相等于返回一个差，我没有道理.
只有这样，我才能在这里重现这个问题--我不得不base64_encode我的数组，
下面是脚本：
基本上，脚本会将“1234，5”这样的数字修正为"1234.5“，并进行计算，但在它的末尾返回。
First Number: 4784.47
Second Number: 4784.47
Difference: 9.0949470177293E-13
我只是不明白？
$aa = 'YTo3OntpOjA7YToxMDp7czoxMToiR
浏览 3提问于2011-08-20得票数 5
回答已采纳
7回答
对于浮点算术有哪些好的做法和不应该做的事情(如果有混淆的话就是IEEE754)来确保良好的数值稳定性和高精度的结果？
我知道一些像不要减去类似数量的量，但我很好奇还有什么其他好的规则。
浏览 0提问于2010-06-23得票数 13
回答已采纳
1回答
我试图把一个三角形矩阵分成几个部分，这些部分包含了大致相同数量的元素。
我编写了下面的代码，它可以很好地工作在大多数输入组合中，并将我的矩阵分割成给定数量的部件，从0到$length。
但是，有一些输入组合，如$length = 2003和$number_of_segments = 50，在输出中缺少最后一个段。我测试了$threshold和$total的值，但即使在那些奇怪的情况下，它们似乎也是正确的。
你有什么想法吗，窃听器在哪里？
#!/usr/bin/perl
use strict; #should always be used
use warnings;
浏览 5提问于2015-05-08得票数 1
回答已采纳
2回答
我的操作是这样的：
const amount = 100;
const rate = 0.32123;
const a = amount * rate;
a // 32.123000000000005
const b = a / rate;
b // 100.00000000000001
我需要的数字是相同的转换后。我如何才能做到这一点？双向转换是必需的。我有很多货币。每种货币都有内部货币的转换率(让我们称之为myCurr)。我不能立即将一种货币转换为另一种货币(内部货币除外)，因为我只有内部货币的转换评级。因此，我首先需要将货币A转换为内部货币(A * rate1)，然后需要通过将A除以r
浏览 0提问于2020-05-13得票数 2
我想检查传递给类型的构造函数的参数是否有效。
如果无效，我将检查它并引发ArgumentException。
我想为这种行为创建一个测试。我想使用Assert.throws，或者最好使用FSUnit，而不是try/with块。
#package "FsUnit@3.4.1"
#package "nunit@3.11.0"
open System
open FSUnit
type configuration = {aaa:int}
type Client(conf:configuration) =
do
if conf.aaa <
浏览 3提问于2019-03-26得票数 3
回答已采纳
3回答
我想检查一个值是否属于一个受歧视的工会的特定情况，而不必检查任何包含的数据。我的动机是每一次单元测试只测试一件事。
示例如下(最后两行提供编译错误)：
module MyState
open NUnit.Framework
open FsUnit
type MyState =
| StateOne of int
| StateTwo of int
let increment state =
match state with
| StateOne n when n = 10 -> StateTwo 0
| StateOne n -> St
浏览 5提问于2013-09-25得票数 9
回答已采纳
我正在努力开始使用ProjectScaffold在Linux上使用F#。具体地说:我不能让项目使用FsUnit/FsCheck/xunit。我使用的是Linux3.1和Mono3.12.1，我使用的是F# (Ubuntu) x64。
我以"MyProject“开头：
$ git clone --depth=1 git@github.com:fsprojects/ProjectScaffold.git
$ cd ProjectScaffold && ./build.sh
然后我在“src/MyProject/Library.fs”中添加了一些代码：
module MyPr
浏览 0提问于2015-04-22得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
