begriffs open source - cmsis-freertos/blob - Test/README.md

   1 ## Testing in FreeRTOS
   2 FreeRTOS kernel consists of common code and porting layer. Extensive [static analysis](https://en.wikipedia.org/wiki/Static_program_analysis) and [dynamic analysis](https://en.wikipedia.org/wiki/Dynamic_program_analysis) are done on both to ensure functional correctness of FreeRTOS kernel.
   3
   4 For more information on FreeRTOS testing please refer to https://www.freertos.org/FreeRTOS-Coding-Standard-and-Style-Guide.html.
   5
   6 ## Directory structure
   7 This directory is in working progress -- we are migrating scattered test cases to this directory. Here only lists what's currently under this directory.
   8
   9 - ```./CBMC```: This directory contains automated proofs of the memory safety of various parts of the FreeRTOS code base.
  10 - ```./VeriFast```: This directory contains automated proofs of the functional correctness of various parts of the FreeRTOS code base.