LRAUV  revA
Hardening
  • Software-Only Verification & Validation
    • $\textcolor{red}{\bigcirc}$ !! (MG, 8) CxxChecker style validation & refactoring
    • $\textcolor{red}{\bigcirc}$ !! (MG, 10) Retroactive code documentation
    • Automated check-out and build
      • $\textcolor{green}{\spadesuit}$ Host software
      • $\textcolor{green}{\spadesuit}$ Target software
    • Automated unit testing (via VectorCast)
      • $\textcolor{red}{\bigcirc}$ !! (MG, 2) Basic core software test
      • $\textcolor{red}{\bigcirc}$ !! (BK, 2) Basic core sensors and controllers test
      • $\textcolor{red}{\bigcirc}$ –HS (MG, 10) Core software test
      • $\textcolor{red}{\bigcirc}$ –HS (BK, 10) Kernel device drivers test
      • $\textcolor{red}{\bigcirc}$ –LS (MG, 10) Core behaviors and commands test
      • $\textcolor{red}{\bigcirc}$ –LS (RM, 10) Navigation, Dynamic Control, & Sim components test
      • $\textcolor{red}{\bigcirc}$ –LS (BK, 10) Core sensors and controllers test
    • $\textcolor{green}{\spadesuit}$ Automated static testing (via Coverity)
    • $\textcolor{red}{\bigcirc}$ !! (MG, 1) Automated dynamic regression test (via Valgrind)
    • $\textcolor{red}{\bigcirc}$ !! (BK, 3) Source-level debugging on target
  • Benchtop test
    • $\textcolor{red}{\bigcirc}$ !! (MG, 1) Automated regression test
    • $\textcolor{red}{\bigcirc}$ !! (BK, 2) Automated regression test
    • $\textcolor{red}{\bigcirc}$ –HS (MG, 10) Automated failure-recovery regression tests
    • $\textcolor{red}{\bigcirc}$ –LS (BK, 10) Automated failure-recovery regression tests
  • Initial Test tank test
    • $\textcolor{red}{\bigcirc}$ !! (MG, 10) Core components
    • $\textcolor{red}{\bigcirc}$ !! (BK, 10) Core hardware interfaces
    • $\textcolor{red}{\bigcirc}$ !! (RM, 10) Core navigation and dynamic control
  • Initial Ocean test
    • $\textcolor{red}{\bigcirc}$ !! (MG, 10) Core components
    • $\textcolor{red}{\bigcirc}$ !! (BK, 10) Core hardware interfaces
    • $\textcolor{red}{\bigcirc}$ !! (RM, 10) Core navigation and dynamic control