Для студентов МПГУ по предмету Другие«Выбор методов верификации отраслевого программного обеспечения» «Выбор методов верификации отраслевого программного обеспечения»
2024-06-152024-06-15СтудИзба
Курсовая работа: «Выбор методов верификации отраслевого программного обеспечения»
Описание
СОДЕРЖАНИЕ
ВВЕДЕНИЕ1 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
1.1 Системное программное обеспечение
1.2 Прикладное ПО
2 МЕТОДЫ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
3 Осуществление верификации ПО
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗУЕМЫХ ИСТОЧНИКОВ
ВВЕДЕНИЕ
Программным обеспечением является совокупность программ систем обработки данных и программного документа, необходимого для использования данной программы. Кроме того, это комплекс программ, процедур, правил и документации, связанных с функционированием системы обработки информации.Сегодня организации выделяют около 30% бюджетов для того, чтобы обеспечить качественный уровень, и это неудивительно, ведь больше половины всей системы являются критичными для предпринимательской деятельности. Различные методики проверки ПО можно разделить на формальные методики, которые предполагают строго анализ математического моделирования проверенного артефакта и необходимых свойств по исторической причине, а именно по практической причине. Метод статического анализа, который ищет возможные ошибки без запуска проверенного программного обеспечения. Метод динамического анализа, который проверяет фактическое поведение тестируемой системы в рамках нескольких сценариев поведения. И обзоры (проверки), которые проводятся на основе знаний и опыта людей. Любая система информационного обеспечения состоит из аппаратного и программного обеспечения. Начиная с развития компьютерных
Характеристики курсовой работы
МПГУСписок файлов
Tortuga
15 июня 2024 в 04:23
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
