Back to the catalog
Software — free catalog
Constraint Based Fuzz Testing
A NASA software catalog entry available for reuse or request.
About this technology
Overview
This repository contains a library fuzz for fuzz testing flight software. The main function, generate_tests, provided by the library, generates a test suite, which is a list of tests. Each test is a list of commands (a named data record), which can be sent to the flight software, referred to as the System Under Test (SUT), from a FIT script. Each test is randomly generated, optionally restricted by user provided constraints written in an expressive temporal logic. The objective of fuzzing is to invoke unlikely, untried, command sequences on the flight software in an attempt to break it.