Fortran 2003 的编译器验证套件?

问题描述 投票:0回答:2

是否有一个测试套件可以检查 Fortran 编译器是否完全实现 Fortran 2003 标准?

fortran
2个回答
2
投票

简短回答:否

对于 Fortran 95,有 Spackman & Hendrickson, Inc. 的 SHAPE95 测试套件。但是,它从未声称是完整的测试套件,也不是官方权威的。当然,这同样适用于 NIST F77 测试套件,与 SHAPE95 不同,它是免费提供的。其次,据我所知,F2003 的 SHAPE95 尚未更新。

那么该怎么办呢?好吧,几年前在 c.l.f 上有一些关于同样事情的讨论:

Bart Vandewoestyne 写道:
> 2007 年 12 月 14 日,理查德·缅因 (Richard Maine) 写道:
>> 对我来说,它似乎相当完整。但你不能只使用清单
>> 就像标准合规性一样。这是一个非常好的总结,我发现
>> 它非常有用,但很抱歉,完整的标准不会压缩
>> 到这样的一页。抱歉,但这不会发生。如果有人
>> 声称有这样一页左右的清单,其中列出了
>> 让编译器完全兼容 f2003,那么他们就错了。

>> 但这是一个很好的总结。

> 我完全同意你的观点,理查德。  但接下来有哪些
> “完全符合 F2003”的标准?  如果一个编译器编写者
> 声称他有一个“完全符合 F2003 的编译器”,那么什么是
> 他用来支持他的陈述的标准是什么?

最终,诚信和他的声誉。  这是一个很难的标准
阅读(或写书,正如理查德可以告诉你的那样)并且没有
官方测试或验证计划。  真正的卖家不会索赔
支持它,除非他们真的认为他们这样做。  而且,他们会做
他们尽力修复任何遗漏或错误。  有一种解释
让 J3 对特定问题给出正式答复的流程
问题。  在过去的许多年里,基本上所有的解释
问题来自试图理解的编译器作者
标准。

这不是一个很好的情况。  最好的建议是多买几个
编译器并在其中几个上尝试您的代码 - 出现完全错误
检查和标准一致性选项已打开。

迪克·亨德里克森

FWIW,上面的“Richard Maine”角色是 F2003 标准的编辑,而“Dick Hendrickson”的 IIRC 也在标准委员会任职,是的,他是 SHAPE95 背后的人之一。 IOW,他们知道自己在说什么。

最后,gfortran 编译器附带了一个相当大的测试套件,它像编译器的其余部分一样免费提供。我看到专有编译器供应商的一些评论说他们也使用了它。但是,再次强调,gfortran 测试套件并不声称是完整的测试套件;事实上,这主要是之前在编译器中暴露出错误的测试用例。


2
投票

我不知道有这样的测试套件。 如果我担心的话,我看这里读这个

© www.soinside.com 2019 - 2024. All rights reserved.