Полное описание
> Достовалова, Анастасия Михайловна. Автоматическая локализация ошибок времени выполнения в программном обеспечении с помощью нейронных сетей = Automatic runtime error localization for software debugging using neural networks / А. М. Достовалова, А. А. Шерминская. - DOI 10.15827/0236-235X.144.551-560. - Текст : непосредственный // Программные продукты и системы = SOFTWARE & SYSTEMS : научный журнал. - 2023. - Том 36, N 4. - С. 551-560. - Библиогр. в конце ст. - ISSN 0236-235X.
| ГРНТИ | УДК | |
| 28.23.37 | 004.032.26-049.8 | |
| 50.05.13 | 004.42 |
Рубрики:
Нейронные сети -- Применение
Программирование для ЭВМ
Кл.слова (ненормированные): трассировка -- нейронные сети -- отладка ПО -- ошибки времени выполнения -- автоматическая локализация ошибок
Аннотация: Разработан метод автоматической локализации ошибок времени выполнения с помощью нейронной сети по данным трассировки осуществления функций программы. Метод сопоставляет каждой функции вероятность содержания ошибки, которая считается пропорциональной степени влияния значений параметров функции на результат выполнения программы. Влияние параметров определяется численной характеристикой (весом), вычисляемой по алгоритму Хашема. Метод применялся для отладки нескольких программ, различных по типам и причинам возникновения ошибок времени выполнения. Ошибки были расположены во вложенных функциях и проявлялись при определенных значениях входных данных. В каждой программе проведено сопоставление наиболее вероятных мест возникновения ошибок, которые определил метод, с их реальными местоположениями. Особенностями разработанного метода являются возможность работы с вложенными функциями, локализация множественных ошибок, а также ошибок, у которых место возникновения и место проявления в программе не совпадают. Во всех случаях параметры, содержащие ошибку, имели больший вес в сравнении с остальными, даже если ошибок в программе было несколько. При этом метод выделяет в программе полный путь ошибки, включающий в себя все параметры, связанные с ее возникновением. Благодаря этому с помощью предложенного метода можно определять положение логических ошибок в программах. Метод может применяться для отладки как программного, так и аппаратного обеспечения технических систем, поскольку логика его работы не зависит от источника исходных данных.
Доп. точки доступа:
Шерминская, Анна Алексеевна
>
Нет сведений об экземплярах
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -277182-990936)>
Шифр в сводном ЭК: 6a9d25f24b44164f712f292fff127c3c
Программные продукты и системы : научный журнал / "Центрпрограммсистем", научно-исследовательский институт. - Журнал выходит с 1988г. r=on-line. - Текст : непосредственный.Информационные технологии. - Журнал, 2001г. № 1. - Текст : непосредственный.Программные продукты и системы : международный научно-практический журнал. - Журнал. - Текст : электронный.Достовалова, Анастасия Михайловна. Автоматическая локализация ошибок времени выполнения в программном обеспечении с помощью нейронных сетей / А. М. Достовалова, А. А. Шерминская. - Текст : непосредственный // Программные продукты и системы : научный журнал. - Тверь : Центрпрограммсистем, 2023. - Том 36 N 4.- С.551-560Программные продукты и системы. - Журнал, 2023г. т. 36 № 1. - Текст : электронный.Программные продукты и системы. - Журнал, 2023г. т. 36 № 3. - текст : электронный.Программные продукты и системы. - Журнал, 2023г. т. 36 № 2. - текст : электронный.Программные продукты и системы. - Журнал, 2023г. т. 36 № 4. - текст : электронный.Программные продукты и системы. - Журнал, 2024г. т. 37 № 1. - текст : электронный.Программные продукты и системы. - Журнал, 2024г. т. 37 № 2. - текст : электронный.Программные продукты и системы. - Журнал, 2024г. т. 37 № 3. - текст : электронный.Программные продукты и системы. - Журнал, 2024г. т. 37 № 4. - текст : электронный.Программные продукты и системы. - Журнал, 2025г. т. 38 № 1. - текст : электронный.Программные продукты и системы. - Журнал, 2025г. т. 38 № 2. - текст : электронный.Программные продукты и системы. - Журнал, 2025г. т. 38 № 3. - текст : электронный.Программные продукты и системы. - Журнал, 2026г. т. 39 № 1. - текст : электронный.Программные продукты и системы. - Журнал, 2025г. т. 38 № 4. - текст : электронный.
Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный.Artificial neural networks : сборник научных трудов / Ed. N. Morgan, 1990. - VIII,130 p. p. - Текст : непосредственный.Vemuri V.R. Artificial neural networks:concepts and control applications / V. R. Vemuri, 1992. - 509 p. - Текст : непосредственный.Artificial neural networks:concepts and theory / Сост.Compl.: P. Mehra, B. W. Wah, 1992. - XI,667 p. p. - Текст : непосредственный.Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный.Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный.Tomboulian S. Introduction to a system for implementing neural net connections on SIMD architectures : монография / S. Tomboulian, S.a. - 13 p. - Текст : непосредственный.Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный.Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Network : Computation Neural Systems. - Журнал выходит с 1990г. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный.Осовский С. Нейронные сети для обработки информации / С. Осовский, 2004. - 343 с. - Текст : непосредственный.
Показать все результатыОузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный.Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный.Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный.Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный.Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный.Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный.Мартин Р. Чистый код: создание анализ и рефакторинг / Р. Мартин, 2013. - 464 с. - Текст : непосредственный.Лукьянов П.Б. Высокоуровневые методы информатики и программирования : выставочные материалы / П. Б. Лукьянов, 2013. - 167 с. - Текст : непосредственный.Горбунов-Посадов М.М. Формы многократно используемых компонентов программы / М. М. Горбунов-Посадов, 1997. - 16 с. - Текст : непосредственный.Стаценко П.Б. Интегрированная среда системы программирования : препринт / П. Б. Стаценко, 1993. - 40 с. - Текст : непосредственный.Стаценко П.Б. Реализация интегрированной среды системы программирования QUASIC-3 / П. Б. Стаценко, 1993. - 16 с. - Текст : непосредственный.Разработка приложений на Visual C++ с использованием MFC: от простого к сложному за 10 шагов / Сост. Л. В. Гурьянов ; Ред. Б. Г. Хмелевский, 2002. - 89 с. - Текст : непосредственный.Нахавандипур В. iOS. Приемы программирования / В. Нахавандипур ; Пер. О. Сивченко, 2015. - 832 с. - Текст : непосредственный.
Показать все результатыМетакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный.Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный.Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный.Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный.Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный.Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Уэйнманн Э. Photoshop CS2 для Windows и Macintosh / Э. Уэйнманн, П. Лурекас, 2006. - 875 с. - Текст : непосредственный.Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Кулагин Б.Ю. 3ds Max 8. Актуальное моделирование, визуализация и анимация / Б. Ю. Кулагин, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Верстак В.А. 3ds Max 8 на 100 % / В. А. Верстак, С. В. Бондаренко, М. Ю. Бондаренко, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Райт С. Цифровой композитинг в кино и видео : монография / С. Райт, 2009. - 447 с. - Текст : непосредственный.Гришкин А.С. Генераторы псевдослучайных символов на регистрах сдвига с внутренними сумматорами по модулю при использовании инвесных выходов : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : диссертация на соискание ученой степени канд. техн. наук / А. С. Гришкин, 2006. - 17 с. - Текст : непосредственный.Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный.
Показать все результатыПрограммные продукты и системы. - Журнал, 2023г. т. 36 № 4. - Текст : непосредственный.Достовалова, Анастасия Михайловна. Автоматическая локализация ошибок времени выполнения в программном обеспечении с помощью нейронных сетей / А. М. Достовалова, А. А. Шерминская. - Текст : непосредственный // Программные продукты и системы : научный журнал. - Тверь : Центрпрограммсистем, 2023. - Том 36 N 4.- С.551-560
Программные продукты и системы. - Журнал, 2023г. т. 36 № 4. - Текст : непосредственный.Достовалова, Анастасия Михайловна. Автоматическая локализация ошибок времени выполнения в программном обеспечении с помощью нейронных сетей / А. М. Достовалова, А. А. Шерминская. - Текст : непосредственный // Программные продукты и системы : научный журнал. - Тверь : Центрпрограммсистем, 2023. - Том 36 N 4.- С.551-560Тумбинская, Марина Владимировна. Идентификация фейк-новостей с помощью веб-ресурса на основе нейронных сетей / М. В. Тумбинская, Р. А. Галиев. - Текст : непосредственный // Программные продукты и системы : научный журнал. - Тверь : Центрпрограммсистем, 2023. - Том 36 N 4.- С.590-599Еремеев, Александр Павлович. Интеграция методов обучения с подкреплением и нечеткой логики для интеллектуальных систем реального времени / А. П. Еремеев, М. Д. Сергеев, В. С. Петров. - Текст : непосредственный // Программные продукты и системы : научный журнал. - Тверь : Центрпрограммсистем, 2023. - Том 36 N 4.- С.600-606
Заказ фрагмента документа ₽