海洋模型的属性测试：我们能指定它吗？（邀请演讲）
软件工程
2025-10-16 v1
摘要
我借鉴了属性测试文献，特别是Prof. John Hughes的工作，探索这些思想如何应用于海洋的数值模型。具体而言，我提出是否可以将地理流体动力学（GFD）理论表达为属性测试，以解决海洋模型正确性测试的oracle问题。我提出若干简单理想化的GFD问题可作为属性测试。这些示例清晰地说明了物理学本质上易于指定属性测试。哪些测试最具可行性和实用性尚需进一步探讨。
引用
@article{arxiv.2510.13692,
title = {Property Testing for Ocean Models. Can We Specify It? (Invited Talk)},
author = {Deepak A. Cherian},
journal= {arXiv preprint arXiv:2510.13692},
year = {2025}
}
备注
In Proceedings VSS 2025, arXiv:2510.12314