МИНИСТЕРСТВО ОБЩЕГО И ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
Санкт-петербургский государственный ордена трудового красного знамени институт точной механики и оптики (технический университет)
Б.С.Падун Конспект лекций по дисциплине "Качество и тестирование программного обеспечения"
специальность 230100: "Системы автоматизированного проектирования"
Санкт-Петербург
2012 г.
СОДЕРЖАНИЕ
Введение ...............……….…………………………..……….……………. |
3 |
Глава 1. Основные понятия и определения ……………………………… |
|
Глава 2. Качество программного обеспечения ………………………….. |
|
2.1. Анализ эффективности функционирования программных систем …………………………………………………………… |
|
2.2. Основные характеристики качества программных систем …. |
|
2.3. Показатели качества этапа проектирования программных систем ……………………………………………………………. |
|
2.4. Показатели качества этапа эксплуатации программных систем ……………………………………………………………. |
|
2.5. Показатели качества этапа сопровождения программных систем ……………………………………………………………. |
|
|
|
Глава 3. Тестирование и отладка программного обеспечения …………. |
|
|
|
|
|
Глава 5. Вопросы разработки и внедрения пакетов прикладных программ |
|
5.1. Стадия исследования и обоснования создания САПР ….. |
|
5.2. Стадия технического задания ………………………………. |
|
5.3. Стадия эскизного проекта …………………………………… |
|
5.4. Стадия технического проекта ……………………………… |
|
5.5. Стадия рабочего проекта …………………………………… |
|
5.6. Стадия изготовления несерийных компонент …………… |
|
5.7. Стадия введения в действие комплекса средств автоматизации проектирования ……………………………. |
|
5.8. Стадия сопровождение программных систем ……………. |
|
Глава 6. Основные требования, предъявляемые к программному
продукту со стороны пользователя ………………………..
Введение
Сегодня накоплен достаточно большой опыт и имеются теоретические обобщения в области проектирования сложных систем, что позволяет отойти от неорганизованного подхода к проектированию как к искусству, а использовать при проектировании современные математические методы.
Задача проектирования состоит в разработке сложной системы, обеспечивающей решение целевой задачи при некоторых ограничениях. Для оптимального решения целевой задачи необходимо ввести критерий качества функционирования системы и ограничения. В общем случае, различают два типа ограничений:
первый тип – это ограничения, обусловленные возможными методами решения задачи,
второй тип – это ограничения, определяемые ресурсами проектирования. Например, технические параметры средств, на которых предполагается реализовать сложную систему, возможные материальные и финансовые затраты на разработку и эксплуатацию системы.
Существующие на сегодняшний день методы тестирования ПО не позволяют однозначно и полностью выявить все дефекты и установить корректность функционирования анализируемой программы, поэтому все существующие методы тестирования действуют в рамках формального процесса проверки исследуемого или разрабатываемого ПО.
Такой процесс формальной проверки, или верификации, может доказать, что дефекты отсутствуют с точки зрения используемого метода. (То есть нет никакой возможности точно установить или гарантировать отсутствие дефектов в программном продукте с учётом человеческого фактора, присутствующего на всех этапах жизненного цикла ПО).
Существует множество подходов к решению задачи тестирования и верификации ПО, но эффективное тестирование сложных программных продуктов — это процесс в высшей степени творческий, не сводящийся к следованию строгим и чётким процедурам или созданию таковых.
С точки зрения ISO 9126, качество программных средств можно определить как совокупную характеристику исследуемого ПО с учётом следующих составляющих:
надежность,
сопровождаемость,
практичность
эффективность,
мобильность,
функциональность.
Более полный список атрибутов и критериев можно найти в стандарте ISO 9126 Международной организации по стандартизации. Состав и содержание документации, сопутствующей процессу тестирования, определяется стандартом IEEE 829-1998 Standard for Software Test Documentation.