测试区间算术库及其IEEE 1788-2015兼容性的框架
摘要：实现区间算术的库开发人员在测试库时遇到了同样的困难。什么必须被测试？如何设计出相关的单元测试用例？如何确保高（可能是100\%）的测试覆盖率？在考虑这些问题之前，我们简要回顾了区间算术和IEEE 1788-2015区间算术标准的主要特点。在列举了我们认为必须进行测试的不同方面之后，我们为区间算术库提供了一个测试套件的第一步。首先，我们定义了一种格式，以便能够轻松读取和尝试测试用例。然后，我们为一组选择的数学函数提供了一组第一批测试用例。接下来，我们检查了Julia区间算术库IntervalArithmetic.jl在这些测试中的实际表现。由于这是一个正在进行的工作，我们列出了我们认为执行起来很重要的额外测试。
作者：Luis Benet, Luca Ferranti, Nathalie Revol
论文ID：2307.06953
分类：Mathematical Software
分类简称：cs.MS
提交时间：2023-07-17