Первый шаг на пути к тестированию белого ящика для сложных систем