Моделирование простых логических неисправностей вычислительных процессов программ

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Петров К. В.



Аннотация

 

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

Информация 2001-2017 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика