Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:
Номер:9 (32)
Скачать PDF0 Кбайт
В статье в качестве метода анализа контролирующих свойств испытательных последовательностей, используемых при тестировании программ, предлагается метод моделирования простых логических неис- правностей; описываются возможности метода, базовые принципы его применения, и, кроме того, приводится пример его использования.