Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=модели программного обеспечения<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Иванников А. Д. (доктор технических наук)
Заглавие : Анализ методов декомпозиции задачи отладки проектов цифровых систем
Серия: Системы автоматизированного проектирования
Место публикации : Информационные технологии. - 2016. - Т. 22, № 10. - С.758-763. - ISSN 1684-6400 (Шифр inft/2016/22/10). - ISSN 1684-6400
Примечания : Библиогр.: с. 763 (5 назв.)
УДК : 004.31
ББК : 32.973-04
Предметные рубрики: Вычислительная техника
Блоки обработки данных
Ключевые слова (''Своб.индексиров.''): алгебраические модели--логико-временной анализ--логическое моделирование--модели программного обеспечения--цифровые системы
Аннотация: В связи со сложностью и большой размерностью задачи отладки сложных цифровых систем методом моделирования в целом предлагаются алгебраические модели методов декомпозиции этой задачи, а именно: вертикальной и горизонтальной структурной декомпозиции, функциональной декомпозиции, декомпозиции по типам ошибок. Приводится алгебраическая модель программного обеспечения цифровых систем. Программное обеспечение представляется как полугруппа операторов.
Найти похожие
2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Мартюков, Алексей Сергеевич (аспирант), Тумковский, Сергей Ростиславович
Заглавие : Применение метода отбора тестов на основе модели программного обеспечения для повышения качества тестирования
Параллельн. заглавия :Application of the Method of the Selection of the Tests Based on the Model of Tesning Software Improvement of Quality
Серия: Приборы, методы и технологии
Место публикации : Качество. Инновации. Образование. - 2013. - № 6. - С.26-28: рис. (Шифр kaio/2013/6)
Примечания : Библиогр.: с. 28 (3 назв.)
УДК : 004
ББК : 32.97
Предметные рубрики: Вычислительная техника
Вычислительная техника в целом
Ключевые слова (''Своб.индексиров.''): автоматизация тестирования--качество тестирования--методы отбора тестов--модели программного обеспечения--отбор тестов--программное обеспечение--регрессивное тестирование программного обеспечения--тестирование программного обеспечения--тесты
Аннотация: О процессе регрессивного тестирования программного обеспечения с точки зрения повышения качества процесса тестирования и разрабатываемого продукта, а также уменьшения требуемых ресурсов для проведения тестирования.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)