Лихачев, Владимир Николаевич (кандидат педагогических наук). Качество программного обеспечения и формирование информативных сообщений об ошибках Microsoft SQL Server [Текст] / Владимир Николаевич Лихачев> // Дистанционное и виртуальное обучение. - 2012. - № 9. - С. 42-70 : ил. - Библиогр.: с. 69 (3 назв. ) . - ISSN 1561-2449
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): реляционные базы данных -- программное обеспечение -- программные ошибки -- клиентские программы -- сообщения -- специальные сообщения -- разработка приложений -- компьютерные программы -- Microsoft SQL Server -- обработка данных Аннотация: Универсальная методика формирования информативных сообщений об ошибках реляционных баз данных. Нет сведений об экземплярах (Источник в БД не найден) |
Карпов, Юрий Глебович (1941-). Устойчивое развитие общества и обеспечение качества программных систем управления [Текст] / Ю. Г. Карпов> // Научно-технические ведомости СПбГПУ. Сер.: Наука и образование. - 2012. - № 3 (154), ч. 1. - С. 70-72. - Библиогр.: с. 72 (1 назв.) . - ISSN 1994-2354
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): программные системы управления -- устойчивое развитие -- программные ошибки -- верификация программ -- всепроникающие вычисления -- управляющие программы -- бортовые системы управления -- техногенные катастрофы -- программное обеспечение -- аппаратные средства управления Аннотация: Программные системы управления широко используются для принятия решений в критических сферах жизни общества: от управления технологическими процессами предприятий до бортовых систем управления самолетами и космическими кораблями. Функционирование современного общества все больше зависит от правильности компьютерных программ. В работе приводятся примеры программных ошибок, приведшие к огромным материальным потерям и даже к человеческим жертвам. Анализируется состояние в области верификации программ, рассматривается новый подход к разработке программ (проверка моделей), основанный на формальных методах и позволяющий существенно уменьшить уровень критических ошибок в разрабатываемых программах.Control software is intensively used for decision making in critical spheres of the modern society, from technology process control to inboard control systems in avionic and space vehicles. Modern society life become more and more dependable from correctness of control software. In the paper there presented examples of software errors and material losses and losses of human lives. Program verification results are discussed and a new promising approach to program verification called model checking is analyzed. Model checking is based on formal methods. It may considerably decrease the number of critical errors in control software. Нет сведений об экземплярах (Источник в БД не найден) |
Печенкин, Александр Игоревич. Моделирование поиска уязвимостей методом фаззинга с использованием автоматного представления сетевых протоколов [Текст] / А. И. Печенкин, Д. С. Лаврова> // Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 2. - С. 59-67 : схема. - Библиогр.: с. 66-67 (9 назв.) . - ISSN 0032-8235
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): безопасность программ -- фаззинг -- сетевые протоколы -- классификация уязвимостей -- программные ошибки -- моделирование поиска уязвимостей -- безопасность информационных систем Аннотация: Предложено формальное описание сетевых протоколов как набора процессов перехода из состояния в состояние. Показан новый подход к моделированию процесса фаззинга, позволяющий обнаруживать уязвимости сетевых протоколов на основе генерации входных данных и анализа состояний процессов сетевого протокола. Доп.точки доступа: Лаврова, Д. С. Нет сведений об экземплярах (Источник в БД не найден) |
Тетерев, М. А. Выявление программных ошибок при работе с памятью в исходном коде [Текст] / М. А. Тетерев, Н. С. Губонин> // Вестник Московского энергетического института. - 2013. - № 4. - С. 166-172 . - ISSN 1993-6982
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): статический этап отладки -- программные ошибки -- распознавание Аннотация: Дано сравнение нового подхода к выявлению на статическом этапе отладки программных ошибок при работе с памятью (ОРП), возникающих при динамическом использовании памяти в процессе программирования. Доп.точки доступа: Губонин, Н. С. Нет сведений об экземплярах (Источник в БД не найден) |
Тетерев, М. А. Анализ способов предотвращения ошибок при работе с памятью в программном обеспечении [Текст] / М. А. Тетерев, Н. С. Губонин> // Вестник Московского энергетического института. - 2013. - № 4. - С. 155-160 . - ISSN 1993-6982
Рубрики: Вычислительная техника Системы памяти Кл.слова (ненормированные): утечка памяти -- программные ошибки -- динамическая память -- отладчик -- сборщик мусора -- статический анализ Аннотация: Дана классификация программных ошибок при работе с оперативной памятью, описаны возможные последствия критичных ошибок, приведен критический анализ современных средств борьбы с ошибками при работе с памятью, рассмотрен процесс сборки мусора в программном обеспечении, предложены специальные инструментальные средства обнаружения ошибок в программном обеспечении, дан качественный сравнительный анализ способов предотвращения ошибок при работе с памятью. Доп.точки доступа: Губонин, Н. С. Нет сведений об экземплярах (Источник в БД не найден) |