中文

单元测试、模型验证与生物模拟

定量方法 2017-03-07 v2 软件工程

摘要

软件产业的发展与确保复杂软件可靠性的工具及文化实践的发展密不可分。如今,这些工具和实践已被公认为现代软件管理不可或缺的组成部分。随着计算模型和方法在生物科学中日益普遍,审视这些实践如何加速生物软件开发并提高研究质量显得尤为重要。在本文中,我们针对在 OpenWorm(一个旨在对秀丽隐杆线虫进行建模的开源科学项目)中实施单元测试和测试驱动开发的经验,提供了一个聚焦的案例研究。我们识别并讨论了将测试驱动开发融入异构的、数据驱动的项目中所面临的挑战,以及模型验证测试的作用,这是一类对于表达科学模型的软件所独有的测试。

关键词

引用

@article{arxiv.1508.04635,
  title  = {Unit Testing, Model Validation, and Biological Simulation},
  author = {Gopal P. Sarma and Travis W. Jacobs and Mark D. Watts and Vahid Ghayoomi and Richard C. Gerkin and Stephen D. Larson},
  journal= {arXiv preprint arXiv:1508.04635},
  year   = {2017}
}

备注

13 pages, 8 figures