Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems

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 …