Реферат по предмету "Надежность, эргономика и качество автоматизированных систем обработки информации и управления" на тему "Качество программного обеспечения: тестирование, верификация, валидация"

В свободное время наши преподаватели пишут курсовые работы и рефераты на распространённые темы. В нашем магазине эти готовые работы доступны для покупки.

Преимущества покупки готовой работы

Такая работа стоит столько же, сколько и написание работы на заказ, но при этом, получить её можно без ожидания, прямо сейчас, оплатив онлайн.

Эксклюзивные условия

После покупки работы вами - купить её повторно кому-то ещё будет нельзя. Как и при написании работы на заказ: работа предоставляется вам на эксклюзивных условиях с гарантией доработки в рамках исходной темы.

Популярные темы

В нашем магазине представлены только курсовые работы (теоретические и практические), рефераты, доклады по самым распространённённом тематикам. Дипломы, сложные технические работы, работы по редким темам, по понятным причинам (по причине трудоёмкости или редкой востребованности) наши преподаватели пишут только на заказ.

Описание

Тип Реферат
Предмет Надежность, эргономика и качество автоматизированных систем обработки информации и управления
Тема Качество программного обеспечения: тестирование, верификация, валидация
Объём 15
Добавлено 20.01.2017
Уникальность по Антиплагиату 51%
Уникальность по etxt 30%

Цена 1200 р.

Для любой нашей работы действует бесплатное гарантированное обслуживание. Но если вы хотите максимальной экономии, то можете купить её в режиме "без гарантии". Такая работа будет стоить дешевле на 20%, но если по ней будут нужны доработки, то они будут платными.

Укажите email для получения работы

Отрывок 1

Содержание
Введение 3
1. Понятие качества ПО 5
2. Обеспечение качества ПО 6
2.1. Тестирование 9
2.2. Верификация и валидация 11
3. SEMAT и его роль в обеспечении качества ПО 13
3.1. Использование SEMAT 15
Заключение 17
Список использованной литературы 19
Введение
В наше время успешное развитие ведущих мировых компаний напрямую зависит от использования информационных технологий (ИТ) в целом и программного обеспечения (ПО) в частности. Более того, экономическое положение развитых стран определяется как существующими компьютерными технологиями, так и состоянием индустрии программных разработок этих стран. Так, согласно указу Президента РФ, технологии производства программного обеспечения относятся к Перечню критических технологий РФ1.
Постоянный рост сложности разрабатываемых программных продуктов влечет за собой вполне прогнозируемый рост количества ошибок в них. В современных программно-аппаратных комплексах 85-90% всех отказных ситуаций связано в первую очередь с ошибками в ПО.
Людям свойственно ошибаться в принципе, а сложность современных программных систем предоставляет большое поле для возможности совершить ту или иную ошибку, при том, что быстрое ее обнаружение бывает затруднено.
Для обеспечения корректной и устойчивой работы подобных систем большое значение имеет построение системы качества, позволяющей избежать ошибок либо обеспечивающей их своевременное обнаружение на самых разных этапах жизненного цикла (ЖЦ) ПО.
Для обеспечения корректности и надежности работы таких систем большое значение имеют различные методы тестирования, верификации и валидации, позволяющие выявлять ошибки на разных этапах разработки и сопровождения ПО, чтобы последовательно устранять их.
В данной работе мы рассмотрим вопросы качества программного обеспечения, что под этим понимается, как обеспечивается качество ПО и что можно сделать для повышения качества разрабатываемого ПО
Целью данной работы является рассмотрение вопросов обеспечения качества разрабатываемого ПО.
Исходя из поставленной цели, в курсовой работе решались следующие задачи:
раскрыть сущность понятия «качество ПО»;

Отрывок 2

2.2. Верификация и валидация
Верификация (Verification) и валидация (Validation) – это взаимосвязанные процессы проверки и анализа, в ходе которых проверяется соответствие ПО обозначенной спецификации, в частности функциональным и нефункциональным требованиям, а также требованиям заказчика.
Процесс верификации и аттестации (валидации) начинается на этапе анализа требований и заканчивается проверкой программного кода на этапе тестирования релиза программной системы, т.е. охватывают полный жизненный цикл ПО5 [8].
Рисунок 5. Взаимосвязь между верификацией и валидацией
Верификация и валидация – это не одно и то же, хотя во многом сходны (рис.5). Различие между ними вкратце можно охарактеризовать так:
- верификация отвечает на вопрос, правильно ли мы создаем программу (Are we building the product right);
- аттестация (валидация) отвечает на вопрос, правильно ли программа работает (Are we building the right product).
Таблица 1 – Различия между валидацией и верификацией
Верификация
Валидация
Цель
Правильно ли разрабатывается ПО?
Правильное ли ПО разрабатывается?
Точка зрения
Разработчик (белый ящик)
Конечный пользователь (черный ящик)
Методы
статические
Динамические (тестирование)
Верификация представляет собой инспекцию или ревизию без выполнения программного кода продукта, в то время как валидация производится с фактическим запуском программного кода.
К примеру, рецензия кода и проверка синтаксиса – это верификация, тогда как валидация включает в себя исполнение программного кода и проверку результатов6.
Обычно валидация выполняется после того, как завершен процесс верификации.
Таким образом мы выяснили, что:
1. Верификация и валидация – дополняющие друг друга процессы проверки корректности ПО на соответствие спецификации и ожиданиям заказчика соответственно. Тестирование – частный случай валидации.
2. Методы верификации ПО бывают неформальные (инспекции кода) и формальные (логика Хоара, проверка моделей).
3. Цель инспектирования кода состоит в устранение часто допускаемых ошибок и повышение легкости сопровождения ПО.
4. Формальные методы применяются для строгого доказательства корректности программ и обнаружения «редких» ошибок. Т. к. затраты на формальные методы верификации высоки, областью их применения является критическое ПО:
- системы реального времени (управление ракетно-космической техникой, ядерная энергетика);
- системы с высокими требованиями к надежности / отказоустойчивости (криптографические системы);
- ПО, жестко регулируемое нормативными документами (медицина).
3. SEMAT и его роль в обеспечении качества ПО
Сегодня программная инженерия серьезно страдает от незрелых практик. В каждой организации применяются самые разные языки программирования, среды и методологии разработки, но без единой платформы они существуют сами по себе, без взаимосвязей с единой проектной структурой.
Основными проблемами сейчас являются7:
погоня за модой, более характерная для индустрии моды, нежели для инженерной дисциплины;
отсутствие основательной, широко признанной теоретической базы;
огромное число методов и их вариантов, разница между которыми мало

+7 (495) 772-33-48
e-mail: mail@xvostovnet.ru

Офис: Москва, м. Новогиреево
просп. Свободный, д.19
Хвостов.Нет

Наши услуги

Заказать курсовую

Диплом на заказ

Заказать реферат

Заказать диссертацию