loading...
Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems
Dallas, Texas, USA November 14-November 16
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HASE.2007.6310th IEEE High Assurance Systems Engi ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Branson W. Murrill, "Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 409-410, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/HASE.2007.63,
author = {Branson W. Murrill},
title = {Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems},
journal ={High-Assurance Systems Engineering, IEEE International Symposium on},
volume = {0},
year = {2007},
issn = {1530-2059},
pages = {409-410},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.63},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - High-Assurance Systems Engineering, IEEE International Symposium on
TI - Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems
SN - 1530-2059
SP409
EP410
A1 - Branson W. Murrill,
PY - 2007
KW - null
VL - 0
JA - High-Assurance Systems Engineering, IEEE International Symposium on
ER -
 

Validation of software is often a weak link in delivering high assurance systems. Traditional software testing is problematic in both the selection of good test data and the assessment of reliability after testing.

This paper describes ongoing research in perturbation analysis, which is a dynamic software analysis technique based on perturbing the data state at various locations in an executing program. The results of perturbation analysis have many uses, including the automatic generation of robust test data and reliability estimates for code locations and execution paths. An experiment is described that applies perturbation analysis to a software component of the Tactical Tomahawk Weapons Control System. The application of perturbation analysis to produce reliability estimates for software components is also discussed.

Citation:
Branson W. Murrill, "Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems," hase, pp.409-410, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.