ВВЕДЕНИЕ. Выяснить как контролировать качество системы?

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

Верификация — проверка того, что продукт делался правильно, т.е. проверка того, что он разрабатывался в соответствии со всеми требованиями по отношению к процессу и этапам разработки.

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

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

Выделяют следующие методы обеспечения качества ПО:

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

Тестирование бывает следующих видов:

1. Функциональное (оно же черного ящика) — это тестирование проверяет соответствие системы требованиям.

2. Структурное (оно же белого ящика) — тесты создаются на основе знаний о структуре самой системы и о том, как она работает.

3. Тестирование производительности. Измеряются показатели производительности системы и определяется, насколько они соответствуют требуемым.

4. Нагрузочное тестирование. Его целью является определение характеристик производительности системы при большой нагрузке на нее (большом количестве пользователей, интенсивном обмене данными с другими системами, большим объемом передавемых/используемых данных, и пр.)

5. Тестирование на отказ - имеет целью обнаружение ситуаций, в которых система выходит из строя, хотя не должна этого делать.

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

7. Тестирование переносимости - проверяет работоспособность системы в разных окружениях.

8. Тестирование на соответствие - проверяет строгое соответствие требованиям любого рода, зафиксированным в достаточно строгом и полном виде (спецификациям, стандартам, корпоративной политике, и пр.).

9. Модульное, интеграционное и системное тестирование — различаются масштабом целей.
Модульное тестирование предназначено для проверки правильности работы отдельных модулей, вне зависимости от окружения, интеграционное — для проверки того, что модули корректно работают вместе (используют друг друга, не нарушая взаимных ограничений на такое использование), системное — для проверки правильности работы системы в целом и ее способности решать заявленные задачи в различных ситуациях.

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

– Формальный анализ: формальное доказательство свойств ПО и формальный анализ эффективности алгоритмов.

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

– Измерения: определение метрик ПО, проекта, документации, измерения производительности, измерения трудоемкости работы с ПО, скорости обучения.

– Использование моделей различного рода — каждый вид моделей моделирует ПО, соответствуя ему в каких-то свойствах и пренебрегая другими, не значимыми для целей моделирования.

Применяются:

1. Модели использования (какие операции использует пользователь, насколько часто, как долго он работает с отдельными экранами и диалогами) для анализа удобства использования ПО.

2. Модели использования и надежности для анализа надежности и производительности.

3. Модели функционирования для анализа свойств и их проверки на моделях.
Обычно к проверке свойств на моделях (model checking) прибегают для того, чтобы проверить работоспособность каких-то отдельных архитектурных или алгоритмических решений, которые планируется использовать при построении сложных систем, их способность соответствовать требованиям.

Практика:

1. Проблемы качества ПП.

2. Процессы управления качеством программного обеспечения.

Конспект лекций «Гидравлические и пневматические системы автомобилей и гаражного оборудования» ОПД.Ф.2.5.01 предназначен для студентов специальности 190601 «Автомобили и автомобильное хозяйство».

Курс «Гидравлические и пневматические системы автомобилей и гаражного оборудования» относится к числу обще-профессиональных дисциплин в подготовке инженера-автомеханика. Он включает в себя теоретические основы проектирования и расчета гидравлических объемных приводов применительно к автомобильной промышленности.

Дата добавления: 2014-01-03