Проверка и валидация программного обеспечения

• Определение и важность ISVV

  • ISVV (Independent Software Verification and Validation) — процесс проверки и валидации программного обеспечения. 
  • ISVV фокусируется на надежности и безотказности, а также на условиях, которые могут вызвать сбои. 

• История и развитие ISVV

  • ISVV основан на IV&V (Independent Verification and Validation) для программного обеспечения. 
  • Раннее применение ISVV относится к началу 1970-х годов, особенно в США. 
  • К концу 1970-х годов IV&V стал популярным, и его использование расширилось в различных организациях. 

• Методология ISVV

  • ISVV включает пять основных этапов, которые могут выполняться последовательно или адаптироваться. 
  • Планирование включает анализ критичности системы и выбор методов и инструментов. 
  • Проверка требований включает проверку полноты, корректности и тестируемости. 
  • Проверка конструкции включает проверку адекватности дизайна и соответствия требованиям. 
  • Внутренняя и внешняя согласованность включает проверку технико-экономического обоснования и технического обслуживания. 
  • Проверка кода включает проверку полноты, корректности и непротиворечивости. 
  • Утверждение включает выявление нестабильных компонентов и проверку соответствия стандартам кодирования. 

• Нормативно-правовая среда

  • Программное обеспечение часто должно соответствовать требованиям регулируемых отраслей. 
  • Управление по санитарному надзору за качеством пищевых продуктов и медикаментов требует проверки версий программного обеспечения. 

• Дальнейшее чтение и внешние ссылки

  • В статье есть ссылки на дополнительные ресурсы и материалы. 
  • Глава о качестве программного обеспечения, включая VnV, была заархивирована в 2014 году.