Подход к структурному тестированию программ с использованием генетического алгоритма
Предложен генетический алгоритм для повышения эффективности тестирования программного обес-печения за счет выявления наиболее критических фрагментов путей в графе потока управления про-граммы. Приведены результаты его апробации. Поскольку исчерпывающее тестирование зачастую не-выполнимо уже для прог...
Saved in:
| Date: | 2012 |
|---|---|
| Main Authors: | Слабоспицкая, О.А., Мороз, О.Г. |
| Format: | Article |
| Language: | Russian |
| Published: |
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/69743 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Подход к структурному тестированию программ с использованием генетического алгоритма / О.А. Слабоспицкая, О.Г. Мороз // Пробл. програмув. — 2012. — № 1. — С. 73-81. — Бібліогр.: 17 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Вдосконалення прогнозу щільності залишкових дефектів програмних систем за допомогою байєсової мережі та дерева цінності
by: Слабоспицька, О.О.
Published: (2009)
by: Слабоспицька, О.О.
Published: (2009)
Оцінювання якості консолідованих даних
by: Шаховська, Н.Б.
Published: (2014)
by: Шаховська, Н.Б.
Published: (2014)
Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем
by: Фесенюк, А.П.
Published: (2016)
by: Фесенюк, А.П.
Published: (2016)
Подход к построению ансамбля классификаторов с использованием генетического алгоритма
by: Новоселова, Н.А., et al.
Published: (2009)
by: Новоселова, Н.А., et al.
Published: (2009)
Верификация программ: состояние, проблемы, экспериментальные результаты. I
by: Максимец, А.Н.
Published: (2013)
by: Максимец, А.Н.
Published: (2013)
Верификация программ: состояние, проблемы, экспериментальные результаты. II
by: Максимец, А.Н.
Published: (2014)
by: Максимец, А.Н.
Published: (2014)
Подход к тестированию уязвимости web-приложений от атак типа SQL-инъекций
by: Рябко, Д.М.
Published: (2006)
by: Рябко, Д.М.
Published: (2006)
Решение задачи равномерной нелинейной аппроксимации с использованием непрерывного генетического алгоритма
by: Вакал, Л.П.
Published: (2016)
by: Вакал, Л.П.
Published: (2016)
Новый подход к автоматизации переездов на железнодорожном транспорте
by: Федухин, А.В., et al.
Published: (2011)
by: Федухин, А.В., et al.
Published: (2011)
Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
by: Федухин, А.В., et al.
Published: (2013)
by: Федухин, А.В., et al.
Published: (2013)
Моделирование надежности системы средствами пакета программ RELIABmod v.2.0
by: Федухин, А.В., et al.
Published: (2011)
by: Федухин, А.В., et al.
Published: (2011)
МОДЕЛЮВАННЯ НАДІЙНОСТІ СТРУКТУРОВАНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
by: Трунов, Александр Николаевич, et al.
Published: (2008)
by: Трунов, Александр Николаевич, et al.
Published: (2008)
Алгебро-динамические модели для распараллеливания программ
by: Дорошенко, А.Е., et al.
Published: (2010)
by: Дорошенко, А.Е., et al.
Published: (2010)
Средства сервисно-ориентированного программирования параллельных программ
by: Дорошенко, А.Е., et al.
Published: (2009)
by: Дорошенко, А.Е., et al.
Published: (2009)
Особенности реализации параллельной версии многопопуляционного генетического алгоритма
by: Лукьянов, И.О., et al.
Published: (2018)
by: Лукьянов, И.О., et al.
Published: (2018)
Метод оптимального статического планирования задач в распределенных вычислительных системах с использованием генетического алгоритма
by: Гаврилюк, А.Б., et al.
Published: (2004)
by: Гаврилюк, А.Б., et al.
Published: (2004)
Мультиагентная адаптация гибридного генетического алгоритма для обучения нейросетей
by: Олейник, Д.В., et al.
Published: (2008)
by: Олейник, Д.В., et al.
Published: (2008)
Применение генетического алгоритма в задачах адаптации структур данных
by: Шинкаренко, В.И., et al.
Published: (2012)
by: Шинкаренко, В.И., et al.
Published: (2012)
Дослідження інтелектуальних методів тестування програмного забезпечення
by: Kazimov, Tofig, et al.
Published: (2021)
by: Kazimov, Tofig, et al.
Published: (2021)
О влиянии особенностей фитнесс-функций на сходимость генетического алгоритма
by: Лукьянов, И.О., et al.
Published: (2020)
by: Лукьянов, И.О., et al.
Published: (2020)
Прогнозирование надёжности электронных систем при отсутствии отказов с использованием дополнительной априорной информации
by: Стрельников, В.П.
Published: (2003)
by: Стрельников, В.П.
Published: (2003)
Применение генетического алгоритма в задачах допускового синтеза микрополосковых устройств
by: Krischuk, V. N., et al.
Published: (2007)
by: Krischuk, V. N., et al.
Published: (2007)
Применение генетического алгоритма в задачах допускового синтеза микрополосковых устройств
by: Крищук, В.Н., et al.
Published: (2007)
by: Крищук, В.Н., et al.
Published: (2007)
Расчет надежности резервированных структур с использованием DN-распределения на основе аппарата функций случайных аргументов
by: Стрельников, В.П., et al.
Published: (2006)
by: Стрельников, В.П., et al.
Published: (2006)
Разработка високопараллельних приложений для графических ускорителей с использованием переписывающих правил
by: Дорошенко, А.Е., et al.
Published: (2009)
by: Дорошенко, А.Е., et al.
Published: (2009)
К оценке граничных уровней контролируемого показателя надежности
by: Стрельников, П.В.
Published: (2010)
by: Стрельников, П.В.
Published: (2010)
К оценке достаточности запасных частей
by: Стрельников, В.П.
Published: (2009)
by: Стрельников, В.П.
Published: (2009)
К вопросу о статистическом моделировании надежности
by: Федухин, А.В., et al.
Published: (2006)
by: Федухин, А.В., et al.
Published: (2006)
К вопросу о табулировании функций распределения отказов
by: Федухин, А.В.
Published: (2006)
by: Федухин, А.В.
Published: (2006)
К вопросу о сравнительной оценке гарантоспособных систем
by: Федухин, А.В., et al.
Published: (2014)
by: Федухин, А.В., et al.
Published: (2014)
К вопросу взаимосвязи величин метрик и их весов
by: Федухин, А.В., et al.
Published: (2015)
by: Федухин, А.В., et al.
Published: (2015)
К оценке достоверности при сертификационных испытаниях на надежность
by: Стрельников, П.В.
Published: (2011)
by: Стрельников, П.В.
Published: (2011)
Обеспечение жизнеспособности информации во времени при ее обработке в СППР
by: Кряжич, О.А.
Published: (2015)
by: Кряжич, О.А.
Published: (2015)
К вопросу об аппаратной реализации избыточных структур. Поэлементное резервирование
by: Федухин, А.В.
Published: (2009)
by: Федухин, А.В.
Published: (2009)
К вопросу об определении весов метрик некоторого атрибута гарантоспособности системы
by: Ярошенко, В.Н., et al.
Published: (2014)
by: Ярошенко, В.Н., et al.
Published: (2014)
К оценке параметра формы DN-распределения в условиях единичных отказов
by: Стрельников, П.В.
Published: (2012)
by: Стрельников, П.В.
Published: (2012)
К вопросу о связи надежности и достоверности функционирования компьютерных систем
by: Федухин, А.В., et al.
Published: (2017)
by: Федухин, А.В., et al.
Published: (2017)
К вопросу о достоверности функционирования компьютерных систем с квазимостиковой структурой
by: Муха, Ар.А., et al.
Published: (2019)
by: Муха, Ар.А., et al.
Published: (2019)
К вопросу о надежности невосстанавливаемой системы с квазимостиковой структурой элементов
by: Федухин, А.В., et al.
Published: (2017)
by: Федухин, А.В., et al.
Published: (2017)
К вопросу о моделировании надежности двухканального невосстанавливаемого вычислительного комплекса специального назначения
by: Федухин, А.В., et al.
Published: (2016)
by: Федухин, А.В., et al.
Published: (2016)
Similar Items
-
Вдосконалення прогнозу щільності залишкових дефектів програмних систем за допомогою байєсової мережі та дерева цінності
by: Слабоспицька, О.О.
Published: (2009) -
Оцінювання якості консолідованих даних
by: Шаховська, Н.Б.
Published: (2014) -
Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем
by: Фесенюк, А.П.
Published: (2016) -
Подход к построению ансамбля классификаторов с использованием генетического алгоритма
by: Новоселова, Н.А., et al.
Published: (2009) -
Верификация программ: состояние, проблемы, экспериментальные результаты. I
by: Максимец, А.Н.
Published: (2013)