论文标题
测试间隔算术库，包括其IEEE-1788合规性
Testing interval arithmetic libraries, including their IEEE-1788 compliance
论文作者
论文摘要
作为实施间隔算术的库的开发人员，在测试库时，我们面临着同样的困难。必须测试什么？我们如何为单位测试设计相关的测试用例？我们如何确保高（可能是100％）测试覆盖范围？在本文中，我们列出了必须测试的各个方面，这些方面必须对测试案例的选择提供指示。然后，我们检查了几个间隔算术库的实际执行测试。接下来，我们介绍了专门为收集测试用例而开发的两个框架，并将易于进行新的库进行测试，即Jinterval和ITF1788。并非库的所有重要方面都适合这些框架，我们列出了我们认为重要但并不容易执行的额外测试。
As developers of libraries implementing interval arithmetic, we faced the same difficulties when it came to testing our libraries. What must be tested? How can we devise relevant test cases for unit testing? How can we ensure a high (and possibly 100%) test coverage? In this paper we list the different aspects that, in our opinion, must be tested, giving indications on the choice of test cases. Then we examine how several interval arithmetic libraries actually perform tests. Next, we introduce two frameworks developed specifically to gather test cases and to incorporate easily new libraries in order to test them, namely JInterval and ITF1788. Not every important aspects of our libraries fit in these frameworks and we list extra tests that we deem important, but not easy, to perform.
