Paper Info
Title
Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems
Abstract
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.
Year
DOI
Venue
2007
10.1109/HASE.2007.23
HASE
Keywords
Field
DocType
software component,high assurance systems,perturbation analysis,robust test data,tactical tomahawk weapons control,good test data,traditional software testing,automatic generation,reliability assessment,reliability estimate,automated test data generation,data state,dynamic software analysis technique,software testing,software reliability,object oriented programming,system monitoring,control system,software validation,software analysis
Software quality analyst,Systems engineering,Computer science,Regression testing,Software system,Software reliability testing,Software verification and validation,Software construction,Reliability engineering,Test data generation,Software sizing
Conference
ISBN
Citations 
PageRank 
0-7695-3043-5
1
0.39
References 
Authors
2
1
Name
Order
Citations
PageRank
Branson W. Murrill114019.03