An interface test model for hardware-dependent software and embedded OS API of the embedded system

Mutant generation for embedded systems using kernel-based software and hardware fault simulation

“…An embedded system's Interface Test Model (emITM) with respect to both the kernel interface and the hardware interface has already been developed by us as part of our prior work [21]. Our emITM provides a set of test requirements based on the kernel and hardware interfaces.…”

“…The global variables in this software gain control over the physical hardware devices and are usually declared in a system configuration file. All the hardware IO devices are directly controlled by writing/reading the values to/from the RAM or registers [21]. In this case, the hardware interfaces are global variables declared in the system configuration file.…”

An evaluation of free/open source static analysis tools applied to embedded software

“…Embedded software testing has been studied in the last few years and a number of approaches can be found [17][18][19][20][21][22][23][24]. Some dynamic testing strategies are proposed for specific platforms [17][18][19][20]24].…”

Testing Inter-layer and Inter-task Interactions in RTES Applications

“…Sung et al [36] test interfaces to the kernel via the kernel API and global variables that are visible in the application layer. The methodology we present, in contrast, is a white-box approach, analyzing code in both the application and kernel layers to determine testing requirements.…”