Всегда чувствую себя великовозрастным дауном, когда такое читаю.
Цель – гарантировать, что «Исходный код» правилен и полон по отношению к требованиям к ПО низкого уровня, и в нём не реализовано выполнение незадокументированных функций.
Цель – гарантировать, что «Исходный код» согласуется с потоком данных и потоком управления, которые определены в архитектуре ПО.
...
Цель – оценить правильность и непротиворечивость «Исходного кода», включая оценку применения стеков, возможности переполнения и разрешающей способности арифметики с
фиксированной запятой, конкуренции в использовании ресурсов, наихудшего случая с точки зрения времени счета, обработки исключительных ситуаций, использования неинициализированных переменных или констант, неиспользуемых переменных или констант, а также нарушения целостности данных из-за конфликтов задач или прерываний.