Например, Бобцов

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

Аннотация:

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

Ключевые слова:

Статьи в номере