1 INTRODUCTION

2 CASE STUDY: NASA SPACE SHUTTLE FLIGHT CONTROL SOFTWARE

• Overview of Requirements
• The Operational Life Cycle
• A Statistical Approach to Managing the Software Production Process
  • Fault Detection
  • Safety Certification

• Problem Formulation and Specification of Requirements
• Design
• Implementation
• Testing

4 CRITIQUE OF SOME CURRENT APPLICATIONS OF STATISTICS IN SOFTWARE ENGINEERING

• Cost Estimation
  • Statistical Inadequacies in Estimating
  • Process Volatility
  • Maturity and Data Granularity
  • Reliability of Model Inputs
  • Managing to Estimates
• Assessment and Reliability
  • Reliability Growth Modeling
  • Influence of the Development Process on Software Dependability
  • Influence of the Operational Environment on Software Dependability
  • Safety-Critical Software and the Problem of Assuring Ultrahigh Dependability
    • Design Diversity, Fault Tolerance, and General Issues of Dependence
    • Judgment and Decision-making Framework
    • Structural Modeling Issues
  • Experimentation, Data Collection, and General Statistical Techniques
• Software Measurement and Metrics

5 STATISTICAL CHALLENGES

• Software Engineering Experimental Issues
• Combining Information
• Visualization in Software Engineering
  • Configuration Management Data
  • Function Call Graphs
  • Test Code Coverage
  • Code Metrics
  • Challenges for Visualization
  • Opportunities for Visualization
• Orthogonal Defect Classification

6 SUMMARY AND CONCLUSIONS

• Institutional Model for Research
• Model for Data Collection and Analysis
• Issues in Education

REFERENCES

APPENDIX: FORUM PROGRAM