|
Труды СПИИРАН, 2007, выпуск 5, страницы 275–283
(Mi trspy313)
|
|
|
|
Использование метода покрытий при верификации моделей IDEF-0
А.Ю. Подъячев
Аннотация:
Разработка программного обеспечения с использованием моделирования зачастую сталкивается с проблемами ресурсоемкости проверки моделей комплексных систем. Данная статья рассматривает метрические показатели симуляционного тестирования и их применение в контексте непосредственной верификации моделей.
Образец цитирования:
А.Ю. Подъячев, “Использование метода покрытий при верификации моделей IDEF-0”, Тр. СПИИРАН, 5 (2007), 275–283
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/trspy313 https://www.mathnet.ru/rus/trspy/v5/p275
|
Статистика просмотров: |
Страница аннотации: | 125 | PDF полного текста: | 59 | Список литературы: | 1 | Первая страница: | 1 |
|