Establishing flight software reliability: Testing, model checking, constraint-solving, monitoring and learning

Keyphrases

• Testing Model 100%
• Flight Software 100%
• Constraint Monitoring 100%
• File System 100%
• Software Reliability 100%
• Constraint Solving 100%
• Constraint Learning 100%
• Confidence Level 33%
• Constraint Set 33%
• Formal Approach 33%
• Limited Resources 33%
• Tight 33%
• Finite State Machine 33%
• Software Developers 33%
• Tightly Coupled 33%
• Test Evaluation 33%
• Mission-critical 33%
• Jet Propulsion Laboratory 33%
• Software Testing 33%
• Bounded Model Checker 33%
• Test Case Generation 33%
• Formal Proof 33%
• Static Analysis 33%
• Constraint Solver 33%
• Traditional Testing 33%
• Correctness Proofs 33%
• Model Checking Tools 33%
• Stand-alone Module 33%
• Software Module 33%
• Test Selection 33%
• Complexing Properties 33%
• Formal Methods 33%
• State Machine Learning 33%
• Complex Data Structures 33%

Computer Science

• Model Checking 100%
• Filesystems 100%
• Software Reliability 100%
• Data Structure 33%
• Resource Limitation 33%
• Machine Learning 33%
• Software Testing 33%
• Test Generation 33%
• model checker 33%
• Software Developer 33%
• Finite-State Machine 33%
• Software Module 33%
• Constraint Solver 33%
• Static Code Analysis 33%