• Coverity - https://scan.coverity.com/projects/px4-firmware
• clang-tidy
• astyle

Build System

• travis-ci (http://travis-ci.org/PX4/Firmware)
• semaphoreci (https://semaphoreci.com/px4/firmware/)
• circleci (https://circleci.com/gh/PX4/Firmware)
• jenkins (http://sitl01.dronetest.io/)

Testing

• mission tests
• unit tests

Todo

• significantly expand automated mission tests
• run mission tests under address sanitizer
• code coverage
• hardware tests
• perf tracking