Подход к структурному тестированию программ с использованием генетического алгоритма
Предложен генетический алгоритм для повышения эффективности тестирования программного обес-печения за счет выявления наиболее критических фрагментов путей в графе потока управления про-граммы. Приведены результаты его апробации. Поскольку исчерпывающее тестирование зачастую не-выполнимо уже для прог...
Збережено в:
| Дата: | 2012 |
|---|---|
| Автори: | Слабоспицкая, О.А., Мороз, О.Г. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
2012
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/69743 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Подход к структурному тестированию программ с использованием генетического алгоритма / О.А. Слабоспицкая, О.Г. Мороз // Пробл. програмув. — 2012. — № 1. — С. 73-81. — Бібліогр.: 17 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Вдосконалення прогнозу щільності залишкових дефектів програмних систем за допомогою байєсової мережі та дерева цінності
за авторством: Слабоспицька, О.О.
Опубліковано: (2009)
за авторством: Слабоспицька, О.О.
Опубліковано: (2009)
Оцінювання якості консолідованих даних
за авторством: Шаховська, Н.Б.
Опубліковано: (2014)
за авторством: Шаховська, Н.Б.
Опубліковано: (2014)
Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем
за авторством: Фесенюк, А.П.
Опубліковано: (2016)
за авторством: Фесенюк, А.П.
Опубліковано: (2016)
Подход к построению ансамбля классификаторов с использованием генетического алгоритма
за авторством: Новоселова, Н.А., та інші
Опубліковано: (2009)
за авторством: Новоселова, Н.А., та інші
Опубліковано: (2009)
Верификация программ: состояние, проблемы, экспериментальные результаты. I
за авторством: Максимец, А.Н.
Опубліковано: (2013)
за авторством: Максимец, А.Н.
Опубліковано: (2013)
Верификация программ: состояние, проблемы, экспериментальные результаты. II
за авторством: Максимец, А.Н.
Опубліковано: (2014)
за авторством: Максимец, А.Н.
Опубліковано: (2014)
Подход к тестированию уязвимости web-приложений от атак типа SQL-инъекций
за авторством: Рябко, Д.М.
Опубліковано: (2006)
за авторством: Рябко, Д.М.
Опубліковано: (2006)
Решение задачи равномерной нелинейной аппроксимации с использованием непрерывного генетического алгоритма
за авторством: Вакал, Л.П.
Опубліковано: (2016)
за авторством: Вакал, Л.П.
Опубліковано: (2016)
Новый подход к автоматизации переездов на железнодорожном транспорте
за авторством: Федухин, А.В., та інші
Опубліковано: (2011)
за авторством: Федухин, А.В., та інші
Опубліковано: (2011)
Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2013)
за авторством: Федухин, А.В., та інші
Опубліковано: (2013)
Моделирование надежности системы средствами пакета программ RELIABmod v.2.0
за авторством: Федухин, А.В., та інші
Опубліковано: (2011)
за авторством: Федухин, А.В., та інші
Опубліковано: (2011)
МОДЕЛЮВАННЯ НАДІЙНОСТІ СТРУКТУРОВАНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
за авторством: Трунов, Александр Николаевич, та інші
Опубліковано: (2008)
за авторством: Трунов, Александр Николаевич, та інші
Опубліковано: (2008)
Алгебро-динамические модели для распараллеливания программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2010)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2010)
Средства сервисно-ориентированного программирования параллельных программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)
Особенности реализации параллельной версии многопопуляционного генетического алгоритма
за авторством: Лукьянов, И.О., та інші
Опубліковано: (2018)
за авторством: Лукьянов, И.О., та інші
Опубліковано: (2018)
Метод оптимального статического планирования задач в распределенных вычислительных системах с использованием генетического алгоритма
за авторством: Гаврилюк, А.Б., та інші
Опубліковано: (2004)
за авторством: Гаврилюк, А.Б., та інші
Опубліковано: (2004)
Дослідження інтелектуальних методів тестування програмного забезпечення
за авторством: Kazimov, Tofig, та інші
Опубліковано: (2021)
за авторством: Kazimov, Tofig, та інші
Опубліковано: (2021)
Мультиагентная адаптация гибридного генетического алгоритма для обучения нейросетей
за авторством: Олейник, Д.В., та інші
Опубліковано: (2008)
за авторством: Олейник, Д.В., та інші
Опубліковано: (2008)
Применение генетического алгоритма в задачах адаптации структур данных
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2012)
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2012)
О влиянии особенностей фитнесс-функций на сходимость генетического алгоритма
за авторством: Лукьянов, И.О., та інші
Опубліковано: (2020)
за авторством: Лукьянов, И.О., та інші
Опубліковано: (2020)
Прогнозирование надёжности электронных систем при отсутствии отказов с использованием дополнительной априорной информации
за авторством: Стрельников, В.П.
Опубліковано: (2003)
за авторством: Стрельников, В.П.
Опубліковано: (2003)
Применение генетического алгоритма в задачах допускового синтеза микрополосковых устройств
за авторством: Крищук, В.Н., та інші
Опубліковано: (2007)
за авторством: Крищук, В.Н., та інші
Опубліковано: (2007)
Применение генетического алгоритма в задачах допускового синтеза микрополосковых устройств
за авторством: Krischuk, V. N., та інші
Опубліковано: (2007)
за авторством: Krischuk, V. N., та інші
Опубліковано: (2007)
Расчет надежности резервированных структур с использованием DN-распределения на основе аппарата функций случайных аргументов
за авторством: Стрельников, В.П., та інші
Опубліковано: (2006)
за авторством: Стрельников, В.П., та інші
Опубліковано: (2006)
Разработка високопараллельних приложений для графических ускорителей с использованием переписывающих правил
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)
К оценке граничных уровней контролируемого показателя надежности
за авторством: Стрельников, П.В.
Опубліковано: (2010)
за авторством: Стрельников, П.В.
Опубліковано: (2010)
К оценке достаточности запасных частей
за авторством: Стрельников, В.П.
Опубліковано: (2009)
за авторством: Стрельников, В.П.
Опубліковано: (2009)
К вопросу о статистическом моделировании надежности
за авторством: Федухин, А.В., та інші
Опубліковано: (2006)
за авторством: Федухин, А.В., та інші
Опубліковано: (2006)
К вопросу о табулировании функций распределения отказов
за авторством: Федухин, А.В.
Опубліковано: (2006)
за авторством: Федухин, А.В.
Опубліковано: (2006)
К вопросу о сравнительной оценке гарантоспособных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2014)
за авторством: Федухин, А.В., та інші
Опубліковано: (2014)
К вопросу взаимосвязи величин метрик и их весов
за авторством: Федухин, А.В., та інші
Опубліковано: (2015)
за авторством: Федухин, А.В., та інші
Опубліковано: (2015)
К оценке достоверности при сертификационных испытаниях на надежность
за авторством: Стрельников, П.В.
Опубліковано: (2011)
за авторством: Стрельников, П.В.
Опубліковано: (2011)
Обеспечение жизнеспособности информации во времени при ее обработке в СППР
за авторством: Кряжич, О.А.
Опубліковано: (2015)
за авторством: Кряжич, О.А.
Опубліковано: (2015)
К вопросу об аппаратной реализации избыточных структур. Поэлементное резервирование
за авторством: Федухин, А.В.
Опубліковано: (2009)
за авторством: Федухин, А.В.
Опубліковано: (2009)
К вопросу об определении весов метрик некоторого атрибута гарантоспособности системы
за авторством: Ярошенко, В.Н., та інші
Опубліковано: (2014)
за авторством: Ярошенко, В.Н., та інші
Опубліковано: (2014)
К оценке параметра формы DN-распределения в условиях единичных отказов
за авторством: Стрельников, П.В.
Опубліковано: (2012)
за авторством: Стрельников, П.В.
Опубліковано: (2012)
К вопросу о связи надежности и достоверности функционирования компьютерных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2017)
за авторством: Федухин, А.В., та інші
Опубліковано: (2017)
К вопросу о достоверности функционирования компьютерных систем с квазимостиковой структурой
за авторством: Муха, Ар.А., та інші
Опубліковано: (2019)
за авторством: Муха, Ар.А., та інші
Опубліковано: (2019)
К вопросу о надежности невосстанавливаемой системы с квазимостиковой структурой элементов
за авторством: Федухин, А.В., та інші
Опубліковано: (2017)
за авторством: Федухин, А.В., та інші
Опубліковано: (2017)
К вопросу о моделировании надежности двухканального невосстанавливаемого вычислительного комплекса специального назначения
за авторством: Федухин, А.В., та інші
Опубліковано: (2016)
за авторством: Федухин, А.В., та інші
Опубліковано: (2016)
Схожі ресурси
-
Вдосконалення прогнозу щільності залишкових дефектів програмних систем за допомогою байєсової мережі та дерева цінності
за авторством: Слабоспицька, О.О.
Опубліковано: (2009) -
Оцінювання якості консолідованих даних
за авторством: Шаховська, Н.Б.
Опубліковано: (2014) -
Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем
за авторством: Фесенюк, А.П.
Опубліковано: (2016) -
Подход к построению ансамбля классификаторов с использованием генетического алгоритма
за авторством: Новоселова, Н.А., та інші
Опубліковано: (2009) -
Верификация программ: состояние, проблемы, экспериментальные результаты. I
за авторством: Максимец, А.Н.
Опубліковано: (2013)