支持关键系统软件验证过程的监控
软件工程
2015-12-16 v1
摘要
关键软件系统由于其运行环境而面临安全性、保密性和可靠性的严格要求。多年来，由于硬件与软件密集型部署的集成引入了额外错误源，安全性和保密性日益重要。因此，有必要遵循高质量的详尽软件开发过程，其除了增加安全性和保密性所需的开发活动外，还集成了提高软件开发过程本身可靠性的技术。然而在实践中，用于验证验证过程的自动化技术尚未足够广泛地普及。这主要是由于所需技术的高成本以及其在适应不同规范和法规时的复杂程度。本工作提出了一种验证过程的综合管理方法；该方法允许工程师就适用标准监控和控制项目状态。该方法已通过在一个工具中的实现及其在真实项目中的应用得到验证。
引用
@article{arxiv.1512.04782,
title = {Supporting the monitoring of the verification process of critical systems'software},
author = {Julio Escribano-Barreno and Marisol García-Valls},
journal= {arXiv preprint arXiv:1512.04782},
year = {2015}
}