Quality RTOS & Embedded Software

 Real time embedded FreeRTOS RSS feed 
Real time embedded FreeRTOS mailing list 
Quick Start Supported MCUs PDF Books Trace Tools Ecosystem TCP & FAT Training




Loading

Is there a unit test framework for freertos?

Posted by rshpeley on July 17, 2014

Hi. We're pretty new to freertos and rtos in general. Is there a unit test framework that is used with freertos? If not, what are the problems with using one?

We're conducting tests on an NXP LPC1769 development board on LPCXpresso.


Is there a unit test framework for freertos?

Posted by rtel on July 18, 2014

There is not a published unit test framework - however everything is very thoroughly tested - especially newer features. The testing is predominately (although not exclusively) dynamic and provides near complete code coverage (if you look at the 'standard demo tasks' for new features you will find these in themselves provide excellent coverage).

Code coverage for the core code and scheduling mechanism/policy is checked using Visual Studio. The portable layers are much smaller, and checked on the target itself. What might be considered a 'unit test' is used to cover corner cases that are not easy or impossible to hit with a dynamic test.

In addition, when SafeRTOS was first developed, the core algorithms (that existed at that time, and before SafeRTOS was further developed/branched specifically with safety in mind) were formally and systematically tested with both unit tests and dynamic tests.

....and to add to all that more than one university project has put FreeRTOS through formal methods validation.

Of course, the more mature the code (the older features) the more confidence you can have. Things like formal methods take a long time to complete, so have not been included on the newest features - although I'm sure somebody will do that soon too.

Regards.


[ Back to the top ]    [ About FreeRTOS ]    [ Sitemap ]    [ ]




Copyright (C) 2004-2010 Richard Barry. Copyright (C) 2010-2016 Real Time Engineers Ltd.
Any and all data, files, source code, html content and documentation included in the FreeRTOSTM distribution or available on this site are the exclusive property of Real Time Engineers Ltd.. See the files license.txt (included in the distribution) and this copyright notice for more information. FreeRTOSTM and FreeRTOS.orgTM are trade marks of Real Time Engineers Ltd.

Latest News:

FreeRTOS V9.0.0 is now available for download.


Free TCP/IP and file system demos for the RTOS


Sponsored Links

⇓ Now With No Code Size Limit! ⇓
⇑ Free Download Without Registering ⇑


FreeRTOS Partners

ARM Connected RTOS partner for all ARM microcontroller cores

Renesas Electronics Gold Alliance RTOS Partner.jpg

Microchip Premier RTOS Partner

RTOS partner of NXP for all NXP ARM microcontrollers

Atmel RTOS partner supporting ARM Cortex-M3 and AVR32 microcontrollers

STMicro RTOS partner supporting ARM7, ARM Cortex-M3, ARM Cortex-M4 and ARM Cortex-M0

Xilinx Microblaze and Zynq partner

Silicon Labs low power RTOS partner

Altera RTOS partner for Nios II and Cortex-A9 SoC

Freescale Alliance RTOS Member supporting ARM and ColdFire microcontrollers

Infineon ARM Cortex-M microcontrollers

Texas Instruments MCU Developer Network RTOS partner for ARM and MSP430 microcontrollers

Cypress RTOS partner supporting ARM Cortex-M3

Fujitsu RTOS partner supporting ARM Cortex-M3 and FM3

Microsemi (previously Actel) RTOS partner supporting ARM Cortex-M3

Atollic Partner

IAR Partner

Keil ARM Partner

Embedded Artists