|
Летичевский, А. А. Парадигмы модельного и символьного тестирования программных систем [Текст] / А. А. Летичевский // Кибернетика и системный анализ. – 2015. – Т. 51, № 5. – С. 31-44.
Исследовано модельное тестирование программных систем - направление, известное в индустрии как Model-Based Testing (МВТ). Проведен обзор основных методов и систем МВТ, которые позволяют автоматизировать труд инженера-тестировщика значительно повысить качество тестирования программной системы. |