5.1 Общая верификация программного комплекса компьютерного моделирования ламинарных течений (ПК КМЛТ) описывается в ГОСТ Р ИСО/МЭК 12207 как процесс подтверждения требований к данному программному комплексу. Для верификации ПК КМЛТ возникают дополнительные требования по верификации математической модели ламинарного течения жидкости, расчетных схем, вычислительных алгоритмов, генераторов расчетных сеток, систем отображения (визуализации данных), которые лежат в основе ПК КМЛТ.
5.2 Цель верификации ПО, предназначенного для моделирования ламинарных течений (кроме оговоренных в ГОСТ Р ИСО/МЭК 12207), - удовлетворить требования по верификации математической модели ламинарного движения жидкости, расчетных схем, вычислительных алгоритмов и генераторов расчетных сеток.
5.3 Для выполнения процесса верификации ПК КМЛТ необходимо:
- выбрать метод верификации и обосновать его;
- выбрать список тестов для верификации и обосновать его с точки зрения покрытия всех требований по моделированию течений ПК КМЛТ;