Constraint Based Fuzz Testing(NPO-53458-1)

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.