При разработке автоматизированной системы компьютерного тестирования возникает задача автоматизации тестирования ввода данных. Решение этой задачи осуществляется с помощью сетей Петри - Маркова. В частности ввод данных моделируется с помощью однопереходной сети Петри-Маркова (СПМ), состоящей из стартового /конечного перехода и единственной позиции [1]. Данная сеть представлена на рис. 1.
Переход, обозначенный пунктирной линией, моделирует обнаружение ошибки в тестируемой программе. Траектория тестирования представляет собой ЭППМ, упрощенную до позиции.
Переход z b, является стартовым и моделирует запуск процесса тестирования. Переход z e является конечным и моделирует обнаружение ошибки в тестируемой программе при данном наборе входных параметров. Вследствие малости времени выполнения оператора
147
Предложенная модель тестирования ввода данных позволяет автоматизировать процессы обнаружения ошибок при вводе данных в систему компьютерного тестирования [3].
Литература
- Савин А.Н. Формирование тестирующих программ с использованием сетей Петри-Маркова./ Монография, Тула, 2009. - 325 с.
- Савин А.Н. Анализ ошибочной ситуации при тестировании на основе сетей Петри-Маркова./ Теоретические и прикладные вопросы современных информационных технологий: Материалы Шестой Всероссийской научно -технической конференции. - Улан-Удэ. - 2005. - С.276.
- Тажиева Ш.Ж., Баюк О.В. К вопросу о построении адаптивной модели автоматизированного тестирования знаний./ Материалы Международной научно-практической конференции «Актуальные проблемы развития отечественного образования и науки в условиях глобализации», Костанай, 2010. – С. 378-385.