umd-verification：面向 EGI 联邦电子基础设施的软件验证自动化
软件工程
2018-08-15 v1
摘要
在 EGI 电子基础设施中支持电子科学需要广泛且可靠的软件，用于高级计算用途，部署于约 300 个欧洲及全球数据中心。统一中间件分发（UMD）和云中间件分发（CMD）是为 EGI 电子基础设施消费交付软件的渠道。软件按照软件供应流程（SWPP）进行编译、验证和分发，其中质量准则（QC）定义规定了 EGI 验收的最低质量要求。目前 UMD 和 CMD 分发中不断增长的软件组件数量阻碍了传统基于人工的验证机制的应用，从而推动了自动化方案的采用。本文介绍 umd-verification，一种开源工具，以自动化方式强制满足 QC 要求，用于软件产品的持续验证以供科学使用。umd-verification 工具已成功集成到 SWPP 流水线中，并逐步支持 UMD 和 CMD 仓库中产品的完整验证。尽管支持新产品的成本取决于基础设施即代码方案的可用性以接管部署和高的测试覆盖率，但已集成产品所获得的结果令人鼓舞，因为产品验证所投入的时间已大幅减少。此外，自动化的采用为流程可靠性带来了益处，例如消除了人为错误或因先前测试功能回归带来的风险。
引用
@article{arxiv.1807.11318,
title = {umd-verification: Automation of Software Validation for the EGI federated e-Infrastructure},
author = {Pablo Orviz Fernandez and Joao Pina and Alvaro Lopez Garcia and Isabel Campos Plasencia and Mario David and Jorge Gomes},
journal= {arXiv preprint arXiv:1807.11318},
year = {2018}
}
备注
This is the author's pre-print version of this work. The final publication is available at http://dx.doi.org/10.1007/s10723-018-9454-2