Файл: Учебное пособие по курсу Технология разработки программного обеспечения для студентов.doc

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

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

---

11Тестирование и сертификация программного обеспечения

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

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

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

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

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

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

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

---

Первоочередными мерами по обеспечению качества ПО является воспитание и обучение следующих двух категорий специалистов:

1. 
   Специалисты, управляющие качеством ПО. Они должны владеть:
   

• 
  методиками и стандартами фирмы, поддерживающими тестирование, контроль, документирование;
  

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

Должны выявлять:

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

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

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

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

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

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

---

---

11.1 Дестабилизирующие факторы и методы обеспечения высокого качества функционирования ПО

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

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

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

11.2Использование среды автоматизированного тестирования Platinum TESTBytes

---