Testing
The stability of software can only be evaluated with rigorous testing. Tests are best carried out automatically or manually following a test protocol. Especially, automated regression testing provides safety so that software changes do not break the existing implementation.
In accordance with the software requirements specifications (SRS) and V-model, the kernel is tested on the unit, integration and system level.