search menu icon-carat-right cmu-wordmark

A Virtual Upgrade Validation Method for Software-Reliant Systems

Technical Report
This report presents the Virtual Upgrade Validation (VUV) method, an approach that uses architecture-centric, model-based analysis to identify system-level problems early in the upgrade process to complement established test qualification techniques.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2012-TR-005
DOI (Digital Object Identifier)
10.1184/R1/6571796.v1

Abstract

This report presents a Virtual Upgrade Validation (VUV) method to improve design quality and confidence in qualification through testing for military systems impacted by computer platform changes. This approach uses architecture-centric, model-based analysis to identify system-level problems early in the upgrade process to complement established test qualification techniques. For purposes of this report, the authors focus on changes to the computer platform consisting of processors, network, operating system, and runtime infrastructure. They describe the VUV method steps and introduce the Architectural Dependencies Catalog that provides guidance for modelers on which aspects of the system to model and how to model them. The report also provides a history and overview of the Architecture Analysis and Design Language standard, which is used with the VUV method.

Cite This Technical Report

de Niz, D., Feiler, P., Gluch, D., & Wrage, L. (2012, June 1). A Virtual Upgrade Validation Method for Software-Reliant Systems. (Technical Report CMU/SEI-2012-TR-005). Retrieved April 19, 2024, from https://doi.org/10.1184/R1/6571796.v1.

@techreport{de_niz_2012,
author={de Niz, Dionisio and Feiler, Peter and Gluch, David and Wrage, Lutz},
title={A Virtual Upgrade Validation Method for Software-Reliant Systems},
month={Jun},
year={2012},
number={CMU/SEI-2012-TR-005},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6571796.v1},
note={Accessed: 2024-Apr-19}
}

de Niz, Dionisio, Peter Feiler, David Gluch, and Lutz Wrage. "A Virtual Upgrade Validation Method for Software-Reliant Systems." (CMU/SEI-2012-TR-005). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, June 1, 2012. https://doi.org/10.1184/R1/6571796.v1.

D. de Niz, P. Feiler, D. Gluch, and L. Wrage, "A Virtual Upgrade Validation Method for Software-Reliant Systems," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2012-TR-005, 1-Jun-2012 [Online]. Available: https://doi.org/10.1184/R1/6571796.v1. [Accessed: 19-Apr-2024].

de Niz, Dionisio, Peter Feiler, David Gluch, and Lutz Wrage. "A Virtual Upgrade Validation Method for Software-Reliant Systems." (Technical Report CMU/SEI-2012-TR-005). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Jun. 2012. https://doi.org/10.1184/R1/6571796.v1. Accessed 19 Apr. 2024.

de Niz, Dionisio; Feiler, Peter; Gluch, David; & Wrage, Lutz. A Virtual Upgrade Validation Method for Software-Reliant Systems. CMU/SEI-2012-TR-005. Software Engineering Institute. 2012. https://doi.org/10.1184/R1/6571796.v1