Библиотека образцов студенческих работФормальная верификация
Описание:
Номер в архиве: 954
1. Понятие формальной верификации программ 5
2. Верификация и синтез программ 7
3. Характеристики качества программного обеспечения 10
4. Методы формальной верификации 17
4.1 Логико-алгебраические модели 17
4.2 Классификация формальных методов 19
Выводы 22
...
Нужно отметить, что процесс создания и проверки программного обеспечения имеет рост в целом за счет постановки новых задач построения больших пользовательских систем ПО в промышленных, правительственных и оборонных ведомствах. Хотя, если взглянуть иначе, сейчас сфера ПО весьма разносторона: начиная играми в специализированных игровых консолях, заканчивая программными продуктами ПК и очень большими масштабируемыми распределенными системами.
Во время создания программы или ПО перед разработчиком появляется много вопросов различного рода, к примеру: «каковы требования к ПО? каковы модели систем? какая спецификации ПО? как оценить надежность создаваемого продукта? и т.д». В данной работе рассматривается заключительный, но один из наиболее трудных шагов в создании любого программного продукта – верификация. В работе приводится общее представление о формальной верификации, ее методах.
Оглавление
Введение 31. Понятие формальной верификации программ 5
2. Верификация и синтез программ 7
3. Характеристики качества программного обеспечения 10
4. Методы формальной верификации 17
4.1 Логико-алгебраические модели 17
4.2 Классификация формальных методов 19
Выводы 22
Введение
Программные устройства в наши дни везде: все электронные устройства имеют внутри программное обеспечение (ПО), хранящееся в том или ином виде. Без соответствующего ПО сейчас нельзя и вообразить такие сферы, как индустриальное производство, образование, систему здравоохранения, а также финансовый и правительственный сектор. большинство, людей, пользующихся электронными устройствами, используют ПО с целью самообразования, ну или, к примеру, развлечений и т.д. Значит нужно ввести систему, которая контролирует правильность работы программ и программного обеспечения....
Нужно отметить, что процесс создания и проверки программного обеспечения имеет рост в целом за счет постановки новых задач построения больших пользовательских систем ПО в промышленных, правительственных и оборонных ведомствах. Хотя, если взглянуть иначе, сейчас сфера ПО весьма разносторона: начиная играми в специализированных игровых консолях, заканчивая программными продуктами ПК и очень большими масштабируемыми распределенными системами.
Во время создания программы или ПО перед разработчиком появляется много вопросов различного рода, к примеру: «каковы требования к ПО? каковы модели систем? какая спецификации ПО? как оценить надежность создаваемого продукта? и т.д». В данной работе рассматривается заключительный, но один из наиболее трудных шагов в создании любого программного продукта – верификация. В работе приводится общее представление о формальной верификации, ее методах.