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

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

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

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

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

• 
  Цель планирования технологической среды жизненного цикла ПС состоит в том, чтобы определить методы, инструментальные средства, процедуры, языки программирования и аппаратные средства, которые бу­дут использоваться и совершенствоваться для разработки, верификации, управления и подготовки документации программного средства. План дол­жен включать стандарты, методы предотвращения ошибок и обеспечения отказоустойчивости, которые ограничивают возможность внесения оши­бок, и такие методы тестирования, которые гарантируют их обнаружение. Цель методов обеспечения отказоустойчивости состоит в том, чтобы вклю­чить в проект такие средства обеспечения качества и безопасности приме­нения ПС, которые могут гарантировать, что программное средство будет адекватно реагировать на ошибки входных данных, предотвращать выда­чу ошибочных данных и контролировать возможность проявления ошибок.
  
• 
  Кроме того, в составе перечисленных планов или автономно может быть полезной разработка ряда вспомогательных планов (см. рис. 7.1):
  

• 
  плана подготовки и обучения пользователей для квалифицирован­ной эксплуатации версий ПС;
  
• 
  плана обслуживания пользователей в процессе эксплуатации ПС;
  

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