|
Автор: Немолочнов О.Ф., Зыков А.Г., Осовецкий Л.Г., Поляков В.И., Петров К.В.
-
Анотація:
Рассматриваются простые логические неисправности условий -предикатов вычислительных процессов в программах. Предложен метод моделирования логических неисправностей путем модификации машинного кода программ, порождающей вычислительный процесс по его итерационно-рекурсивной модели и метод синтеза тестовых наборов на основе комплексных кубических покрытий.
-
Є складовою частиною документа:
-
Теми документа
-
УДК // Контроль помилок. Обробка помилок
| 