复杂科学模拟软件Flash-X的验证框架和方法论
摘要：科学计算依赖于科学软件作为科学发现的主要工具。因此，类似于使用其他类型的科学仪器一样，正确的软件和正确操作软件对于进行严格的科学研究是必要的。科学软件的验证可能特别困难，因为用户通常需要在科学研究中修改软件。在文献中，很少有系统性的构建科学软件测试套件的方法论。在这里，我们描述了我们开发的一种方法论，该方法论用于多个科学领域的社区模拟软件Flash-X，在该软件中有可组合的组件，可以以多种方式进行排列和组合，生成各种应用程序。由于这种可组合性，确保测试套件具有足够的代码覆盖率尤其具有挑战性。我们的方法论包括考虑在满足软件质量目标、开发者生产力和满足Flash-X用户社区的科学目标之间的权衡。
作者：Akash Dhruv, Rajeev Jain, Jared O'Neal, Klaus Weide, Anshu Dubey
论文ID：2308.16180
分类：Software Engineering
分类简称：cs.SE
提交时间：2023-08-31