МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИХ НЕИСПРАВНОСТЕЙ В ЦИКЛАХ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ ПРОГРАММ

Петров Кирилл Владимирович, Немолочнов Олег Фомич

2006 , ТОМ 06, НОМЕР 2 ( ФЕРАЛЬ )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИХ НЕИСПРАВНОСТЕЙ В ЦИКЛАХ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ ПРОГРАММ

Петров К.В., Немолочнов О.Ф.

Аннотация

В статье в качестве метода анализа свойств испытательных последовательностей, используемых при тестировании программ с циклами, предлагается модернизированный метод моделирования логических неисправностей. Изменения в метод были внесены с учетом проблем, возникающих при моделировании неисправностей в программах, содержащих циклы.

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License