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

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



Аннотация

 

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



Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Информация 2001-2019 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

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