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

Цели верификации ПС достигаются посредством последователь­ного выполнения комбинации из просмотров, анализов, разработки тесто­вых сценариев и процедур и последующего выполнения этих процедур. Тестовые сценарии предназначены для проверки внутренней непротиво­речивости и полноты реализации требований. Выполнение тестовых про­цедур должно обеспечивать демонстрацию соответствия испытываемых программ исходным требованиям. Информация о процессе верификации включает требования к системе, требования к ПС и к его архитектуре, данные о прослеживаемости последовательного преобразования требова­ний, исходный текст программ, исполняемый объектный код, План вери­фикации ПС, План квалификационного тестирования ПС. Результаты ве­рификации должны быть включены в документы: выполненные процеду­ры верификации ПС, описание и отчет о квалификационном тестировании ПС и его компонентов.

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

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

•