Верификация и аттестация программного обеспечения. Стандарты открытых систем, регламентирующие структуру и интерфейсы программных средств

ФГОУ ВО «Башкирский государственный аграрный университет»

Факультет: Экономический

Кафедра: Информатики и ИТ

Специальность: Бизнес-информатика

Форма обучения: очная

Курс: 4

Курсовая работа

по дисциплине Программная инженерия

Тема:

Верификация и аттестация программного обеспечения. Стандарты открытых систем.

Вариант №56

«К защите допускаю»

Руководитель: к.т.н., доцент

_____________________

                                                 (подпись)

«____» _____________ 2016 г.

Оценка при защите:

___________________________

____________________________

                (подпись)

«____»_________________ 2016 г.

УФА-2016 г.

ОГЛАВЛЕНИЕ

ВВЕДЕНИЕ………………………………………………………………………..3

1. АНАЛИТИЧЕСКАЯ ЧАСТЬ…………………………………………………..5

1.1. Верификация и аттестация программ………………………………..5

1.2. Стандарты открытых систем, регламентирующие структуру и интерфейсы программных средств……………………………………………..8

2. ПРАКТИЧЕСКАЯ ЧАСТЬ………………………………………………..….12

2.1. Инсталляция и изучение проблемно-ориентированного экономического программного продукта…………………………….…….….12

2.2. Оценка трудозатрат разработки программных компонентов..……17

2.3 Управление проектом и анализ данных ……………………...……..22

2.4 Оценка качества программного обеспечения на основе лексического анализа………………………………………………………………………..…26

ЗАКЛЮЧЕНИЕ………………………………………………………………….30

БИБЛИОГРАФИЧЕСКИЙ СПИСОК…………………………………….……31

ПРИЛОЖЕНИЕ А……………………………………………………………….32

ПРИЛОЖЕНИЕ Б……………………………………………………………….33
ВВЕДЕНИЕ

Программные системы в настоящее время присутствуют повсеместно: практически любые электронные устройства содержат программное обеспечение (ПО) того или иного вида. Без соответствующего программного обеспечения в современном мире невозможно представить индустриальное производство, школы и университеты, систему здравоохранения, финансовые и правительственные учреждения. Многие пользователи применяют ПО для самообразования, для развлечений и т.д. Создание спецификации требований, разработка, модификация и сопровождение таких систем ПО составляет суть технической дисциплины инженерия программного обеспечения.

Даже простые системы ПО обладают высокой степенью сложности, поэтому при их разработке приходится применять весь арсенал технических и инженерных методов. Следовательно, инженерия программного обеспечения - это инженерная дисциплина, где специалисты используют теорию и методы компьютерных наук для успешного решения разного рода нестандартных задач. Но, конечно, не каждый проект ПО завершается успешно в силу различных причин. Прогресс заметен: за последние 30 лет ПО очень сильно усложнилось, появились программы, предлагающие пользователям очень большие сервисные возможности для работы с ними.

Следует отметить, что инженерия программного обеспечения развивается в основном в соответствии с постановкой новых задач построения больших пользовательских систем ПО для промышленности, правительства и оборонного ведомства. С другой стороны, в настоящее время сфера программного обеспечения очень широка: от игр на специализированных игровых консолях, а также программных продуктов для персональных компьютеров до очень больших масштабируемых распределенных систем.

При создании программного продукта перед инженером встает множество вопросов различного рода, таких как, например, требования к ПО, модели систем, спецификации ПО, надежность создаваемого продукта, и т.д.   В данной работе рассматриваются одни из самых сложных шагов в создании любого программного продукта - верификация и аттестация. В работе дается общее представление о верификации и аттестации программного обеспечения, о методах статической и динамической верификации, о верификации и аттестации критических систем.

Целью курсовой работы является изучение верификации и аттестации программного обеспечения, а так же изучение стандартов открытых систем.

Задачами курсовой работы являются;

-  изучения и анализ верификации и аттестации программного обеспечения;

-  изучение стандартов открытых систем;

-  инсталляция и изучения проблемно ориентированного  экономического программного продукта;

-  оценить трудозатраты на разработку программной компоненты;

-  раскрыть процесс управление проектом и произвести анализ данных.

1.  АНАЛИТИЧЕСКАЯ ЧАСТЬ

1.1. Верификация и аттестация

Несмотря на кажущуюся схожесть, термины «верификация» и «аттестация» означают разные уровни проверки корректности работы программной системы. Дабы избежать дальнейшей путаницы, четко определим эти понятия.

Верификация - это проверка соответствия программного обеспечения проектной спецификации и стандартам, технической документации, представленной техзаданием, архитектурой или моделью предметной области. Так же целью верификации является достижение гарантии того, что верифицируемый объект (требование или программный код) реализован без непредусмотренных функций.

Аттестация программной системы - более общий процесс, целью которого является доказательство того, что в результате разработки системы мы достигли тех целей, которые планировали достичь благодаря ее использованию. Иными словами, аттестация - это проверка соответствия системы ожиданиям заказчика, поэтому она проводится после верификации. Если посмотреть на эти процессы с точки зрения вопроса, на который они дают ответ, верификация отвечает на вопрос - «Выполнено ли программное обеспечение правильно?» или «Соответствует ли разработанная система требованиям?», а аттестация - «Правильно ли работает система?» или «Соответствует ли разработанная система ожиданиям заказчика?».

Поскольку основной задачей верификации, как и аттестации, является