Методологические основы

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

Назначение верификации ПС — последовательно проверить, что в реализованном комплексе программ (рис. 13.1):

• 
  общие требования к информационной системе, предназначенные для программной реализации, корректно переработаны в спецификацию требований высокого уровня к комплексу программ, удовлетворяющих исходным системным требованиям;
  
• 
  требования высокого уровня правильно переработаны в архитек­туру ПС и в спецификации требований к функциональным компонентам низкого уровня, которые удовлетворяют требованиям высокого уровня;
  

• 
  
  
• 
  Рис. 13.1
  
• 
  
• 
  — спецификации требований к функциональным компонентам ПС, расположенным между компонентами высокого и низкого уровня, каж­дый раз удовлетворяют требованиям более высокого уровня;
  

• 
  архитектура ПС и спецификации требований к компонентам низ­кого уровня корректно переработаны в удовлетворяющие им исходные тексты программных и информационных модулей;
  
• 
  исполняемый объектный код удовлетворяет требованиям к исход­ному тексту программных компонентов.
  

• 
  Кроме того, верификации на соответствие спецификации требований на конкретный проект программного средства подлежат требования к тех­нологическому обеспечению ЖЦ ПС, а также требования к эксплуатаци­онной и технологической документации.
  
•