TY - JOUR AU - Подъячев PY - 2007/10/01 Y2 - 2024/03/28 TI - Использование метода покрытий при верификации моделей IDEF-0 JF - Труды СПИИРАН JA - ТС VL - 0 IS - 5 SE - Статьи DO - 10.15622/sp.5.17 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1320 AB - Разработка программного обеспечения с использованием моделирования зачастую сталкивается с проблемами ресурсоемкости проверки моделей комплексных систем. Данная статья рассматривает метрические показатели симуляционного тестирования и их применение в контексте непосредственной верификации моделей. ER -