len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-10-15 17:27:46 -04:00
Code Issues Projects Releases Packages Wiki Activity
FreeRTOS-Kernel/FreeRTOS-Plus/Test
History
Aniruddha Kanhere a6393ee653
This PR adds the TCP submodule to the FreeRTOS/FreeRTOS repo (#307) 
* MISRA v5

* Remove TCP code

* Add TCP submodule

* Remove unit test and CMock submodule

* Update submodule pointer
2020-10-05 13:20:42 -07:00
..
CBMC Modify CBMC proofs to make assumptions about malloc explicit. (#312) 2020-10-02 18:18:16 -04:00
FreeRTOS-Plus-TCP/Integration This PR adds the TCP submodule to the FreeRTOS/FreeRTOS repo (#307) 2020-10-05 13:20:42 -07:00
README.md FreeRTOS-Plus: Unit testing Infrastructure and examples (#72) 2020-05-22 16:26:59 -07:00

README.md

Testing in FreeRTOS

FreeRTOS (kernel and libraries) consists of common code and porting layer. Extensive static analysis and dynamic analysis are done on both to ensure functional correctness of FreeRTOS.

Additional bounded-ness checks are done using CBMC. Although these checks do not cover all functions, they cover considerable chunk of code base. Missing CBMC tests will be added later.

For more information on FreeRTOS testing please refer to https://www.freertos.org/FreeRTOS-Coding-Standard-and-Style-Guide.html.

Directory structure

This directory is in working progress -- we are migrating scattered test cases to this directory. Here only lists what's currently under this directory.

  • ./CBMC: This directory contains automated proofs of the memory safety of various parts of the FreeRTOS code base.
  • ./CMock: This directory has the submoduled version of CMock for providing basis Unit testing
  • ./Unit-Tests: This directory has the Unit tests for FreeRTOS-Plus libraries. As of now, just Unit tests for +TCP (testing these).