Contracts based testing

[podhrmic]

In GitLab by @zutshi on Oct 5, 2020, 13:48

• Identify additional failure conditions, and
• compute contracts on components.
• Finally, use a component level test suite to check the contracts.

[podhrmic]

In GitLab by @zutshi on Oct 5, 2020, 13:52

The current progress includes computation of contracts for the low level controllers for

• Stall from level flight and
• pitch oscillations due to the failure to track pull-up commands from autopilot

Next steps:

• Add more failure conditions
• testing for contracts ?
• formalization for contract language ?
• ...

cc @mattclark @bauer-matthews @EthanJamesLew@cslockett @podhrmic

[podhrmic]

In GitLab by @podhrmic on Jul 13, 2021, 14:00

@zutshi can we close this or do we expect to work on this one more?