Innovations in software engineering for defense systems

Cover......Page 1
Contents......Page 12
EXECUTIVE SUMMARY......Page 14
1 MOTIVATION FOR AND STRUCTURE OF THE WORKSHOP......Page 18
Structure of the Workshop,......Page 19
Workshop Limitations,......Page 23
2 REQUIREMENTS AND SOFTWARE ARCHITECTURAL ANALYSIS......Page 25
Software Cost Reduction,......Page 26
Sequence-Based Software Specification,......Page 29
Introduction to Model-Based Testing,......Page 33
Markov Chain Usage Models,......Page 37
AETG Testing,......Page 42
Integration of AETG and Markov Chain Usage Models,......Page 45
Test Automation,......Page 46
Methods for Testing Interoperability,......Page 47
Measuring Software Risk,......Page 53
Fault-Tolerant Software: Measuring Software Aging and Rejuvenation,......Page 57
Defect Classification and Analysis,......Page 58
Bayesian Integration of Project Data and Expert Judgment in Parametric Software Cost Estimation Models,......Page 61
5 NEXT STEPS......Page 64
REFERENCES......Page 69
APPENDICES A WORKSHOP AGENDA AND SPEAKERS......Page 74
APPENDICES B GLOSSARY AND ACRONYM LIST......Page 79
APPENDICES C BIOGRAPHICAL SKETCHES......Page 83