Верификация и валидация. Тестирование. Оценка корректности программных компонентов
Описание:
Номер в архиве: 116
1. Верификация и валидация ПО 4
2. Тестирование ПО 6
2.1 Классификация видов тестирования 8
2.2. Уровни тестирования 10
2.3. Тестирование «чёрного ящика» 11
2.4 Тестирование «белого ящика» 11
2.5 Статическое и динамическое тестирование 12
2.6 Организация процесса тестирования программного обеспечения 13
3. Оценивание корректности программных компонентов 15
Заключение 21
Список используемой литературы 22
Быстрое увеличение сложности и размеров современных комплексов программ при одновременном росте ответственности выполняемых функций резко повысило требования со стороны заказчиков и пользователей к их качеству и безопасности применения. По мере расширения применения и увеличения сложности информационных систем выделились области, в которых ошибки или недостаточное качество программ либо данных могут нанести ущерб, значительно превышающий положительный эффект от их использования.
Тестирование программного обеспечения — это процесс выявления ошибок в программном обеспечении. Существующие на сегодняшний день методы тестирования ПО не позволяют однозначно и полностью устранить все дефекты и ошибки и установить корректность функционирования анализируемой программы, особенно в закрытых частных программах. Поэтому все существующие методы тестирования действуют в рамках формального процесса проверки исследуемого или разрабатываемого ПО.
Такой процесс формальной проверки или верификации может доказать, что дефекты отсутствуют, с точки зрения используемого метода. (Т.е. нет никакой возможности точно установить или гарантировать отсутствие дефектов в программном продукте с учётом человеческого фактора, присутствующего на всех этапах жизненного цикла ПО).
Существует множество подходов к решению задачи тестирования и верификации ПО, но эффективное тестирование сложных программных продуктов — это процесс творческий, не сводящийся к следованию строгим и чётким процедурам или их созданию.
Конечной целью любого процесса тестирования является обеспечение такого ёмкого (совокупного) понятия как качество, с учётом всех или наиболее критичных для данного конкретного случая составляющих.
Содержание:
Введение 21. Верификация и валидация ПО 4
2. Тестирование ПО 6
2.1 Классификация видов тестирования 8
2.2. Уровни тестирования 10
2.3. Тестирование «чёрного ящика» 11
2.4 Тестирование «белого ящика» 11
2.5 Статическое и динамическое тестирование 12
2.6 Организация процесса тестирования программного обеспечения 13
3. Оценивание корректности программных компонентов 15
Заключение 21
Список используемой литературы 22
Введение
В современном мире разработка ПО превратилась в одну из самых дорогостоящих индустрий и любые узкие места в технологическом процессе его создания могут привести к нежелательным результатам. Удлинение сроков разработки ПО ведет к удорожанию конечного продукта, а не выявленные в ходе тестирования ошибки приводят как минимум к снижению его производительности. Примитивные ошибки, невнятные сообщения и неряшливый интерфейс раздражают пользователей, которые в итоге выбирают более качественный продукт конкурента, а фирма рискует потерять не только клиентов, но и свою долю рынка.Быстрое увеличение сложности и размеров современных комплексов программ при одновременном росте ответственности выполняемых функций резко повысило требования со стороны заказчиков и пользователей к их качеству и безопасности применения. По мере расширения применения и увеличения сложности информационных систем выделились области, в которых ошибки или недостаточное качество программ либо данных могут нанести ущерб, значительно превышающий положительный эффект от их использования.
Тестирование программного обеспечения — это процесс выявления ошибок в программном обеспечении. Существующие на сегодняшний день методы тестирования ПО не позволяют однозначно и полностью устранить все дефекты и ошибки и установить корректность функционирования анализируемой программы, особенно в закрытых частных программах. Поэтому все существующие методы тестирования действуют в рамках формального процесса проверки исследуемого или разрабатываемого ПО.
Такой процесс формальной проверки или верификации может доказать, что дефекты отсутствуют, с точки зрения используемого метода. (Т.е. нет никакой возможности точно установить или гарантировать отсутствие дефектов в программном продукте с учётом человеческого фактора, присутствующего на всех этапах жизненного цикла ПО).
Существует множество подходов к решению задачи тестирования и верификации ПО, но эффективное тестирование сложных программных продуктов — это процесс творческий, не сводящийся к следованию строгим и чётким процедурам или их созданию.
Конечной целью любого процесса тестирования является обеспечение такого ёмкого (совокупного) понятия как качество, с учётом всех или наиболее критичных для данного конкретного случая составляющих.