PRETS 300 414-1994 Методы тестирования и спецификации (МТС); Использование SDL в правилах европейских стандартов электросвязи для обеспечения тестируемости и облегчения проверки
Этот проект европейского стандарта электросвязи (ETS) определяет правила использования языка спецификации и описания (SDL)@, определенного в Рекомендации МСЭ-Т Z.100 [1], и диаграмм последовательности сообщений (MSC)@, определенных в Рекомендации МСЭ-Т Z. .120 [3]@ в ETS. Объектно-ориентированные расширения в SDL не рассматриваются. Предполагается, что диаграммы SDL и MSC будут использоваться в ETS@ в сочетании с текстовыми неофициальными рисунками и таблицами. Диаграммы SDL должны использоваться для формализации тех частей ETS, которые необходимо определить точно и однозначно. Кроме того,@ рекомендуется использовать формализм абстрактной синтаксической нотации один (ASN.1)@, определенный в Рекомендации МСЭ-Т X.680-X683 [7]@, который относится к SDL. Поэтому@ этот ETS также определяет правила использования ASN.1@ при использовании в сочетании с SDL. Все правила направлены на улучшение возможностей проверки стандарта на ранней стадии разработки@ и на улучшение возможностей тестирования продуктов, которые утверждают, что реализуют стандарт. Этот ETS не содержит никаких изменений в (формальной) семантике SDL@MSC или ASN.1. Использование SDL и связанных с ним формализмов@, предусмотренных правилами настоящего ETS@, полностью соответствует определениям языка SDL@, за исключением использования ASN.1 в диаграммах SDL. Этот ETS не предоставляет методологию создания ETS, содержащих SDL. Этот ETS не ограничивает использование ASN.1 в ETSs@, если ASN.1 используется иначе, чем в сочетании с диаграммами SDL. Этот ETS не нацелен на использование SDL для проектирования и разработки продуктов. Подмножество SDL, выбранное в этом ETS, адаптировано к стандартизации@, где ясность имеет первостепенное значение. Настоящий ETS не применим к спецификациям стандартов испытаний на соответствие.
PRETS 300 414-1994 История
1995PRETS 300 414-1995 Методы тестирования и спецификации (МТС); Использование SDL в правилах европейских стандартов электросвязи для обеспечения тестируемости и облегчения проверки
1994PRETS 300 414-1994 Методы тестирования и спецификации (МТС); Использование SDL в правилах европейских стандартов электросвязи для обеспечения тестируемости и облегчения проверки