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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=модели программного обеспечения<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


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

Кл.слова (ненормированные):
автоматизация тестирования -- качество тестирования -- методы отбора тестов -- модели программного обеспечения -- отбор тестов -- программное обеспечение -- регрессивное тестирование программного обеспечения -- тестирование программного обеспечения -- тесты
Аннотация: О процессе регрессивного тестирования программного обеспечения с точки зрения повышения качества процесса тестирования и разрабатываемого продукта, а также уменьшения требуемых ресурсов для проведения тестирования.


Доп.точки доступа:
Тумковский, Сергей Ростиславович (заместитель директора)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

2.


    Иванников, А. Д. (доктор технических наук).
    Анализ методов декомпозиции задачи отладки проектов цифровых систем [Текст] / А. Д. Иванников // Информационные технологии. - 2016. - Т. 22, № 10. - С. 758-763. - Библиогр.: с. 763 (5 назв.) . - ISSN 1684-6400
УДК
ББК 32.973-04
Рубрики: Вычислительная техника
   Блоки обработки данных

Кл.слова (ненормированные):
алгебраические модели -- логико-временной анализ -- логическое моделирование -- модели программного обеспечения -- цифровые системы
Аннотация: В связи со сложностью и большой размерностью задачи отладки сложных цифровых систем методом моделирования в целом предлагаются алгебраические модели методов декомпозиции этой задачи, а именно: вертикальной и горизонтальной структурной декомпозиции, функциональной декомпозиции, декомпозиции по типам ошибок. Приводится алгебраическая модель программного обеспечения цифровых систем. Программное обеспечение представляется как полугруппа операторов.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)