ITU-T Z.110-2008 Критерии использования методов формального описания МСЭ-Т (Исследовательская группа 17) - Стандарты и спецификации PDF

ITU-T Z.110-2008
Критерии использования методов формального описания МСЭ-Т (Исследовательская группа 17)

Стандартный №
ITU-T Z.110-2008
Дата публикации
2008
Разместил
International Telecommunication Union (ITU)
сфера применения
Ввиду сложности и широкого использования Рекомендаций крайне важно использовать адекватные и подходящие методы и языки описания для обеспечения требуемого уровня качества Рекомендаций. Целью Рекомендации МСЭ-Т Z.110 является руководство по использованию методов формального описания (FDT) для обеспечения качества Рекомендаций МСЭ-Т. Там, где существуют особые требования к верификации и валидации, следует использовать FDT. Эффективное использование FDT требует поэтапных процедур по их внедрению. В данной Рекомендации изложены процедуры выполнения этой задачи. Эффективное использование FDT предполагает использование самых современных инструментов.



© 2023. Все права защищены.